Anhang A - Prädikatenlogik – kurzgefasst

Aus Semantic-Web-Grundlagen

In diesem Anhang werden kurz und knapp logisches Grundlagen, wie sie in Kapitel 6 benötigt werden, wiederholt. Wir führen dafür Syntax und Semantik der Prädikatenlogik erster Stufe vollständig ein. Wir gehen außerdem kurz auf Normalformen und Hornlogik als Grundlage der Logikprogrammierung ein.

Inhaltsverzeichnis

1. Syntax
2. Semantik
3. Normalformen
   1. Negationsnormalform
   2. Pränexnormalform
   3. Skolemnormalform
   4. Klauselform
4. Logikprogramme und Datalog
   1. Herbrandmodelle und Minimale Modellsemantik
   2. Die Geschlossene-Welt-Annahme
5. Eigenschaften

Weiterführende Literatur

Ausführliche Lehrbücher zu den hier behandelten Themen sind z.B.

• U. Schöning. Logik für Informatiker. Spektrum Akademischer Verlag, 5. Auflage, 2000
• S. Hölldobler. Logik und Logikprogrammierung. Synchron, 2. Auflage, 2003
• H.-D. Ebbinghaus, J. Flum und W. Thomas. Einführung in die mathematische Logik. Spektrum Akademischer Verlag, 2001.
• C. Beierle und G. Kern-Isberner. Methoden wissensbasierter Systeme. Grundlagen, Algorithmen, Anwendungen. Vieweg, 2002
• J.W. Lloyd. Foundations of Logic Programming. Springer, 1988