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.
Inhaltsverzeichnis<br />
0.1. Literatur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4<br />
0.2. <strong>Logik</strong> in <strong>der</strong> Informatik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4<br />
1. Aussagenlogik 5<br />
1.0.1. Typische Vorgehensweise . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5<br />
1.1. Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5<br />
1.1.1. Vorbemerkung: Backus-Naur-Form zur Notation einer Grammatik . . . . . . . 5<br />
1.1.2. Inhalt <strong>der</strong> Grammatik <strong>der</strong> Aussagenlogik . . . . . . . . . . . . . . . . . . . . . . 5<br />
1.1.3. Syntax <strong>der</strong> Aussagenlogik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5<br />
1.2. Semantik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6<br />
1.2.1. Semantik <strong>der</strong> logischen Operatoren . . . . . . . . . . . . . . . . . . . . . . . . . 6<br />
1.2.2. Der Erfülltheitsoperator ( . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6<br />
Definition: Erfülltheit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6<br />
1.3. Logische Konsequenz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7<br />
Definition: logische Konsequenz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7<br />
Definition: Gültigkeit einer Formel ψ . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7<br />
Definition: Erfüllbarkeit einer Menge von Formeln Φ . . . . . . . . . . . . . . . . . . . 8<br />
Definition: Logische Äquivalenz zweier Formeln ϕ <strong>und</strong> ψ . . . . . . . . . . . . . . . . . 8<br />
1.4. Wahrheitstafeln . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8<br />
Definition: Atome einer Formel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8<br />
1.5. Logische Äquivalenzen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10<br />
1.6. Normalformen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10<br />
1.6.1. Negationsnormalform (NNF) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10<br />
Definition: Negationsnormalform NNF von ϕ . . . . . . . . . . . . . . . . . . . . . . . 10<br />
1.6.2. Konjunktive Normalformen (CNF) . . . . . . . . . . . . . . . . . . . . . . . . . 11<br />
Definition: CNF C einer Formel ϕ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11<br />
1.7. Resolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12<br />
Definition: Resolutionsregel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12<br />
1.7.1. Syntax <strong>und</strong> Semantik <strong>der</strong> Regeln natürlichen Schließens . . . . . . . . . . . . . 13<br />
Definition: Resolutionsverfahren . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13<br />
2. Prolog 15<br />
2.1. Version 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15<br />
Definition: definite Klausel, Zielklausel, Hornklausel . . . . . . . . . . . . . . . . . . . . 15<br />
2.1.1. Schreibweise: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15<br />
Definition: Programm, Anfrage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15<br />
2.2. Version 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16<br />
2.2.1. Semantik per Reduktion auf Version 0: . . . . . . . . . . . . . . . . . . . . . . . 16<br />
2.3. Version 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17<br />
2.4. Unifikation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18<br />
Definition: Substitution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19<br />
Definition: Gleichung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19<br />
Definition: Unifikator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19<br />
Definition: Allgemeine Unifikatoren . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20<br />
2.4.1. Unifikationsalgorithmus von Robinson . . . . . . . . . . . . . . . . . . . . . . . 21<br />
Definition: Unifizierbarkeit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22<br />
3. Prädikatenlogik erster Stufe 23<br />
3.0.2. Terminologie, Übersetzung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23<br />
Definition: Syntax <strong>der</strong> Prädikatenlogik . . . . . . . . . . . . . . . . . . . . . . . . . . . 23<br />
2