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

Full description

Saved in:
Bibliographic Details
Published in:Artificial intelligence 2015-03, Vol.220, p.28-63
Main Authors: Charwat, Günther, Dvořák, Wolfgang, Gaggl, Sarah A., Wallner, Johannes P., Woltran, Stefan
Format: Article
Language:English
Subjects:
Abstract argumentation
Algorithms
Argumentation systems
Artificial intelligence
Complexity
Computation
Expert systems
Formalism
Logic
Reasoning
State of the art
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0004-3702
1872-7921
DOI:10.1016/j.artint.2014.11.008