A fluent calculus semantics for ADL with plan constraints

Conrad Drescher, Michael Thielscher

    Research output: Contribution to journalArticlepeer-review

    3 Citations (Scopus)

    Abstract

    Plan constraints are the most recent addition to the ever growing Planning Domain Definition Language (PDDL). In this work we consider the PDDL fragment consisting of basic ADL extended by plan constraints. We provide a purely declarative semantics for this fragment by interpreting it in the basic Fluent Calculus. We thus obtain a logical semantics for this fragment of PDDL instead of the usual meta-theoretical state transition semantics.
    Original languageEnglish
    Pages (from-to)140-152
    Number of pages13
    JournalLecture Notes in Computer Science
    Volume5293
    DOIs
    Publication statusPublished - 2008

    Fingerprint

    Dive into the research topics of 'A fluent calculus semantics for ADL with plan constraints'. Together they form a unique fingerprint.

    Cite this