A compilation of the full PDDL+ language into SMT

Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

19 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationProceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2016)
Place of PublicationMenlo Park, US-CA.
Pages583-591
Number of pages9
Volume2016-January
Publication statusPublished - 30 Mar 2016

    Fingerprint

Keywords

  • PDDL+
  • planning
  • nonlinear continuous change
  • planning algorithms
  • AI
  • artifical intelligence

Cite this

Cashmore, M., Fox, M., Long, D., & Magazzeni, D. (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) (Vol. 2016-January, pp. 583-591). Menlo Park, US-CA..