Modul 64402 „Formale Argumentation“

Beschreibung:

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.