Arbeitsbereich WSVFachbereich InformatikUniversität Hamburg
18.060 Proseminar: Wissensbasiertes Planen
Veranstalter
Christopher Habel
Hedda Schmidtke
Zeit/Ort
Mo 14-16 F-334 !Anmeldung elektronisch oder bei den VeranstalterInnen!
Inhalt
Eine der wesentlichen Voraussetzungen für erfolgreiches Handeln und Problemlösen ist, seine Handlungen vorher zu planen (und gegebenenfalls die Pläne später, d.h. während der Planausführung, zu modifizieren. Das Informatikteilgebiet "Automatisches Planen" umfasst die Konzeption und Realisierung von Verfahren, die entsprechende Fähigkeiten auch für Informatiksysteme bereitstellen. Planungskomponenten werden gegenwärtig überwiegend als Assistenzsysteme realisiert, d.h. zur Unterstützung von NutzerInnen, zunehmend sind sie aber auch zentrale Komponenten in autonomen Systemen (Agenten, Robotern), etwa bei der Deep Space 1 Mission der NASA.
Im Proseminar werden einige grundlegende Fragen des maschinellen Planens an Beispielen aus den wichtigsten Anwendungsbereichen - Handlungsplanung und Navigation (Routenplanung) sowie Ressourcenplanung (insbesondere Zeitplanung und Scheduling) - vorgestellt und diskutiert.
Termine
18.10.2004
Einleitung und Motivation
Folien der VeranstalterInnen
Folien der ersten Vorlesung des Kurses Automated Planning: Theory and Practice von Malik Ghallab, Dana Nau, Paolo Traverso bei der 14th European Summer School in Logic, Language, and Information (ESSLLI), 5 -- 16 August 2002, Trento, Italy. Link
25.10.2004
Maschinelles Planen: Eine Einleitung
Schneeberger, Josef (2000). Planen. In Görz, Günther; Rollinger, Claus-Rainer & Schneeberger, Josef (Hrsg.): Handbuch der Künstlichen Intelligenz. Oldenbourg Verlag: München. 491-515.

Text zur Vorbereitung der Sitzung bei den VeranstalterInnen erhältlich.
01.11.2004
Planen und Problemlösen
  • Russell, Stuart & Norvig, Peter (2003). Artificial intelligence: A modern approach. Upper Saddle River, NJ: Prentice Hall - Pearson. [chapt 3: 3.1 - 3.4; pp. 59-83] bzw.
  • Russell, Stuart & Norvig, Peter (2004). Künstliche Intelligenz: Ein moderner Ansatz. München - Pearson. [Kap 3: 3.1 - 3.4; pp. 89-114]
Literatur

Hier folgt eine Literaturauswahl zu weiteren Themen (Reihenfolge und Terminplan werden noch festgelegt).
  1. Newell, A. & Simon H. A. (1963). GPS, a program that simulates human thought. In E. A. Fiegenbaum and J. Feldman (Eds.). Computers and Thought. (pp. 279-293.) New York: McGraw Hill.
  2. Fikes, R. E.; Hart, P. E. & Nilsson, N. J. (1971). STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 3. 251-288.
  3. Hendler, James A.; Tate, Austin & Drummond, Mark (1990). AI Planning: Systems and Techniques. AI Magazine, 11. 61-77.
  4. Weld, D. S. (1994). An Introduction to Least Commitment Planning.
    AI Magazine, 15. 27-61.
  5. Kambhampati, Subbarao (1997). Refinement planning as a unifying framework for plan synthesis. AI Magazine, 18. 67-97.
  6. Weld, D. S. (1999). Recent advances in AI planning. AI Magazine, 20. 93-123.
  7. Ferguson, George; Allen, James & Miller, Brad (1996). TRAINS-95: Towards a Mixed-Initiative Planning Assistant. In Proceedings of Third Conference on Artificial Intelligence Planning Systems (AIPS-96), Edinburgh, Scotland, 29-31 May, 1996, 70-77.