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.

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.