Modul 64212 Deduktions- und Inferenzsysteme

Modulinformationen

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 dieser Lehrveranstaltung 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.

ECTS10
Arbeitsaufwand
Bearbeiten der Lektionen: 130 - 150 Stunden,
Bearbeiten der Übungsaufgaben: 60 - 75 Stunden,
Studientage und Prüfungsvorbereitung: 60 - 75 Stunden
Dauer des Modulsein Semester
Häufigkeit des Modulsin jedem Wintersemester
Anmerkung
Das Modul 64212 "Deduktions- und Inferenzsysteme" ist letztmalig im Wintersemester 2024/25 belegbar.
Eine letztmalige Prüfungsteilnahme ist im Wintersemester 2025/26 möglich.  
Inhaltliche Voraussetzung
keine

Aktuelles Angebot

Prüfungsinformation

M.Sc. Informatik
Art der Prüfungsleistungbenotete mündliche Prüfung (ca. 25 Minuten)
Voraussetzungkeine
Stellenwert der Note1/12
Formale Voraussetzungenkeine
M.Sc. Wirtschaftsinformatik
Art der Prüfungsleistungbenotete mündliche Prüfung (ca. 25 Minuten)
Voraussetzungkeine
Stellenwert der Notes. PO
Formale Voraussetzungenkeine
M.Sc. Data Science
Art der Prüfungsleistungbenotete mündliche Prüfung (ca. 25 Minuten)
Voraussetzungkeine
Stellenwert der Note1/12
Formale Voraussetzungenkeine
M.Sc. Praktische Informatik
Art der Prüfungsleistungbenotete mündliche Prüfung (ca. 25 Minuten)
Voraussetzungkeine
Stellenwert der Note1/8
Formale Voraussetzungenkeine

Download

Ansprechpersonen

mathinf.webteam | 14.02.2024