Diploma Thesis: A Declarative Semantics for a Subset of PDDL with Constraints, Preferences and Derived Predicates [completed]

Submitted by Jens Claßen on 2. February 2009 - 19:00

The thesis presents an extension of the modal Situation Calculus variant ES by the features of constraints, preferences and derived predictaes. Based on this, a semantic mapping between the corresponding subset of the planning language PDDL and the newly extended ES is provided, serving as an alternative, declarative semantics for PDDL's meta-theoretic, state-transitional semantics as well as the basis of embedding such planners into Golog.