FH-Hof Künstliche Intelligenz - Suchbäume Richard Göbel
FH-Hof Allgemeine Aufgabenstellung Startzustand Menge der Folgezustände für einen beliebigen Zustand Zielzustände
FH-Hof Beispiel: Automatisches Beweisen Startzustand: Menge der Axiome Menge der Folgezustände: Schlussregeln Endzustand: zu beweisende Aussage
FH-Hof Beispiel: Konstruktionsexperte Startzustand: Bauteile Folgezustände: Konstruktionsregeln Endzustand: zu konstruierendes Gerät
FH-Hof Beispiel: Puzzle lösen
FH-Hof Allgemeiner Ansatz – General Problem Solver Erzeuge den Wurzelknoten zur Darstellung des Startzustands Wähle einen Knoten aus und erzeuge einen Kindknoten für jeden Folgezustand Überprüfe ob ein Knoten mit einem Endzustand erreicht wurde Bei Bedarf: Wähle den Knoten mit dem besten Endzustand aus
FH-Hof Beispiel: Lösen eines Puzzle
FH-Hof Elementare Suchverfahren Depth First Search:... zuerst in die Tiefe und danach in die Breite... Breadth First Search... Zuerst in die Breite und danach in die Tiefe... British Museum: alle Nachfolger erzeugen
FH-Hof Elementare Verfahren – Depth First Search
FH-Hof Elementare Verfahren – Breadth First Search
FH-Hof Heuristische Bewertungsfunktion Gibt für jeden Zustand den geschätzten Abstand zum Ziel an Beispiel: Zähle die Anzahl der falschen Positionen von Zahlen für das Puzzle Anzahl falscher Positionen: 3
FH-Hof Beispiel: Lösen des Puzzle mit Bewertungsfunktion
FH-Hof Verfahren mit Bewertungsfunktion Hill Climbing Wähle den Weg (Kindknoten) des aktuellen Knotens, der den kürzesten Weg zum Ziel repräsentiert Wähle einen alternativen Weg falls keine (optimale) Lösung gefunden wurde (Backtrack) Best First Search Wähle den Knoten mit der besten Bewertung aus allen bisher betrachteten Knoten
FH-Hof Hill Climbing - Beispiel
FH-Hof Best First Search - Beispiel
FH-Hof Kostenfunktion zur Bewertung einer Lösung Gesamtbewertung ergibt sich aus den tatsächlichen Kosten + dem geschätzten Abstand zum Ziel Abstandsfunktion ist admissive, wenn sie den tatsächlich Abstand nie überschätzt. Best First Search liefert für eine solche Abstandsfunktion immer die optimale Lösung Bezeichnung: A*