Grundlagen der Logik und Logikprogrammierung
Grundlagen der Logik und Logikprogrammierung
Grundlagen der Logik und Logikprogrammierung
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
3.1.1. Wie<strong>der</strong>holung<br />
Wir erinnern uns:<br />
Programm Menge P von definiten Klauseln A 0 Ð A 1 , . . . , A n entspricht @pA 1 ^ ¨ ¨ ¨ ^ A n Ñ A 0 q<br />
Anfragen Zielklauseln Q “Ð A 1 , . . . , A n entspricht @␣pA 1 ^ ¨ ¨ ¨ ^ A n q ” ␣DpA 1 ^ ¨ ¨ ¨ ^ A n q<br />
Prolog-Engine versucht zu zeigen, dass P Y tQu unerfüllbar, d.h. dass<br />
P ( DpA 1 ^ ¨ ¨ ¨ ^ A n q<br />
3.2. Herbrand-Modelle<br />
TODO: forums-faden evtl. einpflegen<br />
=Intendierte Modelle von Programmen:<br />
• alle Elemente sind benannt<br />
• verschiedene Namen Ñ verschiedene Elemente<br />
• P ( ␣Q ðñ<br />
M p lomon<br />
kleinstes H-Modell<br />
( ␣Q<br />
Ab hier ohne „““, da nicht in <strong>der</strong> Syntax enthalten <strong>und</strong> einfacher nicht jedes mal ausschließen zu<br />
müssen.<br />
Definition: Herbrand-Universum, Herbrand-Basis<br />
Gegeben sind:<br />
Signatur Σ Die Menge aller vorkommenden Symbole, meist implizit durch Verwendung „definiert“.<br />
Herbrand-Universum Die Menge aller Terme, die ohne Variablen gebildet werden können:<br />
U Σ “ tE | E Term über Σ, F V pEq “ Hu<br />
Herbrand-Basis Die Menge aller Terme, die durch anwendung aller Prädikate erzeugt werden<br />
können:<br />
B Σ “ tϕ | ϕ atomare Formel über Σ, F V pϕq “ Hu<br />
“ tP pE 1 , . . . , E n q | P {n P Σ, E 1 , . . . , E n P U Σ u<br />
Beispiel: Ungerade Zahlen<br />
P “<br />
also Σ “ ts, 0, oddu<br />
U Σ “ t0, sp0q, spsp0qq, . . . u<br />
B Σ “ toddp0q, oddpsp0qq, oddpspsp0qqq, . . . u<br />
#<br />
oddpsp0qq<br />
oddpspspXqqq Ð oddpxq<br />
27