Das Bachelorprojekt am Lehrstuhl für die Grundlagen der Künstlichen Intelligenz umfasst drei Aufgabenblätter zu den Themen Aussagenlogische Erfüllbarkeit, Answer-Set Programming, Constraint-Satisfaction Probleme, Lineare Programmierung, Modallogik und Symbolisches Planen. Aufbauend auf den Aufgabenblättern wird in der zweiten Phase des Bachelorprojektes ein Verfahren selbst implementiert und sowohl theoretisch als auch empirisch evaluiert.

Several Bachelor and/or Master theses and projects are available with the common objective to apply AI techniques to moral reasoning and argumentation. Concrete problems include: Moral decision making under uncertainty, AI planning under ethical considerations, complexity-theoretical investigations of ethical judgment making and planning, generation of explanations and justifications, modeling of moral dialogues, empirical investigations of an ethical reasoning robot.

The Sick Robot Day competition poses many interesting challenges for an autonomous robot, especially in the fields of navigation, perception and manipulation. In this project the problem of object perception is addressed. The robot needs to recognize cubes in the competition arena. These cubes can be placed by the robot or by the robot of the opposing team and collision with the cubes leads to disqualification. Therefore it is crucial to detect and track the position of any cubes and provide the gathered information to the navigation component.