completed

status of thesis

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

Submitted by Jens Claßen on 4. May 2010 - 20:00

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.

Diploma Thesis: Multi-modal multi-target tracking on a mobile robot [completed]

Submitted by stf on 8. March 2010 - 9:26

Description

Robots that operate in human environments need to be able to detect and preferably also track humans around them by using all of their sensory capabilities.

The objective of this thesis is to develop and implement a system that allows a robot to detect and track person using several different modalities such as a laser range finder and a sound source localization.

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

Submitted by Jens Claßen on 2. February 2009 - 19:00

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.

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

Submitted by Jens Claßen on 22. November 2006 - 19:00

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.

Diploma Thesis: Decision-Theoretic Planning in the Dynamic Logic ES [completed]

Submitted by Jens Claßen on 16. June 2006 - 20:00

The thesis presents a representation for decision-theoretic problems in the modal Situation Calculus variant ES. Based on this representation, different decision-theoretic variants of the agent programming language Golog are established, namely an online- and an off-line version of DT-Golog. For this purpose, a transition semantics for such programs is defined and prototype implementations have been developed.