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.
| ECTS | 10 |
|---|---|
| Arbeitsaufwand | Bearbeiten der Lektionen: 130 - 150 Stunden,
Bearbeiten der Übungsaufgaben: 60 - 75 Stunden,
Studientage und Prüfungsvorbereitung: 60 - 75 Stunden |
| Dauer des Moduls | ein Semester |
| Häufigkeit des Moduls | in 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üfungsleistung | benotete mündliche Prüfung (ca. 25 Minuten) |
| Voraussetzung | keine |
| Stellenwert der Note | 1/12 |
| Formale Voraussetzungen | keine |
| M.Sc. Praktische Informatik | |
| Art der Prüfungsleistung | benotete mündliche Prüfung (ca. 25 Minuten) |
| Voraussetzung | keine |
| Stellenwert der Note | 1/8 |
| Formale Voraussetzungen | keine |
| M.Sc. Data Science | |
| Art der Prüfungsleistung | benotete mündliche Prüfung (ca. 25 Minuten) |
| Voraussetzung | keine |
| Stellenwert der Note | 1/12 |
| Formale Voraussetzungen | keine |
| M.Sc. Wirtschaftsinformatik | |
| Art der Prüfungsleistung | benotete mündliche Prüfung (ca. 25 Minuten) |
| Voraussetzung | keine |
| Stellenwert der Note | s. PO |
| Formale Voraussetzungen | keine |
Download
- Seite Modulhandbuch M.Sc. Informatik
- Seite Modulhandbuch M.Sc. Praktische Informatik
- Seite Modulhandbuch M.Sc. Data Science
- Seite Modulhandbuch M.Sc. Wirtschaftsinformatik
- Leseprobe: Deduktions- und Inferenzsysteme
Ansprechpersonen
Prof. Dr. Matthias Thimm
mathinf.webteam
| 10.05.2024
