Conditional Epistemic Planning

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    Recent work has shown that Dynamic Epistemic Logic (DEL) offers a solid foundation for automated planning under partial observability and non-determinism. Under such circumstances, a plan must branch if it is to guarantee achieving the goal under all contingencies (strong planning). Without branching, plans can offer only the possibility of achieving the goal (weak planning). We show how to formulate planning in uncertain domains using DEL and give a language of conditional plans. Translating this language to standard DEL gives verification of both strong and weak plans via model checking. In addition to plan verification, we provide a tableau-inspired algorithm for synthesising plans, and show this algorithm to be terminating, sound and complete.
    Original languageEnglish
    Title of host publicationLogics in Artificial Intelligence : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings
    PublisherSpringer
    Publication date2012
    Pages 94-106
    ISBN (Print)978-3-642-33352-1
    ISBN (Electronic)978-3-642-33353-8
    DOIs
    Publication statusPublished - 2012
    Event13th European Conference on Logics in Artificial Intelligence (JELIA 2012) - Toulouse, France
    Duration: 26 Sep 201228 Sep 2012
    http://www.irit.fr/jelia2012/

    Conference

    Conference13th European Conference on Logics in Artificial Intelligence (JELIA 2012)
    CountryFrance
    CityToulouse
    Period26/09/201228/09/2012
    Internet address
    SeriesLecture Notes in Computer Science
    Volume7519
    ISSN0302-9743

    Fingerprint Dive into the research topics of 'Conditional Epistemic Planning'. Together they form a unique fingerprint.

    Cite this