Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

• ... das vermittelte Grundlagenwissen der formalen Methoden des Argumentierens zu erläutern.
• ... die Methodik eines ausgewählten Themenbereichs der Formalen Argumentation auf ein Projekt anzuwenden.
• ... ausgewählte Methoden der Wissensrepräsentation auf einen neuen Formalismus anzuwenden.
• ... wissenschaftliche Arbeitstechniken auf ein forschungsnahes Projekt anzuwenden.

+ 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.

Die LVA teilt sich in einen Vorlesungsteil und einen Übungsteil.

• Im Vorlesungsteil werden die entsprechenden Konzepte durch die Vortragenden vorgestellt und in kleinen Übungsaufgaben angewendet.
• Im  Übungsteil sollen in einem individuellen Projekt in enger  Zusammenarbeit mit den LVA-Verantwortlichen die im Vorlesungsteil vorgestellten Konzepte angewendet. Hierbei werden entweder theoretische Resultate erarbeitet  oder solche Resultate in die Praxis durch entsprechende Implementierungen umgesetzt.

Die Vorbesprechung wird voraussichtlich in Präsenz abgehalten. Die Vorlesungseinheiten in Präsenz oder gegebenfalls über ZOOM abgehalten. Die Treffen zum UE-Projekt werden auf individueller Basis mit dem jeweiligen Betreuer als Präsenz oder online Termin vereinbart.

Die Vorlesungstermine werden in der Vorbesprechung gemeinsam mit den Teilnehmern festgelegt. Wenn Sie an dem Kurs teilnehmen möchten aber nicht zur Vorbesprechung kommen können kontaktieren Sie bitte die Vortragenden (per email) vor der Vorbesprechung.

ECTS breakdown: 4.5 ECTS = 112.5 Hours

 0.5h Vorbesprechung

18h Vorlesung incl. Abschlussdiskussion

19h Uebungsaufgaben zum Vorlesungsteil

75h UE-Projekt

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

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 konkret ein- und umsetzen wollen.

Vorkenntnisse in folgenden Bereichen sind erwünscht aber nicht zwingend notwendig:

1. Grundkenntnisse in Komplexitätstheorie:  Kenntniss der Basiskonzepte der Komplexitätstheorie: z.B: Komplexitätsklassen; Reduktionen; die Klassen P und NP;
   
   Diese Grundkenntnisse werden zum Beispiel in den folgenden LVAs vermittelt: 
   185.291 4.0 VU Formale Methoden der Informatik,
   181.142 2.0 VU Komplexitätstheorie,
   184.215 2.0 VU Komplexitätsanalyse
   
   
2. SAT-Solving oder Answer Set Programming (ASP): Die Fähigkeit kombinatorische Probleme in SAT oder ASP zu modellieren und mit den state-of-the-art Solvern zu lösen.
   
   Solche Fähigkeiten werden zum Beispiel in den folgenden LVAs vermittelt: 
   184.090 2.0 VU SAT Solving und Erweiterungen,
   184.143 2.0 VL Logikorientierte Programmierung,
   184.176 1.0 LU Einführung in wissensbasierte Systeme