Modul 64402 Formale Argumentation
Modulinformation
Diese Lehrveranstaltung bietet eine tiefe Auseinandersetzung mit dem Forschungsgebiet der formalen Argumentation. In diesem Teilbereich der Künstlichen Intelligenz geht es um die Modellierung und das automatische Schlussfolgern in argumentativen Szenarien, wie beispielsweise zur Entscheidungsunterstützung im Rechtswesen oder medizinischen Anwendungen. Nach einer allgemeinen Einführung und Auffrischung wichtiger Grundlagen wie Logik, Graphentheorie und Komplexitätstheorie, werden zunächst die sogenannten abstrakten Argumentationsgraphen und verschiedene Methoden der semantischen Evaluation solchen Graphen vorgestellt, insbesondere komplexitätstheoretische Fragestellungen. Anschließend werden mit semi-abstrakten Argumentationsgraphen Erweiterungen der abstrakten Argumentationsgraphen diskutiert, die zusätzliche Aspekte argumentativer Szenarien einbeziehen. Weiterhin werden strukturierte Ansätze der formalen Argumentation vorgestellt und analysiert. Abschließend werden noch einige Aspekte der dynamischen Betrachtung von argumentativen Szenarien diskutiert.
ECTS | 10 |
---|---|
Arbeitsaufwand | Bearbeiten der Lektionen: 150 Stunden
Bearbeiten der Übungsaufgaben: 75 Stunden
Prüfungsvorbereitung: 75 Stunden |
Dauer des Moduls | ein Semester |
Häufigkeit des Moduls | in jedem Sommersemester |
Anmerkung | Keine |
Inhaltliche Voraussetzung | Gute Kenntnisse in mathematischer Logik, Komplexitätstheorie und algorithmischen Grundlagen der Informatik. |
Aktuelles Angebot
Prüfungsinformation
M.Sc. Wirtschaftsinformatik | |
---|---|
Art der Prüfungsleistung | benotete zweistündige Prüfungsklausur |
Voraussetzung | Keine |
Stellenwert der Note | s. PO |
Formale Voraussetzungen | keine |
M.Sc. Data Science | |
Art der Prüfungsleistung | benotete zweistündige Prüfungsklausur |
Voraussetzung | Keine |
Stellenwert der Note | 1/12 |
Formale Voraussetzungen | keine |
M.Sc. Informatik | |
Art der Prüfungsleistung | benotete zweistündige Prüfungsklausur |
Voraussetzung | Keine |
Stellenwert der Note | 1/12 |
Formale Voraussetzungen | keine |
M.Sc. Praktische Informatik | |
Art der Prüfungsleistung | benotete zweistündige Prüfungsklausur |
Voraussetzung | Keine |
Stellenwert der Note | 1/8 |
Formale Voraussetzungen | keine |
Download
- Seite Modulhandbuch M.Sc. Wirtschaftsinformatik
- Seite Modulhandbuch M.Sc. Data Science
- Seite Modulhandbuch M.Sc. Informatik
- Seite Modulhandbuch M.Sc. Praktische Informatik
- Leseprobe: Formale Argumentation
Ansprechpersonen
Prof. Dr. Matthias Thimm
mathinf.webteam
| 10.05.2024