Planning modulo theories: extending the planning paradigm

Hdl Handle:
http://hdl.handle.net/10149/263352
Title:
Planning modulo theories: extending the planning paradigm
Book Title:
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling (ICAPS 2012)
Authors:
Gregory, P. J. (Peter); Long, D. (Derek); Fox, M. (Maria)
Citation:
Gregory, P., Long, D. and Fox, M. (2012) 'Planning modulo theories: extending the planning paradigm', Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling (ICAPS 2012), São Paulo, Brazil, 19-25 June 2012.
Conference:
Twenty-Second International Conference on Automated Planning and Scheduling (ICAPS 2012), São Paulo, Brazil, 19-25 June 2012.
Issue Date:
5-Apr-2012
URI:
http://hdl.handle.net/10149/263352
Additional Links:
http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4693
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 $h_{max}$ 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.
Type:
Meetings and Proceedings
Language:
en
Keywords:
modelling language; Planning Modulo Theories
ISBN:
97811577355625

Full metadata record

DC FieldValue Language
dc.contributor.authorGregory, P. J. (Peter)en_GB
dc.contributor.authorLong, D. (Derek)en_GB
dc.contributor.authorFox, M. (Maria)en_GB
dc.date.accessioned2012-12-20T11:30:39Z-
dc.date.available2012-12-20T11:30:39Z-
dc.date.issued2012-04-05-
dc.identifier.isbn97811577355625-
dc.identifier.urihttp://hdl.handle.net/10149/263352-
dc.description.abstractConsiderable 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 $h_{max}$ 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.en_GB
dc.language.isoenen
dc.relation.urlhttp://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4693en_GB
dc.subjectmodelling languageen_GB
dc.subjectPlanning Modulo Theoriesen_GB
dc.titlePlanning modulo theories: extending the planning paradigmen
dc.typeMeetings and Proceedingsen
dc.title.bookProceedings of the Twenty-Second International Conference on Automated Planning and Scheduling (ICAPS 2012)en_GB
dc.identifier.conferenceTwenty-Second International Conference on Automated Planning and Scheduling (ICAPS 2012), São Paulo, Brazil, 19-25 June 2012.en_GB
or.citation.harvardGregory, P., Long, D. and Fox, M. (2012) 'Planning modulo theories: extending the planning paradigm', Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling (ICAPS 2012), São Paulo, Brazil, 19-25 June 2012.en_GB
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.