Abschlussarbeit

Bachelorarbeit: "Implementierung von gewichteten Argumentationssystemen mit Answer Set Programming"

Verfasser/in:
Dominik Stummer
Ansprechperson:
Lars Bengel
Status:
abgeschlossen
Jahr:
2024
Download:
Bachelor.Stummer

Beschreibung:

Das Konzept der abstrakten Argumentation ist ein stark erforschtes Thema im Bereich Künstliche Intelligenz. Die meisten Ansätze stützen sich dabei auf die abstrakten Argumentationssysteme begründet durch Dung [3] im Jahr 1995. Diese Argumentationssysteme können als gerichtete Graphen dargestellt werden. Die Knoten des Graphen stellen hierbei Argumente dar und die gerichteten Kanten repräsentieren Konflikte zwischen den Argumenten. Eine Kante von Argument ’a’ zu Argument ’b’ bedeutet also, dass ’a’ ’b’ widerlegt und es somit angreift. Typischerweise werden dann sogenannte Semantiken verwendet um akzeptable Teilmengen von Argumenten zu bestimmen [1].

Es gibt zahlreiche Erweiterungen, die Argumentationssyssteme mit verschiede- nen Funktionalitäten anreichern. Eine solche Erweiterung sind die gewichteten Argumentationssysteme [2]. Hier gibt es eine zusätzliche Relation, die den Argumenten oder Attacken Werte zuweist, wodurch diese miteinander verglichen werden können. Das ermöglicht die Definition von anderen Semantiken für diese Argumentationssysteme.

Ziel der Bachelorarbeit ist einen Formalismus für gewichtete Argumentationssysteme mithilfe von Answer Set Programming zu implementieren und evaluieren.


[1] Pietro Baroni, Martin Caminada, and Massimiliano Giacomin. “Abstract argumentation frameworks and their semantics”. In: Handbook of formal argumentation 1 (2018), pp. 157–234.

[2] Stefano Bistarelli and Francesco Santini. “Weighted Argumentation.” In: FLAP 8.6 (2021), pp. 1589–1622.

[3] Phan Minh Dung. “On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games”. In: Artificial intelligence 77.2 (1995), pp. 321–357.

04.06.2024