A Fluent Calculus Semantics for ADL with Plan Constraints
Conrad Drescher and Michael Thielscher
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.
Address
Dresden‚ Germany
Book Title
Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA 2008)
Year
2008