Talk by Yuxiao (Toby) Hu:
A declarative semantics for a subset of PDDL with time and concurrency
Date : Friday, April 20th 2007
Time : 3-4pm
Room : PT 266
Abstract
Classen et al recently defined a declarative semantics for the ADL subset of PDDL. We extend their result to include the temporal features in PDDL 2.x, such as durative actions and concurrency, among other things. Unlike the existing state-transitional semantics which is complex and purely meta-theoretic, our definition is based on logical theories in ES, a variant of the situation calculus. This result makes it possible to analyze temporal planning problems in terms of logical entailments, and facilitates the unification between planning and other formalisms, like the action language Golog.