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 Applicability Conditions in AI Planning from Part Ial Observations

Learning complex action models with quantifiers and logical implications

Learning adaptive planning representations with natural language guidance

LASP: Surveying the State-of-the-Art in Large Language Model-Assisted AI Planning

AI Planning: A Primer and Survey (Preliminary Report)

Action-model acquisition for planning via transfer learning.

Learning HTN Method Preconditions and Action Models from Partial Observations

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

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

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

Long-Horizon Planning for Multi-Agent Robots in Partially Observable Environments

Representation Learning for Classical Planning from Partially Observed Traces

Learning Derived Predicate Rules for Planning Domains under Partial Observability

Learning Planning Abstractions from Language

Learning Action Models for Multi-Agent Planning

Learning Visual Planning Models from Partially Observed Images

ISR-LLM: Iterative Self-Refined Large Language Model for Long-Horizon Sequential Task Planning

What's the Plan? Evaluating and Developing Planning-Aware Techniques for Language Models

Embodied Active Learning of Relational State Abstractions for Bilevel Planning

Learning Action Models from Disordered and Noisy Plan Traces

An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem