.png){kind=icon}
.png){kind=icon}
Return
Verification in incomplete argumentation frameworks
.png){kind=icon}
PRE
AI
DOI：10.1016/j.artint.2018.08.001.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
We tackle the problem of expressing incomplete knowledge in abstract argumentation frameworks originally introduced by Dung [26] In applications, incomplete argumentation frameworks may arise as intermediate states in an elicitation process, or when merging different beliefs about an argumentation framework's state, or in cases where complete information cannot be obtained. We consider two specific models of incomplete argumentation frameworks, one focusing on attack incompleteness and the other on argument incompleteness, and we also provide a general model of incomplete argumentation framework that subsumes both specific models. In these three models, we study the computational complexity of variants of the verification problem with respect to six common semantics of argumentation frameworks: the conflict-free, admissible, stable, complete, grounded, and preferred semantics. We provide a full complexity map covering all three models and these six semantics. Our main result shows that the complexity of verifying the preferred semantics rises from coNP- to Sigma(p)(2)-completeness when allowing uncertainty about either attacks or arguments, or both. (C) 2018 Elsevier B.V. All rights reserved.
Keywords:
Abstract argumentation
Argumentation framework
Incomplete knowledge
Verification
Computational complexity
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
13.9
Papers:
6.1K
Citations:
1.9W