Diese Seite auf DE

Modul

Automated Planning and Scheduling [M-INFO-104447]

Credits
5
Recurrence
Unregelmäßig
Duration
1 Semester
Language
English
Level
4
Version
1

Responsible

Organisation

  • KIT-Fakultät für Informatik

Part of

Bricks

Identifier Name LP
T-INFO-109085 Automated Planning and Scheduling 5

Competence Certificate

See partial achievements (Teilleistung) 

Competence Goal

  • The students will be able to model various planning tasks in the PDDL language and solve them using off-the-shelf planners.
  • The students will understand the approaches used in automated planning and scheduling algorithms, which will allow them to efficiently model and solve real world planning and scheduling problems by selecting the proper algorithms for the given task.

Prerequisites

See partial achievements (Teilleistung) 

Content

The course offers an introduction to the methods and techniques used in automated planning and scheduling. The course is focused on classical deterministic planning, i.e., planning in a fully observable deterministic environment. The students will learn how to use automated planners and schedulers and also how they work. The topics covered in the lecture include:

  • applications of automated planning in artificial intelligence
  • formalization of planning problems and the PDDL language
  • computational complexity of planning and scheduling
  • basic state space search algorithms (forwards/backwards search)
  • heuristic search algorithms and planning heuristics
  • plan space planning
  • planning graph and the graph plan algorithm
  • satisfiability based planning
  • hierarchical task network planning
  • classical scheduling approaches
  • constraint-based scheduling
  • planning for virtual agents in computer games

Workload

2 SWS lecture + 1 SWS exercises
(Preparation and follow-up time: 4h/week for lecture plus 2h/week for exercises; exam preparation: 15h)
Total workload: (2 SWS + 1 SWS + 4 SWS + 2 SWS) x 15h + 15h exam preparation = 9x15h + 15h = 150h = 5 ECTS