623.618 (20S) Current Topics in Planning and Scheduling

Sommersemester 2020

Anmeldefrist abgelaufen.

Erster Termin der LV
05.03.2020 16:00 - 18:00 S.2.69 - Bitmovin On Campus
... keine weiteren Termine bekannt

Überblick

Diese Lehrveranstaltung wurde storniert
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

Liste der Termine wird geladen...

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

  1. 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)
  2. 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

Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.

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 Benotungsschema

Position 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

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

Diese Lehrveranstaltung ist keiner Kette zugeordnet