On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle

Gabriele Roeger, Malte Helmert, Bernhard Nebel

Integrating agent programming languages and efficient action planning is a promising approach because it combines the expressive power of languages such as Golog with the possibility of searching for plans efficiently. In order to integrate a Golog interpreter with a planner, one has to understand, however, which part of the expressiveness of Golog can be captured by the planning language. Using Nebel's compilation framework, we identify a maximal fragment of basic action theories, the formalism Golog is based on, that is expressively equivalent to the ADL subset of PDDL. As we will show, almost all features that permit to specify incomplete information in basic action theories cannot be compiled to ADL.

URL: ftp://ftp.informatik.uni-freiburg.de/documents/papers/ki/roeger-etal-kr2008.pdf

Subjects: 11. Knowledge Representation; 1.11 Planning

Submitted: Jun 16, 2008

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.