ASET: a Multi-Agent Planning Language with Nondeterministic Durative Tasks for BDD-Based Fault Tolerant Planning

Rune Møller Jensen, Manuela M. Veloso

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Abstract

    In this paper, we introduce a multi-agent planning language called ASynchronous Evolving Tasks (ASET). The main contribution of ASET is a novel explicit representation of temporally extended tasks that may be nondeterministic both with respect to duration and effects. Moreover, ASET explicitly models the environment as a set of uncontrollable agents. We formally define ASET descriptions and their transformation to a nondeterministic planning domain. Using a Boolean encoding, fault tolerant planning problems specified in ASET can be solved efficiently with state-of-the-art BDD-based planning systems. Our preliminary experimental results show that the transformation of ASET domains to nondeterministic planning domains is computationally efficient even for ASET descriptions with a high level of temporal detail.
    Original languageEnglish
    Title of host publicationICAPS 05 WS4 : Workshop on Multiagent Planning and Scheduling
    EditorsBradley Clement
    Number of pages9
    Publication date2005
    Pages58-66
    Publication statusPublished - 2005

    Keywords

    • Multi-agent planning
    • Temporally extended tasks
    • Nondeterministic planning
    • Fault tolerant planning
    • BDD-based planning

    Fingerprint

    Dive into the research topics of 'ASET: a Multi-Agent Planning Language with Nondeterministic Durative Tasks for BDD-Based Fault Tolerant Planning'. Together they form a unique fingerprint.

    Cite this