Automatic Extraction of Axioms for Planning


  • Shuwa Miura The University of Tokyo
  • Alex Fukunaga The University of Tokyo



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.




How to Cite

Miura, S., & Fukunaga, A. (2017). Automatic Extraction of Axioms for Planning. Proceedings of the International Conference on Automated Planning and Scheduling, 27(1), 218-227.