Platas

Planning Techniques and Action Languages

Platas

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

Submitted by stf on 15. November 2007 - 12:01 categories [ ]

On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs

Claßen, J., and G. Lakemeyer, "On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs", Proceedings of the Nineteenth European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, IOS Press, pp. 887--892, 08/2010.
Submitted by Jens Claßen on 3. June 2010 - 9:53 categories [ ]

Master's Thesis: Incorporating Domain-Dependent Knowledge into Golog - An Empirical Evaluation [completed]

This thesis provides presents an embedding of Doherty and Kvarnström's TALplanner into Golog. For this purpose, as theoretical foundation, a mapping between Temporal Action Logics and an appropriately extended variant of the modal Situation Calculus ES is given and proved to be correct. Furthermore, the embedding is implemented into the IndiGolog framework and evaluated empirically.

Submitted by Jens Claßen on 4. May 2010 - 18:00 categories [ ]

Tractable First-Order Golog with Disjunctive Knowledge Bases

Claßen, J., and G. Lakemeyer, "Tractable First-Order Golog with Disjunctive Knowledge Bases", Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009), Toronto, Canada, UTSePress, pp. 27--33, 05/2009.
Submitted by Jens Claßen on 15. May 2009 - 18:01 categories [ ]

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

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.

Submitted by Jens Claßen on 2. February 2009 - 18:00 categories [ ]

Master's Thesis: A Declarative Semantics for a Subset of PDDL with Time and Concurrency [completed]

The thesis presents an extension of the modal Situation Calculus variant ES by the features of numerics, time, concurrency, and coerciveness. Based on this, a semantic mapping between the temporal 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 temporal planners into Golog.

Submitted by Jens Claßen on 22. November 2006 - 18:00 categories [ ]