Search:
Computing and Library Services - delivering an inspiring information environment

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

[img] PDF
pmtICAPS2.pdf - Published Version
Restricted to Registered users only

Download (231kB)

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 Type: Book Chapter
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Schools: School of Computing and Engineering
School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge
School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge
Related URLs:
Depositing User: Peter Gregory
Date Deposited: 17 Jul 2012 13:11
Last Modified: 17 Jul 2012 13:11
URI: http://eprints.hud.ac.uk/id/eprint/13104

Downloads

Downloads per month over past year

Repository Staff Only: item control page

View Item View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©