The aim of this project is the tight integration of the latest developments in the areas of planning languages and action logics in order to arrive at systems that are both very epressive and efficient. For comparing action languages like Golog and Flux with planning formalisms like PDDL – which is being viewed as the standard in the area of planning – a common semantics based on the situation calculus shall be developed. The expressivity of the different approaches shall be assessed via compilation techniques. A special focus will be on extensions of Golog, such as temporal and concurrent Golog. The resulting planning problems shall be approached with heuristic search, as implemented in the FF system, and the aid of compilation techniques. In return, language constructs from the Golog-family shall be integrated into PDDL and existing planners. The developed methods shall be evaluated in the context of autonomous robots.

Homepage: http://www.computational-logic.org/content/projects/wisslogc.php?id=53