spezialvorlesung suchalgorithmen thema: external probabilistic planning stefan edelkamp
TRANSCRIPT
SpezialvorlesungSuchalgorithmen
Thema:
External Probabilistic Planning
Stefan Edelkamp
Struktur des Buchs
Überblick
Uniformes Suchmodell Value Iteration Externe Value Iteration
Übersicht
Einführung (18.10.2006)
Buch: Kapitel 1-3 + 5. Suchalgorithmen und ihre Anwendungen.
Literaturhinweise: R. Jensen, R. E. Bryant, M. Veloso: "Set A*" [AAAI-02] R. Korf, A Felner: "Disjoint Pattern Database Heuristics" [ChipsChallengingChampions-02]
Übersicht Einzelzustandsraumsuche (25.10.2006)
Buch: Kapitel 4. Datenstrukturen. Literaturhinweise:
Elmasry et al. "Relaxed Weak-Queues" [Internet-06] R. Pagh, F. Rodler "Cuckoo Hashing" [ESA-01]
Buch: Kapitel 6-7. Speicherplatzbeschränkte Suche. Literaturhinweise:
Korf, Reid, Edelkamp "Time Complexity of Iterative-Deepening-A*" [AIJ-01] Zhou, Hansen: "Breadth-First Heuristic Search" [AIJ-06]
Übersicht
Symbolische Suche (15.11.2006)
Buch: Kapitel 8. Symbolic Search Literaturhinweise:
S. Edelkamp and F. Reffel. "OBDDs in Heuristic Search" [KI-98] S. Edelkamp. "Symbolic Pattern Databases" [ICAPS-02] S. Edelkamp. "Automated Creation of Pattern Databases Search Heuristics" [MOCHART-06]
Übersicht
Externe und Parallele Suche (8.11.2006)
Buch: Kapitel 9-10. External Search, Distributed Search Literaturhinweise: R. Zhou and E. Hansen. "Domain-independent structured
duplicate detection" [AAAI-06] Korf, Schultze: "Large-Scale Parallel Breadth-First Search"
[AAAI-06] S. Edelkamp and S. Jabbar. "Large-Scale Directed Model
Checking LTL" [SPIN-06] S. Edelkamp and S. Jabbar. "Cost-Optimal External Planning"
[AAAI-06]
Übersicht
Software Model Checking (22.11.2006)
Buch: Kapitel 18. Automated System Verification Literaturhinweise:
T. Mehler "Challanges and Applications of Assembly-Level Software Model-Checking" [Dissertation-06] S. Edelkamp, S. Jabbar D. Midzic, D. Rikowski and D. Sulewski "External Program Model Checking" [KI-07]
Übersicht Handlungsplanung (29.11.2007)
Buch: Kapitel 17. Action Plannning Literaturhinweise:
J. Hoffmann: "The Metric FF planning system: Translating 'Ignoring the delete list' to numerical state variables [JAIR-03] S. Edelkamp: "Taming numbers and duration in the model checking integrated planning system [JAIR-03] M. Helmert: "The Fast Downward planning system" [JAIR-06] S. Edelkamp: On the Compilation of Plan Constraints and Preferences [ICAPS-06]
Übersicht
Sequenzalignierung (6.12.2007)
Buch: Kapitel 22. Computational Biology Literaturhinweise:
S. Schrödl "An improved search algorithm for optimal multiple sequence alignment" [JAIR-05]
Übersicht
Realzeitsuche (13.12.2006)
Buch: Kapitel 11+21. Real-Time Search, Robotics
Literaturhinweise: R. Korf: "Real-Time Search" [AIJ] S. Koenig: "Agent-centered search" [AIJ-01] S. Koenig, M. Likhachev: "Real-time adaptive A*" [AAMAS-06]
Übersicht
Inkrementelle Suche (20.12.2006)
Buch: Kapitel 12+21. Incremental Search, Robotics
Literaturhinweise: M. Likhachev [Diss-05] M. Likhachev, Thrun et al. "ARA* - Theoretical Results" [TR]
Übersicht
Zweipersonenspielsuche (23.1.2007)
Buch: Kapitel 11. Adversary Search Literaturhinweise: K. Kahl "Maschinelle Lernverfahren für das Strategiespiel Hex" [Diplom-07] J. Hoffmann, J. Köhler "A new method to query and index sets" [IJCAI-99]
Übersicht
Probabilistische Suche (31.1.2007)
Buch: Kapitel 11. Adversary Search Literaturhinweise:
Sutton "Reinforcement Learning"
Uniformes Suchmodell:Gegeben/Gesucht
Zustandsraum:
Kosten:
Ziel:
Uniformes Suchmodell:Nachfolger
Deterministisch
Nicht-Deterministisch
Probabilistisch
Uniformes Suchmodell:
Deterministisch
Nicht-Deterministisch
Probabilistisch
Uniformes Suchmodell:Bellmann-Gleichung
Optimale Wertfunktion
Optimale Strategie
Uniformes Suchmodell:Wertiteration
Externe Wertiteration
Kante
Externe Wertiteration:Vorwärtsphase
Beispielgraph
Update-Phase:
Fallstudie: Lesen von (u,v,a,c(u,v),h(v)) Opent
Backward-Phase
Komplexität
Ergebnisse: Deterministische Handlungsplanung
Nichtdeterministisch:8-Puzzle
4x3 Puzzle: 58 GB