Parametric properties of ideal semantics

作者:

摘要

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.

论文关键词:Abstract argumentation,Ideal semantics,Computational complexity

论文评审过程:Received 20 March 2012, Revised 5 February 2013, Accepted 12 June 2013, Available online 19 June 2013.

论文官网地址:https://doi.org/10.1016/j.artint.2013.06.004