Abschlussarbeit

Masterarbeit: "Ordnen von Argumenten durch das Löschen von Kanten in abstrakter Argumentation"

Ansprechperson:
Kenneth Skiba
Status:
Themenangebot

Beschreibung:

Ein abstrakter Argumentationsgraph[1,2,3] ist ein abstrakter Formalismus zur Repräsentation argumentativer Szenarien. Diese Graphen bilden eine Diskussion zwischen zwei Parteien ab, wobei nur die Struktur der Diskussion wichtig ist. Als grundlegendes Modell wird ein gerichteter Graph genutzt: Die Argumente sind die Knoten sind und ein Angriff von einem Argument auf ein anderes Argument ist eine Kante. Eine gerichtete Kante zwischen Argument ‘a’ und Argument ‘b’ bedeutet, dass ‘a’ ‘b’ attackiert.

Eine Möglichkeit, aus diesen Graphen Schlüsse zu ziehen, ist die Verwendung rangbasierten Semantiken. Diese ordnen Argumente nach ihrer Stärke. Mithilfe dieser Semantiken kann also eine Aussage darüber getroffen werden, welches Argument - a oder b - "besser" ist. In den vergangenen Jahren wurden viele verschiedene rangbasierte Semantiken definiert und auf ihre Eigenschaften hin untersucht.

In dieser Arbeit soll eine neue rangbasierte Semantik entwickelt werden, die für jedes Argument zählt, wie viele Kanten aus einem Argumentationsgraph entfernt werdne müssen, damit dieses Argument in der grundierten Semantik des modifizierten Graphen ist. Anhand dieser Zahlen können die Argumente geordnet werden. Je kleiner diese Zahl ist, desto besser ist das Argument.
Die Semantik soll dann entsprechend basierend auf den erfüllten Eigenschaften analysiert werden [1].

[1] Dung, P. M. (1995). On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial intelligence, 77(2), 321-357.
[2] Baroni, P., Gabbay, D., Giacomin, M., and Van der Torre, L. (2018). Handbook of formal argumentation (Volume 1).
[3] Gabbay, D., Giacomin, M., Simari, G., and Thimm, M. (2021). Handbook of Formal Argumentation (Volume 2).
[4] Bonzon, E., Delobelle, J., Konieczny, S., & Maudet, N. (2016, February). A comparative study of ranking-based semantics for abstract argumentation. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 30, No. 1).

29.05.2025