Planen und Scheduling
Vorlesung im SS 2006
Methoden des Planens und des Scheduling, d.h. der Ablaufplanung, werden
in Bereichen eingesetzt, in denen die Automatisierung oder effiziente
Benutzerunterstützung eine grosse Flexibilität des
Softwaresystems erfordert. Zahlreiche Planungs- und Schedulingsysteme
befinden sich bereits im industriellen Einsatz und haben dort zu
großen Effizienzsteigerungen geführt. Die Anwendungsfelder
umfassen dabei die Planung und Steuerung von Produktionsprozessen, die
Konstruktions- und Betriebsplanung für Satelliten und Raumsonden,
die Steuerung autonomer Roboter und intelligenter Netzagenten u.v.m.
Die Vorlesung befasst sich mit grundlegenden Planungs- und
Scheduling-Methoden, darunter
- Hierarchisches Planen
- Heuristisches Planen und Scheduling
- Planen mit Logik
- Graphbasiertes Planen,
entsprechenden Systemarchitekturen und den wichtigsten industriellen Anwendungen.
- Vorlesung:
- Dienstag, 14:00 - 15:30 Uhr, O27/3211
- Donnerstag, 12:30 - 14:00 Uhr, O27/3211
- Sprechstunde: nach der Vorlesung oder n.V.
- Übungen:
- Die Übungen finden 14-tägig donnerstags statt, erster Übungstermin ist Donnerstag, der 04.05.
Folienvorlagen
Übungsblätter
| 1. |
Übungsblatt |
PDF [47kB] |
| 2. |
Übungsblatt |
PDF [39kB] |
| 3. |
Übungsblatt |
PDF [52kB] |
| 4. |
Übungsblatt |
PDF [61kB] |
| 5. |
Übungsblatt |
PDF [44kB] |
| |
Das System Otter 3.0.5 und das Beispiel aus dem Übungsblatt. Wer es genau wissen will, konsultiert vielleicht das Handbuch.
Installation: Das Otter-Archiv entpackt sich in ein eigenes Unterverzeichnis und kann mit
>cd ~/otter-3.0.5/source
>make otter
>otter < input_file > output_file
installiert und aufgerufen werden (das ausführbare Programm liegt nach der Installation im source-Verzeichnis). Vorsicht: Die Zeichen < und > gehören mit zur Eingabe! |
| 6. |
Übungsblatt |
PDF [43kB] |
Vordiplom in Informatik.
Grundkenntnisse in der Künstlichen Intelligenz, wie sie im Rahmen der
entsprechenden
Einführungsveranstaltung vermittelt werden, sind von Vorteil.
- M. Ghallab, D. Nau, P. Traverso: Automated Planning – theory and practice, Morgan Kaufmann, 2004.
- Q. Yang: Intelligent Planning – A Decomposition and Abstraction Based Approach, Springer, 1997.
- M. Zweben, M. S. Fox (Eds): Intelligent Scheduling, Morgan Kaufmann, 1994.
- S.J. Russell, P. Norvig: Artificial Intelligence – A Modern Approach, Prentice-Hall, 1995.
- G. Görz et al: Handbuch der Künstlichen Intelligenz, 3. Auflage, Oldenburg Verlag, 2000.
| Typ: |
Vorlesung im Hauptstudium (3V / 1Ü) |
| Leistungspunkte: |
6 |
| Kernfach: |
Praktische Informatik |
| Vertiefungsgebiet: |
Künstliche Intelligenz |
| Parallel- und Folgeveranstaltungen |
Als Folgeveranstaltungen werden Seminare, Individualpraktika und Diplomarbeiten zu Themen aus dem Bereich Planen und Scheduling, insbesondere Hierarchisches Planen und Netzagenten angeboten.
