Logikbasierte Wissensverarbeitung

KI ist weit mehr als Lernen aus Daten. Kap. 11 bietet deshalb einen Überblick über logikbasierte Wissensverarbeitung und logisches Schließen, mit Schwerpunkt auf klassischer Logik. Es verweist auf umfangreiche Literatur in diesem Bereich und betont die Vielfalt an Logikformalismen, die sich in wichtigen Eigenschaften unterscheiden. Dabei wird hervorgehoben, dass Wissen in symbolischen Formelsprachen repräsentiert und durch symbolische Regeln in neues Wissen transformiert wird. Es werden grundlegende Konzepte der Logik und des logischen Schließens anhand der Aussagenlogik und der Logik erster Stufe erklärt, die als Basis für komplexere Logiksprachen in späteren Abschnitten dienen.