Planning Modulo Theories: Extending the Planning Paradigm

Gregory, Peter, Long, Derek, Fox, Maria and Beck, J. Christopher (2012) Planning Modulo Theories: Extending the Planning Paradigm. In: Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling. ICAPS 2012 . AAAI Press, California, USA, pp. 65-73. ISBN 978-1-57735-562-5

PDF - Published Version Restricted to Registered users only Download (226kB)

Abstract

Considerable effort has been spent extending the scope of
planning beyond propositional domains to include, for example,
time and numbers. Each extension has been designed as a
separate specific semantic enrichment of the underlying planning
model, with its own syntax and customised integration
into a planning algorithm. Inspired by work on SAT Modulo
Theories (SMT) in the SAT community, we develop a modelling
language and planner that treat arbitrary first order theories
as parameters. We call the approach Planning Modulo
Theories (PMT). We introduce a modular language to represent
PMT problems and demonstrate its benefits over PDDL
in expressivity and compactness. We present a generalisation
of the hmax heuristic that allows our planner, PMTPlan, to
automatically reason about arbitrary theories added as modules.
Over several new and existing benchmarks, exploiting
different theories, we show that PMTPlan can significantly
out-perform an existing planner using PDDL models.

Item control for Repository Staff only: