Title
Complexity Properties of Critical Sets of Arguments.
Abstract
In an abstract argumentation framework, there are often multiple plausible ways to evaluate (or label) the status of each argument as accepted, rejected, or undecided. But often there exists a critical set of arguments whose status is sufficient to determine uniquely the status of every other argument. Once an agent has decided its position on a critical set of arguments, then essentially the entire framework has been evaluated. Likewise, once a group, e.g. a jury, agrees on the status of a critical set of arguments, all of their different views over all other arguments are resolved. Thus, critical sets of arguments are important both for efficient evaluation by individual agents and for collective agreement by groups of such. To exploit this idea in practice, however, a number of computational questions must be considered. In particular, how much computational effort is needed to verify that a set is, indeed, a critical set or a minimal critical set. In this paper we determine exact bounds on the computational complexity of these and related questions. In addition we provide similar analyses of issues: a concept closely related to critical set and derived in terms of ( equivalence) classes of arguments related through "common" labelling behaviours.
Year
DOI
Venue
2014
10.3233/978-1-61499-436-7-173
Frontiers in Artificial Intelligence and Applications
Keywords
Field
DocType
argumentation frameworks,labelling schemes,computational complexity
Collective agreement,Argumentation framework,Existential quantification,Computer science,Exploit,Theoretical computer science,Jury,Equivalence (measure theory),Computational complexity theory
Conference
Volume
ISSN
Citations 
266
0922-6389
4
PageRank 
References 
Authors
0.40
23
5
Name
Order
Citations
PageRank
Richard Booth1726.23
Martin W. A. Caminada286546.84
Paul E. Dunne31700112.42
Mikolaj Podlaszewski4553.84
Iyad Rahwan5134690.64