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

5.3 Implementierung logischer Programmiersprachen: Prolog
member(X,[X|_]) :-!.
member(X,[_|Y]) :- member(X,Y).
Wenn die erste Klausel erfolgreich war, muss die zweite nicht mehr betrachtet werden.
Beachte: Die alte Version liefert bei Anfrage ?- member(X,[1,2,3]). drei verschiedene Lösungen
X = 1 ; X = 2 ; X = 3. Die Version mit Cut liefert nur eine X = 1.
Beispiel 5.3.9. Ein if-then-else ist eigentlich nicht darstellbar in purem Prolog. Mit dem Cut-
Operator kann dies jedoch programmiert werden als
ifthenelse(B,P,Q) :- B,!,P.
ifthenelse(B,P,Q) :- Q.
Beispiel 5.3.10. Das folgende Beispiel soll nochmal verdeutlichen, dass der Cut-Operator semantikverändernd
ist. Betrachte das Programm
p :- a,b.
p :-c.
Die logische Bedeutung ist (a ∧ b =⇒ p) ∧ (c =⇒ p). Drehen wir die Reihenfolge der
Programmklauseln um, so ändert sich an der Bedeutung nichts. Betrachten wir nun die Variante
mit cut:
p :- a,!,b.
p :-c.
Die logische Bedeutung ist nun (a ∧ b =⇒ p) ∧ (¬a ∧ c =⇒ p), da die zweite Klausel nur bei
¬a betrachtet wird.
Umdrehen der Klauseln ergibt:
p :-c.
p :- a,!,b.
Die logische Bedeutung ist nun anders: (c =⇒ p) ∧ (a ∧ b =⇒ p).
5.3.7 Negation: Die Closed World-Annahme
In Prolog kann man in Programmklauseln keine Negation verwenden, da die Programmklausel
A ⇐ ¬B der Klausel {A, B} entspräche, die keine definite Klausel mehr ist, da
sie zwei positive Literale enthält. Trotzallem gibt es in Prolog einen not-Operator. Dessen
Semantik ist jedoch nicht die logische Negation, sondern wird als Fehlschlagen der
Suche interpretiert. Wir betrachten als Beispiel die Aussage: Maria mag alle Tiere außer
Schlangen. Den ersten Teil der Aussage können wir durch
M. Schmidt-Schauß & D. Sabel, Skript KI, WS 2012/13 179 Stand: 7. Januar 2013