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.

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

Download (607kB)| Preview

    Abstract

    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.