A compilation of the full PDDL+ language into SMT

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele; (2016) A compilation of the full PDDL+ language into SMT. In: Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2016). AAAI Press, Menlo Park, US-CA., pp. 583-591. (https://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/p...)

[thumbnail of Cashmore-etal-AIPHS-2016-A-compilation-of-the-full-PDDL-language-into-SMT]
Text. Filename: Cashmore_etal_AIPHS_2016_A_compilation_of_the_full_PDDL_language_into_SMT.pdf
Final Published Version
License: All rights reserved

Download (607kB)| Preview


Planning in hybrid systems is important for dealing with realworld applications. PDDL+ supports this representation of domains with mixed discrete and continuous dynamics, and supports events and processes modelling exogenous change. Motivated by numerous SAT-based planning approaches, we propose an approach to PDDL+ planning through SMT, describing an SMT encoding that captures all the features of the PDDL+ problem as published by Fox and Long (2006). The encoding can be applied on domains with nonlinear continuous change. We apply this encoding in a simple planning algorithm, demonstrating excellent results on a set of benchmark problems.