623.270 (19S) Artificial Intelligence - Planning and Scheduling

Sommersemester 2019

Anmeldefrist abgelaufen.

Erster Termin der LV
07.03.2019 10:00 - 12:00 , S.1.42
Nächster Termin:
06.06.2019 14:00 - 16:00 , S.1.42

Überblick

Lehrende/r
LV-Titel englisch
Artificial Intelligence - Planning and Scheduling
LV-Art
Vorlesung-Kurs (prüfungsimmanente LV )
Semesterstunde/n
2.0
ECTS-Anrechungspunkte
4.0
Anmeldungen
6 (30 max.)
Organisationseinheit
Unterrichtssprache
Englisch
mögliche Sprache/n der Leistungserbringung
Englisch
LV-Beginn
07.03.2019
eLearning
zum Moodle-Kurs

LV-Beschreibung

Intendierte Lernergebnisse

Students are able to represent typical planning problems in general formalisms like PDDL, action languages and temporal logics, 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

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), action languages and temporal logics. 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. In addition, the course addresses extended frameworks, such as temporal and conformant planning, where time scheduling or imperfect information, respectively, is incorporated into the planning process.

Erwartete Vorkenntnisse keine Anmeldevoraussetzung

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

Prüfungsinformationen

Beurteilungsschema

Note/Grade Benotungsschema

Position im Curriculum

  • Masterstudium Angewandte Informatik (SKZ: 911, Version: 13W.1)
    • Fach: Knowledge and Data Engineering (Wahlfach)
      • Current Topics in Artificial Intelligence ( 2.0h VK / 4.0 ECTS)
        • 623.270 Artificial Intelligence - Planning and Scheduling (2.0h VC / 4.0 ECTS)

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

Diese Lehrveranstaltung ist keiner Kette zugeordnet