Kurs 01695: Deduktions- und Inferenzsysteme

Christoph Beierle

Intelligentes Verhalten basiert wesentlich auf der Fähigkeit, logische Schlüsse zu ziehen, und in nahezu allen Systemen der künstlichen Intelligenz spielen automatische Inferenz- oder Deduktionskomponenten eine zentrale Rolle. Anwendungsfelder sind etwa das automatische Beweisen mathematischer Sätze, logische Programmiersprachen (z.B. PROLOG), Programmverifikation, deduktive Planverfahren oder die Entwicklung von Inferenzkomponenten für spezifische Wissensrepräsentationssprachen.

In diesem Kurs werden grundlegende Begriffe, Methoden und Verfahren der Deduktions- und Inferenzsysteme behandelt: Kalküle für die Prädikatenlogik 1. Stufe, Resolutionsverfahren, Unifikationstheorie, Termersetzungssysteme, vollständige Induktion, Interpretation und Compilation logischer Programme, Ableitungen in Logiken höherer Stufen, in Nicht-Standard-Logiken und in verschiedenen Wissensrepräsentationssystemen.

Kursangebot der Fakultät für Mathematik und Informatik