Automatic Extraction of Axioms for Planning
Proceedings of the International Conference on Automated Planning and Scheduling2017Vol. 27, pp. 218–227
Citations Over TimeTop 20% of 2017 papers
Abstract
Axioms can be used to model derived predicates in domain-independent planning models. Formulating models which use axioms can sometimes result in problems with much smaller search spaces than the original model. We propose a method for automatically extracting a particular class of axioms from standard STRIPS PDDL models. More specifically, we identify operators whose effects become irrelevant given some other operator, and generate axioms that capture this relationship. We show that this algorithm can be used to successfully extract axioms from standard IPC benchmark instances, and show that the extracted axioms can be used to significantly improve the performance of satisficing planners.
Related Papers
- → Satisficing: Integrating Two Traditions(2022)86 cited
- → Two Views of Satisficing(2004)28 cited
- → On Optimal Satisficing: How Simple Policies Can Achieve Excellent Results(2008)12 cited
- → MULTIPLE‐OBJECTIVE SATISFICING DECISION PROBLEMS(1984)3 cited
- → An Interactive Satisficing Decision Making Method in Large Scale Systems(1993)