Auswertung von Anfragen

Worum geht es hier?

Anfragen an eine Wissensbasis werden über logische Herleitungen ausgewertet. In den folgenden Abschnitten werden zunächst die Grundlagen aus der Logik behandelt. Anschließend geht es um die Automatisierung des logischen Schließens.

Hier lernst du ...

• ... was man unter der logischen Schlussregel "modus ponens" versteht.
• ... wie man mit Hilfe dieser Schlussregel Anfragen an eine Wissensbasis auswertet.
• ... wie man die Suche nach logischen Herleitungen mit dieser Schlussregel automatisiert.
• ... welche Schwierigkeiten bei der Automatisierung logischer Herleitungen auftreten und wie man sie löst.