Abstract:Automated planning requires action models described using languages such as the Planning Domain Definition Language (PDDL) as input, but building action models from scratch is a very difficult and time-consuming task, even for experts. This is because it is difficult to formally describe all conditions and changes, reflected in the preconditions and effects of action models. In the past, there have been algorithms that can automatically learn simple action models from plan traces. However, there are many cases in the real world where we need more complicated expressions based on universal and existential quantifiers, as well as logical implications in action models to precisely describe the underlying mechanisms of the actions. Such complex action models cannot be learned using many previous algorithms. In this article, we present a novel algorithm called LAMP (Learning Action Models from Plan traces), to learn action models with quantifiers and logical implications from a set of observed plan traces with only partially observed intermediate state information. The LAMP algorithm generates candidate formulas that are passed to a Markov Logic Network (MLN) for selecting the most likely subsets of candidate formulas. The selected subset of formulas is then transformed into learned action models, which can then be tweaked by domain experts to arrive at the final models. We evaluate our approach in four planning domains to demonstrate that LAMP is effective in learning complex action models. We also analyze the human effort saved by using LAMP in helping to create action models through a user study. Finally, we apply LAMP to a real-world application domain for software requirement engineering to help the engineers acquire software requirements and show that LAMP can indeed help experts a great deal in real-world knowledge-engineering applications.

Learning Derived Predicate Rules for Planning Domains under Partial Observability

Embodied Active Learning of Relational State Abstractions for Bilevel Planning

Predicate Invention for Bilevel Planning

InterPreT: Interactive Predicate Learning from Language Feedback for Generalizable Task Planning

Learning Applicability Conditions in AI Planning from Part Ial Observations

Learning Visual Planning Models from Partially Observed Images

Learning complex action models with quantifiers and logical implications

Learning for Long-Horizon Planning via Neuro-Symbolic Abductive Imitation

Cross-Domain Action-Model Acquisition for Planning Via Web Search.

Learning Planning Abstractions from Language

Safe Learning of PDDL Domains with Conditional Effects -- Extended Version

From Reals to Logic and Back: Inventing Symbolic Vocabularies, Actions and Models for Planning from Raw Data

Refining Incomplete Planning Domain Models Through Plan Traces.

Learning STRIPS operators from noisy and incomplete observations

Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains

Learning Action Models from Plan Traces with Disordered Actions, Parallel Actions, Noisy States

Action-model acquisition for planning via transfer learning.

Learning Action Models from Disordered and Noisy Plan Traces

Design and Implementation of Linked Planning Domain Definition Language

VisualPredicator: Learning Abstract World Models with Neuro-Symbolic Predicates for Robot Planning

Handling Goal Utility Dependencies in OSP Problems with Derived Predicates and Preferences