Automatisiertes Planen und Handeln
----------------------------------
Dieses Modul bietet eine Einführung in verschiedene Methoden des automatisierten Planens und Handelns, welche von deterministischen und temporalen Methoden bis hin zu nicht-deterministischen und probabilistischen Methoden reichen. Daneben behandelt die Vorlesung auch Entscheidungstheorie als Grundlage für die probabilistische Methoden and nimmt außerdem neuere Entwicklungen in den Fokus, wie nachweislichen nützliches Handeln (provably beneficial acting) oder mensch-bewusstes Planen (human-aware planning).
Das Modul ist in so einer Weise aufgebaut, dass kein Vorwissen notwendig ist. Nichtsdestotrotz ist es hilfreich ein gutes Verständnis von Suchalgorithmen and ein grundlegendes Verständnis von Wahrscheinlichkeitstheorie und Logik zu haben, weil dann manche Formalisierungen weniger fremd aussehen.
Für die Übung ist der Plan eine Art Seminar zu machen, bei dem jede teilnehmende Person (oder jedes Team, sollten die Teilnehmendenzahlen zu groß werden) ein Thema erhält, welches im Selbststudium erarbeitet und dann den anderen Teilnehmenden präsentiert wird. Ein gehaltener Vortrag fungiert als Prüfungszulassung. Die Prüfung wird, sofern nicht anders in der ersten Vorlesung angekündigt, mündlich stattfinden. Eine Änderung ergibt sich nur, sollten sich außergewöhnlich viele Teilnehmende entscheiden das Modul zu belegen.
Die Veranstaltung wird ausschließlich auf Englisch angeboten.
Automated Planning and Acting
-----------------------------
This lecture presents methods of automated planning and acting, ranging range from deterministic and temporal methods to non-deterministic and probabilistic methods. Next to those methods, this lecture covers decision theory as the basis for probabilistic methods and also take a look at the most recent developments such as provably beneficial acting and human-aware planning.
The course is set up such that no prior knowledge is necessary. Nonetheless, it is beneficial to have a good grasp of search algorithms and a basic understanding of probability theory and logic as certain formalisations might not look as foreign if you are familiar with those.
For the exercise, the plan is to have a seminar-style exercise with each person (or team if the number of participants gets too large) getting a topic to discover on their own and present to their peers. This presentation doubles as the prerequisite for admission to the final exam. The final exam will be an oral exam, bar a different announcement during the first lecture, depending on the number of participants.
- Lehrende/r: Tanya Braun
- Lehrende/r: Sagad Hamid