paper-with-me

홈 › Papers

Unifying task specification in reinforcement learning

2016-09-07 · ICML 2017 8 · Martha White

Reinforcement learning tasks are typically specified as Markov decision processes. This formalism has been highly successful, though specifications often couple the dynamics of the environment and the learning objective. This lack of modularity can complicate generalization of the task specification, as well as obfuscate connections between different task settings, such as episodic and continuing. In this work, we introduce the RL task formalism, that provides a unification through simple constructs including a generalization to transition-based discounting. Through a series of examples, we demonstrate the generality and utility of this formalism. Finally, we extend standard learning constructs, including Bellman operators, and extend some seminal theoretical results, including approximation errors bounds. Overall, we provide a well-understood and sound formalism on which to build theoretical results and simplify algorithm use and development.

📄 PDF Abstract BibTeX arXiv:1609.01995

Code (0)

등록된 구현이 없습니다.

Tasks

reinforcement-learningReinforcement LearningReinforcement Learning (RL)

Similar Papers 제목 키워드 기반

Automating the Refinement of Reinforcement Learning Specifications

2025-11-30 · Tanmay Ambadkar, Đorđe Žikelić, Abhinav Verma arxiv

Logical specifications have been shown to help reinforcement learning algorithms in achieving complex tasks. However, when a task is under-specified, agents might fail to learn useful policies. In this work, we explore t…

Reinforcement Learning

Unifying back-propagation and forward-forward algorithms through model predictive control

2024-09-29 · Lianhai Ren, Qianxiao Li

We introduce a Model Predictive Control (MPC) framework for training deep neural networks, systematically unifying the Back-Propagation (BP) and Forward-Forward (FF) algorithms. At the same time, it gives rise to a range…

Model Predictive Control

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic

2026-05-20 · Paapa Kwesi Quansah, Ernest Bonnah arxiv

Effectively translating between natural language (NL) and formal logics like Linear Temporal Logic (LTL) requires expertise that limits formal verification's reach in safety-critical development. Template-based approache…

Reinforcement LearningAutonomous Vehicles

Herb.jl: A Unifying Program Synthesis Library

2025-10-10 · Tilman Hinnerichs, Reuben Gardos Reid, Jaap de Jong, Bart Swinkels 외 arxiv

Program synthesis -- the automatic generation of code given a specification -- is one of the most fundamental tasks in artificial intelligence (AI) and the dream of many programmers. Numerous synthesizers have been devel…

Program Synthesis

Compositional Reinforcement Learning from Logical Specifications

2021-06-25 · NeurIPS 2021 12 · Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur

We study the problem of learning control policies for complex tasks given by logical specifications. Recent approaches automatically generate a reward function from a given specification and use a suitable reinforcement …

reinforcement-learningReinforcement LearningReinforcement Learning (RL)