arrow
返回

Inductive Generalization in Reinforcement Learning from Specifications

delete2026-01-01
delete0
PRE
AI
V
V Subramanian *
R
Rohit Kushwah
S
Subhajit Roy
S
Suguman Bansal
DOI:10.1007/978-3-032-08707-2_13delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
我们提出了一种基于逻辑规范进行强化学习的归纳泛化框架。强化学习环境中许多有趣的任务具有天然的归纳结构。这些归纳任务具有相似的高层目标,但在低层谓词和分布上存在归纳差异。我们提出了一种泛化方法,利用这种归纳关系学习一个高阶函数,即策略生成器,能够以零样本方式为归纳任务的实例生成适当调整的策略。在一系列具有挑战性的控制基准测试上对所提出方法进行评估,证明了我们的框架在为长期任务泛化到未见策略方面的潜力。
Keyword:
Reinforcement Learning
Inductive Generalization
Policy Generation
Logical Specifications
Zero-Shot Learning

期刊

A
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF:
0
论文数:
21
被引数:
0

机构

G
georgia institute of technology
学者数:
2.2K
论文数: 1.1K
被引数: 0
U
university system of georgia
学者数:
7.3W
论文数: 6.6W
被引数: 101
引用论文

引用论文

Omega-Regular Objectives in Model-Free Reinforcement Learning
err2019-04-04
err0
errOAAI
errErnst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi; Dominik Wojtczak
err分享
err收藏
err
IF0
err
err0
PREAI
err
err分享
err收藏
A Framework for Transforming Specifications in Reinforcement Learning
err2022-12-29
err0
PREAI
errRajeev Alur; Suguman Bansal; Osbert Bastani; Kishor Jothimurugan
err分享
err收藏
err
IF0
err
err0
PREAI
err
err分享
err收藏
LTLf/LDLf Non-Markovian Rewards
err2018-04-25
err0
errOAAI
errRonen Brafman; Giuseppe De Giacomo; Fabio Patrizi
err分享
err收藏
学者 查看更多内容