Methods for solving reasoning problems in abstract argumentation - A survey.
Within the last decade, abstract argumentation has emerged as a central field in Artificial Intelligence. Besides providing a core formalism for many advanced argumentation systems, abstract argumentation has also served to capture several non-monotonic logics and other AI related principles. Although the idea of abstract argumentation is appealingly simple, several reasoning problems in this formalism exhibit high computational complexity. This calls for advanced techniques when it comes to implementation issues, a challenge which has been recently faced from different angles. In this survey, we give an overview on different methods for solving reasoning problems in abstract argumentation and compare their particular features. Moreover, we highlight available state-of-the-art systems for abstract argumentation, which put these methods to practice.
Vienna University of Technology, Institute of Information Systems, Austria.
Günther
G
Charwat
University of Vienna, Faculty of Computer Science, Austria.
Wolfgang
W
Dvořák
Technische Universität Dresden, Institute of Artificial Intelligence, Germany.
Sarah A
SA
Gaggl
Vienna University of Technology, Institute of Information Systems, Austria.
Johannes P
JP
Wallner
Vienna University of Technology, Institute of Information Systems, Austria.
Stefan
S
Woltran
Abstract argumentation; Algorithms; Argumentation systems