623.618 (20W) Current Topics in Planning and Scheduling

Wintersemester 2020/21

Anmeldefrist abgelaufen.

Erster Termin der LV
05.10.2020 10:00 - 12:00 , online Off Campus
Nächster Termin:
09.11.2020 10:00 - 12:00 , online Off Campus

Überblick

Bedingt durch die COVID-19-Pandemie können kurzfristige Änderungen bei Lehrveranstaltungen und Prüfungen (z.B. Absage von Präsenz-Lehreveranstaltungen und Umstellung auf Online-Prüfungen) erforderlich sein.

Weitere Informationen zum Lehrbetrieb vor Ort finden Sie unter: https://www.aau.at/corona.
Lehrende/r
LV-Titel englisch
Current Topics in Planning and Scheduling
LV-Art
Vorlesung-Kurs (prüfungsimmanente LV )
LV-Modell
Onlinelehrveranstaltung
Semesterstunde/n
2.0
ECTS-Anrechnungspunkte
3.0
Anmeldungen
3 (12 max.)
Organisationseinheit
Unterrichtssprache
Englisch
mögliche Sprache/n der Leistungserbringung
Deutsch , Englisch
LV-Beginn
05.10.2020
eLearning
zum Moodle-Kurs
Anmerkungen

The course will be held online using Moodle for sharing teaching materials and BigBlueButton for session streaming. Please join the BigBlueButton sessions announced in the Moodle course (user or guest access): https://moodle.aau.at/course/view.php?id=29305

Zeit und Ort

Beachten Sie bitte, dass sich aufgrund von COVID-19-Maßnahmen die derzeit angezeigten Termine noch ändern können.
Liste der Termine wird geladen...

LV-Beschreibung

Intendierte Lernergebnisse

Students are able to represent typical planning problems in general formalisms like PDDL, understand the computational methods, particular advantages as well as disadvantages of common planning systems.

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 the planning domain definition language (PDDL). 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 like ASP, CSP and SAT.

Erwartete Vorkenntnisse

Basic knowledge of propositional and first-order logic as well as fundamental concepts of artificial intelligence, knowledge representation and reasoning

Literatur

  1. Haslum, P., Lipovetzky, N., Magazzeni, D., Muise, C.: An Introduction to the Planning Domain Definition Language. Morgan and Claypool, 2019.
  2. Helmert, M.: The Fast Downward Planning System. Journal of Artificial Intelligence Research 26: 191–246, 2006.
  3. Dimopoulos, Y., Gebser, M., Lühne, P., Romero, J., Schaub, T.: plasp 3: Towards Effective ASP Planning. Theory and Practice of Logic Programming 19(3): 477-504, 2019.
  4. Rintanen, J.: Planning as Satisfiability: Heuristics. Artificial Intelligence 193: 45-86, 2012.
  5. Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Morgan and Claypool, 2012.

Prüfungsinformationen

Prüfungsmethode/n

two to three practical assignments using domain-independent planning systems

Prüfungsinhalt/e

modeling and solving of planning problems based on the planning domain definition language

Beurteilungskriterien/-maßstäbe

correctness and comprehensiveness of supplied solutions to practical tasks

Beurteilungsschema

Note/Grade Benotungsschema

Position im Curriculum

  • Bachelorstudium Angewandte Informatik (SKZ: 511, Version: 19W.1)
    • 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

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

Diese Lehrveranstaltung ist keiner Kette zugeordnet