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.

ECTS10
Arbeitsaufwand
Bearbeiten der Lektionen: 150 Stunden
Bearbeiten der Übungsaufgaben: 75 Stunden
Prüfungsvorbereitung: 75 Stunden
Dauer des Modulsein Semester
Häufigkeit des Modulsin jedem Sommersemester
AnmerkungKeine
Inhaltliche Voraussetzung
Gute Kenntnisse in mathematischer Logik, Komplexitätstheorie und algorithmischen Grundlagen der Informatik.

Aktuelles Angebot

Prüfungsinformation

M.Sc. Data Science
Art der Prüfungsleistungbenotete zweistündige Prüfungsklausur
VoraussetzungKeine
Stellenwert der Note1/12
Formale Voraussetzungenkeine
M.Sc. Wirtschaftsinformatik
Art der Prüfungsleistungbenotete zweistündige Prüfungsklausur
VoraussetzungKeine
Stellenwert der Notes. PO
Formale Voraussetzungenkeine
M.Sc. Informatik
Art der Prüfungsleistungbenotete zweistündige Prüfungsklausur
VoraussetzungKeine
Stellenwert der Note1/12
Formale Voraussetzungenkeine
M.Sc. Praktische Informatik
Art der Prüfungsleistungbenotete zweistündige Prüfungsklausur
VoraussetzungKeine
Stellenwert der Note1/8
Formale Voraussetzungenkeine

Download

Ansprechpersonen

mathinf.webteam | 08.04.2024