arrow
Return

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
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
We present a novel inductive generalization framework for RL from logical specifications. Many interesting tasks in RL environments have a natural inductive structure. These inductive tasks have similar overarching goals but they differ inductively in low-level predicates and distributions. We present a generalization procedure that leverages this inductive relationship to learn a higher-order function, a policy generator, that generates appropriately adapted policies for instances of an inductive task in a zero-shot manner. An evaluation of the proposed approach on a set of challenging control benchmarks demonstrates the promiseofourframeworkingeneralizingtounseenpoliciesforlong- horizontasks.
Keywords:
Reinforcement Learning
Inductive Generalization
Policy Generation
Logical Specifications
Zero-Shot Learning

Journal

A
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF:
0
Papers:
21
Citations:
0

Organization

G
georgia institute of technology
Scholars:
2.0K
Papers: 978
Citations: 0
U
university system of georgia
Scholars:
7.3W
Papers: 6.5W
Citations: 101