Abschlussarbeit

Beschreibung:

Abstrakte Argumentation ist ein Thema, das im Bereich der künstlichen Intelligenz intensiv erforscht wird. Ein Ansatz, der häufig verwendet wird, sind die abstrakte Argumentationsgraphen von Dung. Diese Graphen stellen eine Diskussion zwischen zwei Parteien dar, wobei nur die Struktur dieser Diskussion von Bedeutung ist. Als Grundmodell wird ein gerichteter Graph verwendet, bei dem die Argumente die Knoten sind und ein Angriff von einem Argument auf ein anderes Argument eine Kante ist. Eine Kante zwischen Argument ‘a’ und Argument ‘b’ bedeutet also, dass ‘a’ ‘b’ angreift.

Eine Möglichkeit, aus diesen Graphen Schlüsse zu ziehen, ist die Verwendung von sogenannten rangbasierten Semantiken, die die Argumente nach ihrer Stärke ordnen. Mit Hilfe dieser Funktionen 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 Menge von Rangbasierten Semantiken betrachtet werden und aus diesen eine aggregierte Ordnung mit Hilfe von Wahlregeln wie der Pluralitätswahl erzeugt werden. Die resultierende Semantik soll auf ihre Eigenschaften hin untersucht werden.

Fragen wie:
- Ist die Wahl der verwendeten Wahlregel relevant?
- Wie wichtig sind die Eigenschaften der gewählten Rangbasierten Semantiken?
sollen untersucht werden.

[1] 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

[2] Brandt, Felix, et al., eds. Handbook of computational social choice. Cambridge University Press, 2016.

[3] Rothe, Jörg. Economics and computation. Vol. 4. Heidelberg: Springer, 2015.