Académique Documents
Professionnel Documents
Culture Documents
Folie 1
Kapitel III
INFORMIERTE SUCHE
29/04/2011
Folie 2
KI
Suchen
(un-)informiert lokal adversial Mit Unsicherheit
Lernen
Bayessch Instanzbasiert Entscheidungsbume Neuronale Netze
Schlieen
Prolog Fuzzy-Logik Bayessche Netze
29/04/2011
Folie 3
http://de.wikipedia.org/wiki/Kolshorn
29/04/2011
Folie 4
Intelligenter
Suche unter Einbeziehung von Wissen, informierte Suche
29/04/2011
Folie 5
Suche nach einer intelligenten Lsung Kostenbasierte Suche (uniform cost search)
hnlich wie Breitensuche, aber statt der Tiefe wird anhand einer Kostenfunktion bestimmt, welche Nachfolger gewhlt werden sollen Es wird der Knoten expandiert, fr den die Kosten von der Wurzel zum Knoten am geringsten sind
Fr Kosten von 1 fr alle Zustandsbergnge ergibt sich der gleiche Ablauf wie fr Breitensuche
Zhlt zu UNINFORMIERTER Suche, aber schne Motivation fr die nchsten Algorithmen ...
29/04/2011
Folie 6
Suche nach einer intelligenten Lsung Kostenbasierte Suche (uniform cost search)
Lbeck
Entfernung / Kosten
70 100
Hamburg
70 90 100 120
Rostock
Lbeck
170 70
100 120
Wittstock
70 100 170 110 120
110
Magdeburg
Hamburg
Hamburg
Hamburg
Hamburg
Hamburg
Hamburg
Rostock
Rostock
Rostock
350
330
Rostock
Mnster
Kassel
Berlin
Berlin
29/04/2011
Folie 7
Optimalitt:
Ja, falls alle Kosten > 0
Test auf Ziel erst wenn der Knoten aus der Fringe entnommen wird! Warum? Auerdem Aktualisierung der Kosten (fr das Erreichen der Zustnde) in der fringe
29/04/2011
Folie 8
Raumkomplexitt: O(b(C/e))
Im worst case mssen die Knoten mit der Tiefe C/e gespeichert werden
29/04/2011
Folie 9
>> e d'
29/04/2011 Folie 10
29/04/2011 Folie 11
Suche nach einer intelligenten Lsung Allgemeiner Ansatz zur informierten Suche: Best-First Search
Der jeweils bzgl. einer Bewertungsfunktion f (n) beste Knoten in der fringe wird expandiert (=> fringe ist eine Priorittswarteschlange)
Bewertungsfunktion f(n) setzt sich aus Heuristik h(n) und bekannten Kosten g(n) zusammen h(n) sind die geschtzten Kosten von n zum Ziel
29/04/2011 Folie 12
A* Search
f(n) = g(n) + h(n)
29/04/2011 Folie 13
Suche nach einer intelligenten Lsung Problem: Fahre von Lbeck nach Berlin
Echte Kosten
Kiel Lbeck Rostock
Heuristik
LuftLinie
94
Bremen
120 130
Wittstock
65
Hamburg
165
141
Hannover
106
Magdeburg
Berlin
189
Mnster
148
Kassel
Leipzig
110
Dresden
29/04/2011 Folie 14
94
Bremen
120 130
Wittstock
65
Hamburg
165
141
Hannover
106
Magdeburg
Berlin
189
Mnster
148
Kassel
Leipzig
110
Dresden
29/04/2011 Folie 15
94
Bremen
120 130
Wittstock
65
Hamburg
165
141
Hannover
106
Magdeburg
Berlin
189
Mnster
148
Kassel
Leipzig
110
Dresden
29/04/2011 Folie 16
94
Bremen
120 130
Wittstock
65
Hamburg
165
141
Hannover
106
Magdeburg
Berlin
189
Mnster
148
Kassel
Leipzig
110
Dresden
29/04/2011 Folie 17
94
Bremen
120 130
Wittstock
65
Hamburg
Vollsperrung 106
Berlin
165
141
Hannover
Magdeburg
189
Mnster
148
110 In Wittstock wird klar, dass es nicht weiter geht, Dresden der nchstbeste Knoten ist Rostock, und dann
Kassel
Leipzig
29/04/2011 Folie 18
Optimalitt:
Nein, siehe Beispiel: die Kosten zum ersten Nachbarn sind kein Indikator fr die Kosten des Pfades
29/04/2011 Folie 19
Raumkomplexitt: O(bm)
Im worst case werden alle Blattknoten in die fringe aufgenommen
29/04/2011 Folie 20
120 + 193
94 65 + 254 112
Bremen
120 130
Wittstock
65
Hamburg
181 106
Berlin
149
165
141
Hannover
Magdeburg
189
Mnster
148
Kassel
Leipzig
110
Dresden
29/04/2011 Folie 21
240 + 234
Lbeck
Rostock
94 65 + 254 112
Bremen
120 130
Wittstock
65
Hamburg
181 106
250 + 93
Berlin
149
165
141
Hannover
Magdeburg
189
Mnster
148
Kassel
Leipzig
110
Dresden
29/04/2011 Folie 22
Kiel
Lbeck
Rostock
94
Bremen
120
130
Wittstock
65
Hamburg
246+ 93 106
Berlin
165
Hannover
141 148
Magdeburg
189
Mnster
Kassel
Leipzig
110
Dresden
29/04/2011 Folie 23
Kiel
Lbeck
Rostock
Bremen
94 112
120
130
Wittstock
65
Hamburg
181 106
Berlin
149
165
Hannover
141 148
Magdeburg
144 116
Mnster
Kassel
Leipzig
110
Dresden
29/04/2011 Folie 24
29/04/2011 Folie 25
29/04/2011 Folie 26
Form hngt von h ab. Wenn h(n) := 0 spielen nur entstandene Kosten eine Rolle wie sehen die Konturen aus?
Russell / Norvig: : Artificial Intelligence - A Modern Approach, 2nd edition. Pearson Education, 2003
29/04/2011 Folie 27
Optimalitt:
Fr Tree-Search bei zulssiger Heuristik Fr Graph-Search wenn krzester Pfad zu jedem Knoten gespeichert oder konsistente Heuristik (Anmerkung: wenn nicht der krzeste Pfad gespeichert wird, knnte ein besserer Wert berschrieben werden)
29/04/2011 Folie 28
Raumkomplexitt: O(bd)
Im worst case alle Zustnde betrachtet
d(z*) sei Tiefe der Lsung; grobe Abschtzung, eigentlich fliet Fehler der Heuristik ein
29/04/2011 Folie 29
Potentielles Problem bei groen Suchrumen: Fringe wchst bis Arbeitsspeicher voll ist.
29/04/2011 Folie 30
Ideen:
IDA*:
statt speichern der Knoten, iterative deepening search
29/04/2011 Folie 31
Ursprngliches f = g + h
Neue Schtzungen fr f
Russell / Norvig: : Artificial Intelligence - A Modern Approach, 2nd edition. Pearson Education, 2003
29/04/2011 Folie 32
Der Knoten ist nicht gespeichert! Aber via Sibiu (Rekursion) kann der Knoten mit dem besseren f-Wert wiedergefunden werden
Russell / Norvig: : Artificial Intelligence - A Modern Approach, 2nd edition. Pearson Education, 2003
29/04/2011 Folie 33
Russell / Norvig: : Artificial Intelligence - A Modern Approach, 2nd edition. Pearson Education, 2003
29/04/2011 Folie 34
Abbruch repeat best <- the lowest f-value node in successors if best.f > f_limit then return failure, best.f alternative <- the second-lowest f-value among successors result, best.f <- RBFS(problem, best, min(f_limit, alternative)) if result != failure then return result
Russell / Norvig: : Artificial Intelligence - A Modern Approach, 2nd edition. Pearson Education, 2003
29/04/2011 Folie 35
29/04/2011 Folie 36
29/04/2011 Folie 37
29/04/2011 Folie 38
29/04/2011 Folie 39
29/04/2011 Folie 40
29/04/2011 Folie 41
29/04/2011 Folie 42
Manhattan Abstand schtzt die Kosten besser (entspricht, abgesehen von Sackgasse, den wahren Kosten ...)
29/04/2011 Folie 43
29/04/2011 Folie 44
29/04/2011 Folie 45
29/04/2011 Folie 46
Heuristiken: Maximum-Heuristik Die perfekte Heuristik lst das eigentliche Suchproblem um h(n) zu berechnen Immer zwischen Aufwand fr das Berechnen der Heuristik und Aufwand fr das Lsen des Problems abwgen!
29/04/2011 Folie 47
29/04/2011 Folie 48
29/04/2011 Folie 49