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

5.2 Semantik von Hornklauselprogrammen
X = maria ;
X = monika ;
false.
?- eltern(X,peter).
X = karl ;
X = elisabeth.
?- eltern(X,Y).
X = peter,
Y = maria ;
X = peter,
Y = monika ;
X = karl,
Y = peter ;
X = karl,
Y = pia ;
X = karl,
Y = paul ;
X = susanne,
Y = monika ;
...
Beachte: Variablen werden in Prolog beginnend mit Großbuchstaben oder _ geschrieben.
Prädikate und Funktionssymbole beginnen mit einem Kleinbuchstaben. Daher liefert die
Anfrage ?- eltern(karl,x). kein Ergebnis (x wird als Konstante interpretiert!).
5.2 Semantik von Hornklauselprogrammen
Wir werden zunächst allgemein die Semantik von Hornklauselprogrammen erörtern.
Prolog-Programme und -Interpreter basieren im Grunde auf dieser Semantik, nehmen
jedoch praktische Anpassungen vor, die auch die Semantik verändern. Daher werden wir
erst im Anschluss auf die Prolog-Semantik eingehen und die Unterschiede herausstellen.
Wir betrachten zunächst die SLD-Resolution für Hornklauselprogramme erneut, und
bauen den Antwortmechanismus mit ein. Bei der Resolution sind die Elternklauseln
stets mit unterschiedlichen Variablennamen frisch umzubenennen (da die Variablen einer
Klausel impliziert allquantifiziert sind). Verwendet man SLD-Resolution für Hornklauselprogramme
mit einem definiten Ziel als Zentralklausel, so haben wir bereits gesehen,
dass jede Resolution die letzte Resolvente (bzw. am Anfang die Zentralklausel) und
eine Seitenklausel als Elternklauseln verwendet. Zur richtigen Umbenennung vor jeder
Resolution genügt es, nur die Variablen einer der beiden Elternklauseln umzubenennen.
Hierfür können wir stets die Seitenklausel wählen. Wir bezeichnen dieses Vorgehen als
standardisierte SLD-Resolution.
Wir definieren einen solchen Resolutionsschritt formal:
M. Schmidt-Schauß & D. Sabel, Skript KI, WS 2012/13 157 Stand: 7. Januar 2013