Handlungsplanung - Übersicht
Dozenten: Prof. Dr. Bernhard Nebel und Dr. Robert Mattmüller
Übungen: Dr. Robert Mattmüller
Termine
Vorlesung: Mittwoch 10:15-12:00 und Freitag 10:15-11:00.
Übungen: Freitag 11:15-12:00.
Prüfung: Montag, 18. März 2013, und evtl. Dienstag, 19. März 2013.
Ort
Vorlesung: Gebäude 101, Seminarraum 00-010/14.
(Ausnahme: Fr., 15.02.2013 in Gebäude 051, Seminarraum 00-031.)
Übungen: Gebäude 101, Seminarraum 00-010/14.
(Ausnahme: Fr., 15.02.2013 in Gebäude 051, Seminarraum 00-031.)
Prüfung: mündlich, Büro Prof. Dr. Bernhard Nebel,
d.h. Gebäude 052, Raum 00-029.
Sprache
Die Vorlesung wird auf Englisch gehalten. Die Vorlesungsfolien sind in englischer Sprache. Übungen können auf Deutsch oder Englisch bearbeitet werden.
Vorlesungsinhalt
Die Vorlesung bietet eine detaillierte Einführung in die theoretischen und algorithmischen Grundlagen moderner Systeme zur klassischen Handlungsplanung. Im Detail behandelt werden:
- Formalisierung des Planungsproblems
- Planen als Suche; Progression und Regression
- Suboptimales heuristisches Planen mit Relaxierungsheuristiken
- Optimales heuristisches Planen mit Abstraktionsheuristiken
- Nichtdeterministisches und probabilistisches Planen
- Theoretische Komplexität des Planens
Ferner wird voraussichtlich noch mindestens eines der folgenden Themen behandelt:
- Berechnung und Verwendung von Invarianten
- Optimales Planen als Modellprüfung mit binären Entscheidungsdiagrammen (BDDs)
- Planen als Erfüllbarkeitsproblem
Voraussetzungen
Die Veranstaltung richtet sich in erster Linie an Master-Studenten in den Fächern Informatik und Angewandte Informatik, aber auch an Bachelor-Studenten im dritten Studienjahr und Nebenfächler mit entsprechenden Vorkenntnissen.
Aus der theoretischen Informatik sollte man die wesentlichen Konzepte der Komplexitätstheorie (NP-Vollständigkeit, polynomielle Reduktionen) mitbringen. Aus der Vorlesung Grundlagen der Künstlichen Intelligenz sollte man die grundlegenden Suchverfahren (Tiefensuche, Breitensuche, heuristische Suche mit A* oder gieriger Bestensuche) kennen. Kenntnisse in (Aussagen-) Logik werden vorausgesetzt.
Prüfung
Bachelor- und Masterstudenten im Fach Informatik und Studenten im Master-Studiengang Angewandte Informatik (Applied Computer Science) können die Veranstaltung als Spezialvorlesung im Vertiefungsgebiet Künstliche Intelligenz und Robotik (bzw. kognitive technische Systeme) anrechnen lassen. Voraussetzung ist im Bachelor-Studiengang das Bestehen einer mündlichen Prüfung, im Master-Studiengang je nach Teilnehmerzahl das Bestehen einer schriftlichen oder mündlichen Prüfung. Die Prüfungen werden nach Vereinbarung in der vorlesungsfreien Zeit nach dem Vorlesungssemester abgehalten.
Bei Nebenfächlern im Fach Informatik hängen die Prüfungsregelungen vom jeweiligen Studiengang ab und sollten daher individuell besprochen werden.
In dieser Vorlesung können 6 Kreditpunkte erworben werden.
Übungen und Zulassungsvoraussetzung zur Prüfung
Während des Semesters werden wöchentlich theoretische Übungen (Aufgaben) und in unregelmäßigen Abständen praktische Übungen (Projekte) gestellt. Um zur Teilnahme an der Abschlussprüfung zugelassen zu werden, muss man mindestens 50% der Übungen (Aufgaben und Projekte) sinnvoll bearbeitet haben. Dabei zählt ein Projekt wie zwei theoretische Übungsblätter.
Aufgaben und Projekte können und sollten in Gruppen von je zwei Studenten bearbeitet werden. Größere Gruppen und abgeschriebene oder kopierte Lösungen werden nicht akzeptiert und führen im Wiederholungsfall zur Nichtzulassung zur Abschlussprüfung.
Vorlesungsmaterial
Die Vorlesungsfolien werden im Laufe des Semesters auf der Vorlesungsseite bereit gestellt. Weiterführende und ergänzende Texte zu den Inhalten der Vorlesung sind von der Literaturseite aus verlinkt. Es gibt kein Buch oder Skript zur Vorlesung.
Die Vorlesung wird nicht aufgezeichnet.