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.

    Author(s):Cashmore, Michael ORCID logoORCID: https://orcid.org/0000-0002-8334-4348, Fox, Maria, Long, Derek and Magazzeni, Daniele
    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:06 Oct 2019 02:01
    URI:https://strathprints.strath.ac.uk/id/eprint/69978
    Export data:
    CORE (COnnecting REpositories)