Title
Parametric properties of ideal semantics.
Abstract
The concept of “ideal semantics” has been promoted as an alternative basis for skeptical reasoning within abstract argumentation settings. Informally, ideal acceptance not only requires an argument to be skeptically accepted in the traditional sense but further insists that the argument is in an admissible set all of whose arguments are also skeptically accepted. The original proposal was couched in terms of the so-called preferred semantics for abstract argumentation. We argue, in this paper, that the notion of “ideal acceptability” is applicable to arbitrary semantics and justify this claim by showing that standard properties of classical ideal semantics, e.g. unique status, continue to hold in any “reasonable” extension-based semantics. We categorise the relationship between the divers concepts of “ideal extension w.r.t. semantics σ” that arise and we present a comprehensive analysis of algorithmic and complexity-theoretic issues. In addition we offer further support for the view that “ideal semantics” ought to be seen as a generic property by presenting and analysing the forms that these might take within value-based argumentation frameworks.
Year
DOI
Venue
2013
10.1016/j.artint.2013.06.004
Artificial Intelligence
Keywords
Field
DocType
Abstract argumentation,Ideal semantics,Computational complexity
Discrete mathematics,Operational semantics,Computational semantics,Computer science,Argumentation theory,Generic property,Skepticism,Well-founded semantics,Semantics,Theory of Forms
Journal
Volume
Issue
ISSN
202
1
0004-3702
Citations 
PageRank 
References 
16
0.58
31
Authors
3
Name
Order
Citations
PageRank
Paul E. Dunne11700112.42
Wolfgang Dvorák227124.57
Stefan Woltran31603121.99