184.682 Abstract Argumentation
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2017W, VU, 3.0h, 4.5EC

Merkmale

  • Semesterwochenstunden: 3.0
  • ECTS: 4.5
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

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 in folgenden Bereichen ist erwünscht aber nicht zwingend notwendig:

  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

Inhalt der Lehrveranstaltung

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

Weitere Informationen

ECTS breakdown: 4.5 ECTS = 112.5 Hours

 0.5h Vorbesprechung

18h Vorlesung incl. Abschlussdiskussion

19h Uebungsanteil

75h Projekt

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.14:00 - 15:0024.10.2017Seminarraum FAV EG C (Seminarraum Gödel) Vorbesprechung
Di.15:00 - 18:0014.11.2017 Besprechungsraum Menger, Favoritenstr. 9-11, 3. Stock, Stiege 3Vorlesung Teil 1
Fr.09:00 - 12:0017.11.2017 Besprechungsraum Menger, Favoritenstr. 9-11, 3. Stock, Stiege 3Vorlesung Teil 2
Di.15:00 - 18:0021.11.2017 Besprechungsraum Menger, Favoritenstr. 9-11, 3. Stock, Stiege 3Vorlesung Teil 3
Fr.09:00 - 12:0024.11.2017 Besprechungsraum Menger, Favoritenstr. 9-11, 3. Stock, Stiege 3Vorlesung Teil 4
Di.15:00 - 18:0028.11.2017 Besprechungsraum Menger, Favoritenstr. 9-11, 3. Stock, Stiege 3Vorlesung Teil 5

Leistungsnachweis

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

LVA-Anmeldung

Die Anmeldung erfolgt über Gruppen-Anmeldung.

Gruppen-Anmeldung

GruppeAnmeldung VonBis
listeners17.10.2017 13:0030.01.2018 23:59

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch