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 - Published Version
Restricted to Registered users only

Download (226kB)


    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 > Informatics Research Group > Knowledge Engineering and Intelligent Interfaces
    Related URLs:
    Depositing User: Peter Gregory
    Date Deposited: 17 Jul 2012 14:11
    Last Modified: 17 Jul 2012 14:11

    Document Downloads

    Downloader Countries

    More statistics for this item...

    Item control for Repository Staff only:

    View Item

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