Einführung in formale Methoden des Argumentierens. Überblick
über gängige Semantiken für abstrakte Argumentation Frameworks,
sowie deren Komplexität und Algorithmen. Die LVA richtet sich
insbesondere an fortgeschrittene Studierende, die anhand eines
konkreten Formalismus aus dem Bereich der Wissensrepräsentation bereits erworbene
Kenntnisse aus anderen Lehrveranstaltungen (siehe Voraussetzungen) konkret
ein- und umsetzen wollen.

Didaktisches Vorgehen.

Die LVA teilt sich zur Hälfte in einen Vorlesungsteil, wo die entsprechenden
Konzepte vorgestellt werden, und in einen Übungsteil. In diesem sollen in enger
Zusammenarbeit mit den LVA-Verantwortlichen theoretische Resultate erarbeitet
werden und/oder solche Resultate in die Praxis durch entsprechende
Implementierungen umgesetzt werden.

Voraussetzungen:

1. Grundkenntnisse in Komplexitätstheorie:
   185.291 4.0 VU Formale Methoden der Informatik ODER
   181.142 2.0 VU Komplexitätstheorie ODER
   184.215 2.0 VU Komplexitätsanalyse
   
   
2. SAT-Solving oder Answer Set Programming (ASP):
   184.090 2.0 VU SAT Solving und Erweiterungen ODER
   184.143 2.0 VL Logikorientierte Programmierung ODER
   184.176 1.0 LU Einführung in wissensbasierte Systeme

+ VO-Teil:
    - Dungs Abstract Argumenation Frameworks
    - Semantiken für abstrakte Argumentation
    - Eigenschaften und Komplexität dieser Semantiken
    - Algorithmen und ASP / (Q)SAT Encodings
    - aktuelle Forschungsthemen in abstrakter Argumentation
+ UE-Teil:
    - Anwendung der im Vorlesungsteil vorgestellten Konzepten.

ECTS breakdown: 4.5 ECTS = 112.5 Hours

 0.5h Vorbesprechung

18h Vorlesung incl. Abschlussdiskussion

19h Uebungsanteil

75h Projekt

Ausarbeitung des Übungsteils & Prüfung über den Vorlesungsteil