Die Hörer werden eine tiefgreifendes Verständnis des Standes der Technik im automatisierten Planen entwickeln, sowie einen Überblick über die wichtigsten Methoden in diesem Gebiet erhalten, und werden zudem Fertigkeiten erlernen, um diese Techniken in der Praxis anwendbar zu machen

Die Lehrveranstaltung bietet eine Einführung in das Gebiet des Planens in Artificial Intelligence, mit besonderem Augenmerk auf logikbasierte Methoden, Wissensrepräsentation in temporalen Problemstellungen und Nondeterminismus. Die wichtigsten Algorithmen und verfügbare Systeme werden ebenfalls behandelt. Nach Rücksprache mit den Studenten wird eine kleine Anzahl spezialisierter Themen vertiefend analysiert.

Die Lehrveranstaltung wird geblockt abgehalten. Terminvereinbarung in der Vorbesprechung.

Mündliche Prüfung oder Seminar