Dozenten: Dr. Malte Helmert und Prof. Dr. Bernhard Nebel
Übungen: Gabriele Röger und Patrick Eyerich
Termine
Vorlesung: Dienstag 11:15-13:00 und Freitag 11:15-12:00
Übungen: Freitag 12:15-13:00
Ort
Vorlesung: Gebäude 082, Raum 00-006 (Kinohörsaal)
Übungen: Gebäude 082, Raum 00-006 (Kinohörsaal) und Gebäude 051, Raum 00-031
Sprache
Die Vorlesung wird auf Deutsch gehalten, die Vorlesungsfolien sind in englischer Sprache. Übungen und Klausur sind in deutscher Sprache gestellt und können in beiden Sprachen bearbeitet werden.
Vorlesungsinhalt
Die Vorlesung bietet eine detaillierte Einführung in die Techniken, die die Grundlage moderner Systeme zur Handlungsplanung bilden. Dabei befassen wir uns sowohl mit der klassischen Handlungsplanung (deterministische Aktionen, volle Beobachtbarkeit) als auch mit allgemeineren Arten der Handlungsplanung (konformantes Planen, konditionales Planen).
Führende Planungsalgorithmen werden im Detail behandelt:
- Suchverfahren; Progression und Regression
- Heuristische Suche, allgemeine Heuristiken für Planungsprobleme
- Planen als Erfüllbarkeitsproblem
- Planen als Modellprüfung mit binären Entscheidungsdiagrammen (BDDs)
Voraussetzungen
Die Veranstaltung richtet sich an Diplom-Studenten und Nebenfächler im Hauptstudium sowie an Bachelor- und Master-Studenten (Informatik und Applied Computer Science).
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 sind von Vorteil.
Übungen und Prüfungen
Diplomstudenten im Fach Informatik können in dieser Vorlesung einen benoteten Schein erwerben. Masterstudenten im Fach Informatik können die Veranstaltung als Spezialvorlesung im Vertiefungsgebiet Künstliche Intelligenz und Robotik anrechnen lassen. Voraussetzung ist dafür jeweils das Bestehen der Klausur gegen Ende der vorlesungsfreien Zeit.
Studenten im Bachelor-Studiengang Informatik oder im Master-Studiengang Applied Computer Science können zwar ebenfalls an der Klausur teilnehmen, das Ergebnis ist aber für ihr Studium ohne Bedeutung! Bei diesen Studiengängen zählt die Vorlesung als Spezialvorlesung im Vertiefungsgebiet Künstliche Intelligenz und Robotik und kann als solche nur im Rahmen einer mündlichen Prüfung als Studienleistung angerechnet werden. Mündliche 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.
Während des Semesters werden wöchentlich theoretische Übungen (Aufgaben) und in unregelmäßigen Abständen praktische Übungen (Projekte) gestellt. Die Bearbeitung der Übungen ist für die Teilnahme an der Abschlussprüfung (mündlich oder schriftlich) nicht verpflichtend, wird aber zum Verständnis und zur Vertiefung des Stoffs dringend empfohlen. Außerdem können dabei nach folgenden Regeln Bonuspunkte für die Abschlussprüfung erworben werden:
-
Bis zu 10 Bonuspunkte können durch Bearbeitung der Aufgaben erworben werden. Um überhaupt Bonuspunkte zu erhalten, sind mindenstens 50% der erreichbaren Punkte nötig. Je fünf weitere Prozentpunkte jenseits dieser Grenze ergeben einen Bonuspunkt.
-
Ebenfalls bis zu 10 Bonuspunkte können in den Projekten erworben werden. Für jedes vollständig bearbeitete Projekt gibt es eine bestimmte Zahl an Bonuspunkten (je nach Umfang; normalerweise 2-4). Jeder Vorlesungsteilnehmer kann an beliebig vielen Projekten teilnehmen und so Bonuspunkte aufaddieren, aber die Maximalzahl an Bonuspunkten aus Projekten ist auf 10 beschränkt.
-
Je 10 Bonuspunkte entsprechen einer Drittelstufe in der mündlichen Prüfung oder Klausur, also beispielsweise einer Verbesserung von der Note 2,0 auf die Note 1,7.
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.
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.
