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

5 Logisches Programmieren
mitteilung(X,normal) :- X < 4,!.
mitteilung(X,windig) :- X < 8,!.
mitteilung(X,stuermisch).
Beachte: Diese Implementierung sollte man nicht mit direkten Werten für die Ausgabe
aufrufen. Da z.B ?- mitteilung(3,windig) wahr wird. Im Gegensatz dazu ergibt
?- mitteilung(3,Y), Y=windig. falsch.
Es stimmt nun auch nicht mehr: Das Programm verhält sich mit Cuts genauso wie ohne
Cuts. Denn: Wenn wir die Cuts weglassen, erhalten wir
mitteilung(X,normal) :- X < 4.
mitteilung(X,windig) :- X < 8.
mitteilung(X,stuermisch).
Nun ergibt die Anfrage ?- mitteilung(3,Y), Y=windig. als Ergebnis true!.
Das Beispiel demonstriert, dass das Hantieren mit Cuts zu semantischen Problemen
führt, d.h. die Bedeutung der Programme kann sich ändern. Eine gute Programmierregel
ist es, Cuts nur dann einzusetzen, wenn das Weglassen der Cuts die logische Bedeutung
nicht ändert, da ansonsten die Verständlichkeit und Wartbarkeit der Programme schwieriger
wird.
Wir betrachten einige Beispiele zur Programmierung mit Cut:
Beispiel 5.3.7. Die Berechnung des Maximums zweier Zahlen kann wiefolgt in Prolog implementiert
werden:
max(X,Y,X) :- X >= Y.
max(X,Y,Y) :- Y < X.
Mit Cut kann man dies umschreiben zu:
max(X,Y,X) :- X >= Y,!.
max(X,Y,Y).
Allerdings sollte man dieses Prädikat nicht direkt mit dem Ergebniswert aufrufen, denn z.B.
?- max(3,1,1). ergibt wahr. Man sollte es daher in der Form ?- max(3,1,Z), Z=3. verwenden.
Beispiel 5.3.8. Wir haben bereits den Enthaltentest eines Elements in einer Liste programmiert:
member(X,[X|_]).
member(X,[_|Y]) :-
member(X,Y).
Mit Cut können wir dies effizienter programmieren als:
Stand: 7. Januar 2013 178 M. Schmidt-Schauß & D. Sabel, Skript KI, WS 2012/13