623.618 (20S) Current Topics in Planning and Scheduling
Überblick
- LV-Titel englisch Current Topics in Planning and Scheduling
- LV-Art Vorlesung-Kurs (prüfungsimmanente LV )
- Semesterstunde/n 2.0
- ECTS-Anrechnungspunkte 3.0
- Anmeldungen 0 (25 max.)
-
Organisationseinheit
- Unterrichtssprache Englisch
- mögliche Sprache/n der Leistungserbringung Englisch
- LV-Beginn 05.03.2020
Zeit und Ort
LV-Beschreibung
Intendierte Lernergebnisse
Students are able to represent typical planning problems in general formalisms like PDDL (Planning Domain Definition Language) and ASP (Answer Set Programming), understand the computational methods, particular advantages as well as disadvantages of common planning systems and are aware of the most prominent extended frameworks for planning.
Lehrmethodik inkl. Einsatz von eLearning-Tools
Practical exercises and projects based on the concepts introduced in lecture sessions
Inhalt/e
The course presents basic and advanced concepts of modern general-purpose planning systems, ranging from algorithmic methods and translation techniques to scheduling aspects. Topics to investigate include representation formalisms for expressing planning problems, such as PDDL and ASP. We will inspect and exercise complementary solving algorithms and heuristics of corresponding domain-independent planning systems, which utilize state-space search methods or translate planning problems into constraint-based formalisms.
Erwartete Vorkenntnisse
Basic knowledge of propositional and first-order logic as well as fundamental concepts of artificial intelligence, knowledge representation and reasoning
Literatur
- Haslum, P., Lipovetzky, N., Magazzeni, D., & Muise, C.: An Introduction to the Planning Domain Definition Language. Morgan and Claypool, 2019. (e-book free for academic users)
- Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T.: Answer Set Solving in Practice. Morgan and Claypool, 2012. (e-book free for academic users)
Prüfungsinformationen
Prüfungsmethode/n
three practical implementation projects building on the contents of lectures
Prüfungsinhalt/e
representation of planning problems and plan search
Beurteilungskriterien/-maßstäbe
correctness and performance of implementations; comprehensiveness of documentation
Beurteilungsschema
Note BenotungsschemaPosition im Curriculum
- Bachelorstudium Angewandte Informatik
(SKZ: 511, Version: 19W.2)
-
Fach: Artificial Intelligence
(Wahlfach)
-
8.1 Artificial Intelligence (
0.0h XX / 12.0 ECTS)
- 623.618 Current Topics in Planning and Scheduling (2.0h VC / 3.0 ECTS) Absolvierung im 4., 5., 6. Semester empfohlen
-
8.1 Artificial Intelligence (
0.0h XX / 12.0 ECTS)
-
Fach: Artificial Intelligence
(Wahlfach)