Interval-based relaxation for general numeric planning

Enrico Scala, Patrik Haslum, Sylvie Thiebaux, Miquel Ramirez

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    88 Citations (Scopus)

    Abstract

    We generalise the interval-based relaxation to sequential numeric planning problems with non-linear conditions and effects, and cyclic dependencies. This effectively removes all the limitations on the problem placed in previous work on numeric planning heuristics, and even allows us to extend the planning language with a wider set of mathematical functions. Heuristics obtained from the generalised relaxation are pruning-safe. We derive one such heuristic and use it to solve discrete-time control-like planning problems with autonomous processes. Few planners can solve such problems, and search with our new heuristic compares favourably with them.

    Original languageEnglish
    Title of host publicationFrontiers in Artificial Intelligence and Applications
    EditorsGal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hullermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen
    PublisherIOS Press BV
    Pages655-663
    Number of pages9
    ISBN (Electronic)9781614996712
    DOIs
    Publication statusPublished - 2016
    Event22nd European Conference on Artificial Intelligence, ECAI 2016 - The Hague, Netherlands
    Duration: 29 Aug 20162 Sept 2016

    Publication series

    NameFrontiers in Artificial Intelligence and Applications
    Volume285
    ISSN (Print)0922-6389
    ISSN (Electronic)1879-8314

    Conference

    Conference22nd European Conference on Artificial Intelligence, ECAI 2016
    Country/TerritoryNetherlands
    CityThe Hague
    Period29/08/162/09/16

    Fingerprint

    Dive into the research topics of 'Interval-based relaxation for general numeric planning'. Together they form a unique fingerprint.

    Cite this