Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

29
Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp

Transcript of Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Page 1: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

SpezialvorlesungSuchalgorithmen

Thema:

External Probabilistic Planning

Stefan Edelkamp

Page 2: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Struktur des Buchs

Page 3: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Überblick

Uniformes Suchmodell Value Iteration Externe Value Iteration

Page 4: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Ü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]

Page 5: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Ü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]

Page 6: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Ü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]

Page 7: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Ü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]

Page 8: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Ü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]

Page 9: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Ü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]

Page 10: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Ü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]

Page 11: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Ü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]

Page 12: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Ü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]

Page 13: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Ü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]

Page 14: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Übersicht

Probabilistische Suche (31.1.2007)

Buch: Kapitel 11. Adversary Search Literaturhinweise:

Sutton "Reinforcement Learning"

Page 15: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Uniformes Suchmodell:Gegeben/Gesucht

Zustandsraum:

Kosten:

Ziel:

Page 16: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Uniformes Suchmodell:Nachfolger

Deterministisch

Nicht-Deterministisch

Probabilistisch

Page 17: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Uniformes Suchmodell:

Deterministisch

Nicht-Deterministisch

Probabilistisch

Page 18: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Uniformes Suchmodell:Bellmann-Gleichung

Optimale Wertfunktion

Optimale Strategie

Page 19: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Uniformes Suchmodell:Wertiteration

Page 20: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Externe Wertiteration

Kante

Page 21: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Externe Wertiteration:Vorwärtsphase

Page 22: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Beispielgraph

Page 23: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Update-Phase:

Page 24: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Fallstudie: Lesen von (u,v,a,c(u,v),h(v)) Opent

Page 25: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Backward-Phase

Page 26: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Komplexität

Page 27: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Ergebnisse: Deterministische Handlungsplanung

Page 28: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.

Nichtdeterministisch:8-Puzzle

4x3 Puzzle: 58 GB

Page 29: Spezialvorlesung Suchalgorithmen Thema: External Probabilistic Planning Stefan Edelkamp.