Landmarks for numeric planning problems

Enrico Scala, Patrik Haslum, Daniele Magazzeni, Sylvie Thiébaux

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

    24 Citations (Scopus)

    Abstract

    The paper generalises the notion of landmarks for reasoning about planning problems involving propositional and numeric variables. Intuitively, numeric landmarks are regions in the metric space defined by the problem whose crossing is necessary for its resolution. The paper proposes a relaxationbased method for their automated extraction directly from the problem structure, and shows how to exploit them to infer what we call disjunctive and additive hybrid action landmarks. The justification of such a disjunctive representation results from the intertwined propositional and numeric structure of the problem. The paper exercises their use in two novel admissible LP-Based numeric heuristics, and reports experiments on cost-optimal numeric planning problems. Results show the heuristics are more informed and effective than previous work for problems involving a higher number of (sub)goals.

    Original languageEnglish
    Title of host publication26th International Joint Conference on Artificial Intelligence, IJCAI 2017
    EditorsCarles Sierra
    PublisherInternational Joint Conferences on Artificial Intelligence
    Pages4384-4390
    Number of pages7
    ISBN (Electronic)9780999241103
    DOIs
    Publication statusPublished - 2017
    Event26th International Joint Conference on Artificial Intelligence, IJCAI 2017 - Melbourne, Australia
    Duration: 19 Aug 201725 Aug 2017

    Publication series

    NameIJCAI International Joint Conference on Artificial Intelligence
    Volume0
    ISSN (Print)1045-0823

    Conference

    Conference26th International Joint Conference on Artificial Intelligence, IJCAI 2017
    Country/TerritoryAustralia
    CityMelbourne
    Period19/08/1725/08/17

    Fingerprint

    Dive into the research topics of 'Landmarks for numeric planning problems'. Together they form a unique fingerprint.

    Cite this