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.
|
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.
Creators(s): |
Cashmore, Michael ![]() | Item type: | Book Section |
---|---|
ID code: | 69978 |
Keywords: | PDDL+, planning, nonlinear continuous change, planning algorithms, AI, artifical intelligence, Electronic computers. Computer science, Artificial Intelligence |
Subjects: | Science > Mathematics > Electronic computers. Computer science |
Department: | Faculty of Science > Computer and Information Sciences |
Depositing user: | Pure Administrator |
Date deposited: | 27 Sep 2019 09:56 |
Last modified: | 03 Jan 2021 02:46 |
URI: | https://strathprints.strath.ac.uk/id/eprint/69978 |
Export data: |