Charwat G, Dvořák W, Gaggl SA, Wallner JP, Woltran S. Methods for solving reasoning problems in abstract argumentation - A survey.
ARTIF INTELL 2015;
220:28-63. [PMID:
25737590 PMCID:
PMC4318991 DOI:
10.1016/j.artint.2014.11.008]
[Citation(s) in RCA: 62] [Impact Index Per Article: 6.9] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Figures] [Journal Information] [Subscribe] [Scholar Register] [Received: 03/29/2013] [Revised: 11/19/2014] [Accepted: 11/28/2014] [Indexed: 11/28/2022]
Abstract
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.
Collapse