DeepAI AI Chat
Log In Sign Up

Learning Features and Abstract Actions for Computing Generalized Plans

by   Blai Bonet, et al.
Universität Basel
Universitat Pompeu Fabra
Universidad Simon Bolivar

Generalized planning is concerned with the computation of plans that solve not one but multiple instances of a planning domain. Recently, it has been shown that generalized plans can be expressed as mappings of feature values into actions, and that they can often be computed with fully observable non-deterministic (FOND) planners. The actions in such plans, however, are not the actions in the instances themselves, which are not necessarily common to other instances, but abstract actions that are defined on a set of common features. The formulation assumes that the features and the abstract actions are given. In this work, we address this limitation by showing how to learn them automatically. The resulting account of generalized planning combines learning and planning in a novel way: a learner, based on a Max SAT formulation, yields the features and abstract actions from sampled state transitions, and a FOND planner uses this information, suitably transformed, to produce the general plans. Correctness guarantees are given and experimental results on several domains are reported.


page 1

page 2

page 3

page 4


Features, Projections, and Representation Change for Generalized Planning

Generalized planning is concerned with the characterization and computat...

Learning General Policies from Small Examples Without Supervision

Generalized planning is concerned with the computation of general polici...

Compact Policies for Fully-Observable Non-Deterministic Planning as SAT

Fully observable non-deterministic (FOND) planning is becoming increasin...

PDDL2.1 - The Art of the Possible? Commentary on Fox and Long

PDDL2.1 was designed to push the envelope of what planning algorithms ca...

Addendum to: Summary Information for Reasoning About Hierarchical Plans

Hierarchically structured agent plans are important for efficient planni...

Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints

We study the characterization and computation of general policies for fa...

Guarantees for Sound Abstractions for Generalized Planning (Extended Paper)

Generalized planning is about finding plans that solve collections of pl...