Lehrveranstaltung 64212 „Deduktions- und Inferenzsysteme“

Beschreibung:

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, Repräsentation von Kalkülen, Gleichheit und Unifikation, Termersetzungssysteme, Deduktion und logisches Programmieren, nicht-klassische Formen der Inferenz.

Für folgende Informatik-Studiengänge vorgesehen: B (über Katalog M), D, L, M, MPI, Z.