Theses/Jobs

Diploma/Master's/Bachelor's Theses and Job Offers

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: Self-Maintaining and Self-Monitoring Autonomous Sytems [done]

Submitted by stf on 15. January 2010 - 17:44

Description

The logic-based programming language Readylog has already been successfully applied to control robots in multiple domains such as in robotic soccer and domestic service robotics. In realistic application scenarios robots often fail, due to various reasons some of which are in the state of the robot('s) software itself.

The objective of this thesis is to develop and implement a system that allows a robot to identify issues leading to failures that occur frequently and prevent the same by appropriate counter measures.

Diploma/Master's Thesis Topic: Logic-based Controllers for Real-time Strategy Games [assigned]

Submitted by Daniel Beck on 15. January 2010 - 16:37

Description

The logic-based programming language Readylog has already been successfully applied in other real-time domains such as in robotic soccer and for controlling game bots in the computer game Unreal Tournament 2004. Contrary to those domains where the agent controls a single entity, an agent for a real-time strategy (RTS) game has to cope with a large number of units that need to be controlled simultaneously.

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.

Diploma/Bachelor's/Master's Theses and Student Research Projects

Submitted by stf on 27. November 2007 - 18:24

Topics for diploma theses concern the following research areas:

  • knowledge representation
    • efficient reasoning
    • non-monotonic reasoning
  • cognitive robotic
    • action description languages and their applications, especially controlling mobile robots
    • diagnosis of faulty action sequences
  • applications of methods from AI
    • RoboCup (reactive/deliberative planning, controlling autonomous robots, multi-agent systems, ...)
    • GameBots (e.g. controlling agents in computer games)
Please contact one of the staff members of the Knowledge-Based Systems Group in case of questions or interest.
View a list of open theses topics.

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.