Anhang A - Prädikatenlogik – kurzgefasst

Aus Semantic-Web-Grundlagen

Wechseln zu: Navigation, Suche

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.

Persönliche Werkzeuge