Uni-Logo

Abgeschlossene Arbeiten

Offene Themen

Bachelor-Projekt
Bachelorprojekt: Grundlagen der Symbolischen KI
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.

Weitere Informationen und Kontakt: Felix Lindner, Robert Mattmüller und David Speck

Bachelorarbeit, Masterarbeit oder Master-Projekt
Moralisches Schließen und Argumentieren
Im Rahmen mehrerer Bachelor- und/oder Masterarbeiten (sowohl Abschlussarbeiten als auch Projektarbeiten) sollen Techniken der Künstlichen Intelligenz im Problemfeld Moralisches Schließen und Argumentieren ausprobiert werden. Konkrete Problemstellungen umfassen: Moralische Entscheidungen unter Unsicherheit treffen, Automatisches Planen unter ethischen Gesichtspunkten, Komplexitätstheoretische Untersuchungen zum ethischen Urteilen, Argumentieren und Planen, Generierung von Erklärungen und Rechtfertigungen, Modellierung moralischer Dialoge, Empirische Untersuchungen zu einem ethischen Roboter.

Weitere Informationen und Kontakt: Felix Lindner

Laufende Arbeiten

Bachelor-Projekt
Multi target path planning as decision tool for mobile robots

Vergeben an: Anna Windbuehler (seit November 2016)

Master-Projekt
Lattice based path planning in a cooperative multi robot setting

Vergeben an: Ikrima Bin Saeed (seit November 2016)

Master-Projekt
Object recognition and tracking for Sick Robot Day 2016

Vergeben an: Robert Grönsfeld (seit Oktober 2015)