Talk by Yuxiao (Toby) Hu:
A declarative semantics for a subset of PDDL with time and concurrency

Filed under: News, Meetings — admin at 7:02 pm on Monday, March 19, 2007

Date : Friday, April 20th 2007
Time : 3-4pm
Room : PT 266


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.