Einführung in die Methoden der Künstlichen Intelligenz - Goethe ...

3.7 DPLL-Verfahren
Dies ergibt eine Klauselmenge (doppelte sind schon eliminiert):
1. H, S, M
2. ¬H, ¬S
3. ¬H, ¬M
4. ¬S, ¬M
5. S, ¬H
6. H, ¬M
Wir können verschiedene Verfahren zur Lösung verwenden.
1. Resolution ergibt: 2+5 : ¬H, 3+6 : ¬M. Diese beiden 1-Klauseln mit 1 resolviert ergibt: S.
Nach Prüfung, ob {¬H, ¬M, S} ein Modell ergibt, können wir sagen, dass der Schnapphase
schuldig ist.
2. DPLL: Wir verfolgen nur einen Pfad im Suchraum:
Fall 1: S = 0. Die 5-te Klausel ergibt dann ¬H. Danach die 6te Klausel ¬M. Zusammen
mit (den Resten von) Klausel 1 ergibt dies ein Widerspruch.
Fall 2: S = 1. Dann bleibt von der vierten Klausel nur ¬M übrig, und von der zweiten
Klausel nur ¬H. Diese ergibt somit das gleiche Modell.
Beispiel 3.7.3. Eine Logelei aus der Zeit: Abianer sagen die Wahrheit, Bebianer Lügen. Es gibt
folgende Aussagen:
1. Knasi: Knisi ist Abianer.
2. Knesi: Wenn Knösi Bebianer, dann ist auch Knusi ein Abianer.
3. Knisi: Wenn Knusi Abianer, dann ist Knesi Bebianer.
4. Knosi: Knesi und Knüsi sind beide Abianer.
5. Knusi: Wenn Knüsi Abianer ist, dann ist auch Knisi Abianer.
6. Knösi: Entweder ist Knasi oder Knisi Abianer.
7. Knüsi: Knosi ist Abianer.
Eine offensichtliche Kodierung ergibt
A I
E (-OE => U)
I (U => -E)
O (E /\ UE)
M. Schmidt-Schauß & D. Sabel, Skript KI, WS 2012/13 103 Stand: 25. November 2012