Seminar Handlungsplanung

Michael Beetz und Gerhard Lakemeyer

Photokopien jetzt verfuegbar!!! Die photokopierten Artikel sind jetzt im Sekretariat bei Frau Doelp verfuegbar und werden ab Ende Juli in der Informatik III Bibliothek aufbewahrt.

Dieses Seminar gibt einen Einblick in den aktuellen Forschungsstand und neue Forschungsrichtungen in der Anwendung von KI Planungstechniken, wie sie zum Beispiel zur Kontrolle von autonomen Robotern und Software Agenten eingesetzt werden. In dem Seminar werden alternative Charakterisierungen des Planungsproblems, Computermodelle zur L\"osung dieser Planungsprobleme und Aspekte der Einbettung von KI Planungsverfahren in autonomen Agenten besprochen.

Zeit und Raum: Do 15-17Uhr, A121, Beginn: 1. Semesterwoche

Vorbesprechung: Mo, 8. Juli, 13Uhr c.t., A207

Vortragsmodus: Einzelvortrag, schriftliche Ausarbeitung, regelm\"a\3ige Teilnahme.

Themen

• Grundlagen und Ueberblick
• Planen von Handlungssequenzen
• Schlussfolgern ueber Aktionen
• Klassische Planungssysteme
• Komplexitaet der Planung von Handlungssequenzen
• Suchtechniken fuer Handlungsplanung
• Planen mit partiell geordneten Plaenen
• GRAPHPLAN
• Planrevision
• Handlungsplanung mit weniger einschraenkenden Annahmen
• Planen mit ausdrucksstarken Aktionssprachen
• Planen mit ausdrucksstarken Plansprachen
• Planen mit Unsicherheiten
• Planen mit Sensor Aktionen
• Exemplarische Anwendungen der Handlungsplanung
• Handlungsplanung fuer Internetzanwendungen
• Handlungsplanung fuer autonome mobile Roboter
• Kontrolle autonomer Akteure: Manifestos

Vortraege

• "A Review of AI Planning Techniques"; Tate, Hendler, and Drummond; in: Readings in AI Planning.
• Robot Planning
• Introduction to Special Issue on Planning and Scheduling; AI Journal.
• Planning and Scheduling
• AI Planning: A Prospectus on Theory and Applications

• "Epistemological Problems ..."; McCarthy and Hayes; in: Readings in AI Planning.
• Shoham
• Yale Shooting Problem

• "GPS, A Program that Simulates Human Thought"; Newell and Simon; in: Readings in AI Planning.
• Green
• "STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving"; Fikes and Nilsson; in: Readings in AI Planning.
• ABSTRIPS

• The Computational Complexity of Propositional STRIPS Planning. Tom Bylander. Artificial Intelligence.
• Near-Optimal Plans, Tractability, and Reactivity. Bart Selman, Proceedings of the Fourth Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'94), Morgan Kaufmann, pp. 521--529.
• Erol, Nau
• Artificial Intelligence: A Computational Perspective. B. Nebel.

• SNLP
• An Introduction to Least Commitment Planning

• Fast Planning Through Graph Analysis
• Drew's Paper

• "The Virtuous Nature of Bugs"; Sussman; in: Readings in AI Planning.
• "The Roles of Associational and causal reasoning in problem-solving"; Simmons; in AI Journal.
• A Domain-independent Algorithm for Plan Adaptation; Hanks and Weld.

• ADL: Exploring the Middle Ground ...
• UCPOP.
• Actions with Indirect Effects (Preliminary Report). G. N. Kartha and V. Lifschitz, In Proceedings of the Fourth Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'94), Morgan Kaufmann, pp. 341-350, 1994.
• An Approach to Planning with Incomplete Information
• Sound and Efficient Closed-World Reasoning for Planning

• GOLOG: A Logic Programming Language for Dynamic Domains.
• Representing Action and Change by Logic Programs. M. Gelfond and V. Lifschitz, Journal of Logic Programming, vol. 17, pp. 301-321, 1993.
• DARPA WS
• RPL

• "An Algorithm for Probabilistic Planning"; AI Journal.
• "An Algorithm for Probabilistic Planning"; short version;
• "Reasoning about a Dynamic and Uncertain World"; tr93-06-10.
• Planning in Dynamic, Uncertain Domains.

• What is planning in the presence of sensing? H.J. Levesque. To appear in The Proceedings of the Thirteenth National Conference on Artificial Intelligence, AAAI-96, Portland, Oregon, August 1996.
• Probabilistic Planning with Information Gathering and Contingent Execution; short version.
• Probabilistic Planning with Information Gathering and Contingent Execution; AI Journal.
• Declarative Camera Control for Automatic Cinematography
• Representing Sensing Actions

• Planning-based Control of Software Agents
• A Softbot-based Interface to the Internet

• Transformational Planning of Reactive Behavior
• Improving Robot Plans During their Execution

• "The Thinking Computer"; Raphael; 275-288.
• "Shakey"; Nilsson.
• "In Defense of Logic"; Hayes.
• Intelligence without Reason

Relevante WWW Seiten

• Planen und Konfigurieren (GI FG-1.5.3)
• Index of /afs/cs.cmu.edu/project/ai-repository/ai/areas/agents/animals/