Clemens Beckstein

Klausur (120min) oder mündliche Prüfung (30min)

Ghallab, Malik; Nau, Dana; Traverso, Paolo: Automated Planning: Theo-ry and Practice, Morgan Kaufmann Publishers, 2004.

Russell, S.; Norvig, P.: Artificial Intelligence a modern approach. Pren-tice Hall, Second Edition, 2003, Chapters 4 (Search), 11 (Planning) and 12 (Applications of Planning).

Wilkins, D. E.: Practical Planning: Extending the Classical AI Planning Paradigm. San Mateo, Morgan Kaufmann Publishers, 1988.

keine

FMI-IN0013 Diskrete Strukturen I

FMI-IN0001 Algorithmen und Datenstrukturen

FMI-IN0005 Automaten und Berechenbarkeit

FMI-IN0070 Grundlagen der Modellierung und Programmierung

FMI-IN0118 Deklarative und Objektorientierte Programmierung

079 M.Sc. Informatik (PO-V. 2016): Wahlpflichtmodul (Vertiefung KSS; Vertiefung KIMA)

4 SWS Vorlesung/Übung

Planen stellt die Schlussfolgerungsseite des Handelns dar --- einen abstrakten und expliziten Denkprozess, durch den Elementarhandlungen aus einem Grundrepertoire ausgewählt und zu komplexen (Handlungs-) Plänen zusammengesetzt werden, die ein bestimmtes, vorgegebenes Ziel nach ebenfalls vorgegebenen Kriterien möglichst gut zu erreichen gestatten.

Automatisches Planen stellt das Teilgebiet der Künstlichen Intelligenz dar, in dem dieser Denkprozess mit Hilfe von Computern formal nachgebildet und automatisiert werden soll.

In der Vorlesung soll eine Einführung in Grundlagen und Techniken des rechnergestützten Planens gegeben werden.

• Vertrautheit mit zentralen Planungsalgorithmen und deren Anwen-dung in der Praxis
• Fähigkeit, konkrete Planungsprobleme angemessen formal zu modellieren und für deren Lösung ggf. anzupassende Planungsalgorithmen einzusetzen

keine