Planning with Qualitative Action-Trajectory Constraints in PDDL

Planning with Qualitative Action-Trajectory Constraints in PDDL

Luigi Bonassi, Alfonso Emilio Gerevini, Enrico Scala

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence
Main Track. Pages 4606-4613. https://doi.org/10.24963/ijcai.2022/639

In automated planning the ability of expressing constraints on the structure of the desired plans is important to deal with solution quality, as well as to express control knowledge. In PDDL3, this is supported through state-trajectory constraints corresponding to a class of LTLf formulae. In this paper, first we introduce a formalism to express trajectory constraints over actions in the plan, rather than over traversed states; Then we investigate compilation-based methods to deal with such constraints in propositional planning, and propose a new simple effective method. Finally, we experimentally study the usefulness of our action-trajectory constraints as a tool to express control knowledge. The experimental results show that the performance of a classical planner can be significantly improved by exploiting knowledge expressed by action constraints and handled by our compilation method, while the same knowledge turns out to be less beneficial when specified as state constraints and handled by two state-of-the-art systems supporting state constraints.
Keywords:
Planning and Scheduling: Planning Algorithms
Knowledge Representation and Reasoning: Knowledge Representation Languages
Planning and Scheduling: Search in Planning and Scheduling