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.

[thumbnail of Cashmore-etal-AIPHS-2016-A-compilation-of-the-full-PDDL-language-into-SMT]
Text (Cashmore-etal-AIPHS-2016-A-compilation-of-the-full-PDDL-language-into-SMT)
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.

    ORCID iDs

    Cashmore, Michael ORCID logoORCID: https://orcid.org/0000-0002-8334-4348, Fox, Maria, Long, Derek and Magazzeni, Daniele;