STRIPS Action Discovery
Alejandro Su\'arez-Hern\'andez, Javier Segovia-Aguas, Carme, Torras, Guillem Aleny\`a

TL;DR
This paper introduces an unsupervised method to synthesize STRIPS action models from execution traces using classical planning, addressing challenges in high-level knowledge base specification and static predicate learning.
Contribution
It presents a novel algorithm for unsupervised STRIPS action model synthesis from traces, including a compilation that leverages SAT planners and supports partial input information.
Findings
Models generalize well to unseen instances
Effective in learning static predicate preconditions
Supports partial input to improve search efficiency
Abstract
The problem of specifying high-level knowledge bases for planning becomes a hard task in realistic environments. This knowledge is usually handcrafted and is hard to keep updated, even for system experts. Recent approaches have shown the success of classical planning at synthesizing action models even when all intermediate states are missing. These approaches can synthesize action schemas in Planning Domain Definition Language (PDDL) from a set of execution traces each consisting, at least, of an initial and final state. In this paper, we propose a new algorithm to unsupervisedly synthesize STRIPS action models with a classical planner when action signatures are unknown. In addition, we contribute with a compilation to classical planning that mitigates the problem of learning static predicates in the action model preconditions, exploits the capabilities of SAT planners with parallel…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAI-based Problem Solving and Planning · Semantic Web and Ontologies · Logic, Reasoning, and Knowledge
MethodsSPEED: Separable Pyramidal Pooling EncodEr-Decoder for Real-Time Monocular Depth Estimation on Low-Resource Settings
