Admissibility in the Abstract Dialectical Framework

The aim of this paper is to study the concept of admissibility in abstract dialectical frameworks ADFs. While admissibility is well-understood in Dung-style frameworks, a generalization to ADFs is not trivial. Indeed, the original proposal turned out to behave unintuitively at certain instances. A recent approach circumvented this problem by using a three-valued concept. In this paper, we propose a novel two-valued approach which more directly follows the original understanding of admissibility. We compare the two approaches and show that they behave differently on certain ADFs. Our results imply that for generalizations of Dung-style frameworks, establishing a precise correspondence between two-valued i.e. extension-based and three-value i.e. labeling-based characterizations of argumentation semantics is not easy and requires further investigations.

[1]  Pietro Baroni,et al.  SCC-recursiveness: a general schema for argumentation semantics , 2005, Artif. Intell..

[2]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[3]  Pascal Van Hentenryck The Acceptability Semantics for Logic Programs , 1994 .

[4]  Iyad Rahwan,et al.  Argumentation in Multi-Agent Systems: 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 2011, Revised Selected Papers , 2012 .

[5]  Trevor J. M. Bench-Capon Persuasion in Practical Argument Using Value-based Argumentation Frameworks , 2003, J. Log. Comput..

[6]  Claudette Cayrol,et al.  Bipolarity in argumentation graphs: Towards a better understanding , 2013, Int. J. Approx. Reason..

[7]  Serena Villata,et al.  Meta-Argumentation Modelling I: Methodology and Techniques , 2009, Stud Logica.

[8]  Hannes Strass,et al.  Abstract Dialectical Frameworks Revisited , 2013, IJCAI.

[9]  Pietro Baroni,et al.  AFRA: Argumentation framework with recursive attacks , 2011, Int. J. Approx. Reason..

[10]  Stefan Ellmauthaler Abstract Dialectical Frameworks ∗ Properties , Complexity , and Implementation , 2012 .

[11]  Martin Caminada,et al.  On the evaluation of argumentation formalisms , 2007, Artif. Intell..

[12]  Farid Nouioua,et al.  Argumentation Frameworks with Necessities , 2011, SUM.

[13]  Hannes Strass Approximating operators and semantics for abstract dialectical frameworks , 2013, Artif. Intell..

[14]  Simon Parsons,et al.  A Generalization of Dung's Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments , 2006, ArgMAS.

[15]  Pietro Baroni,et al.  An introduction to argumentation semantics , 2011, The Knowledge Engineering Review.

[16]  Gerhard Brewka,et al.  Carneades and Abstract Dialectical Frameworks: A Reconstruction , 2010, COMMA.

[17]  Stefan Woltran,et al.  Abstract Dialectical Frameworks , 2010, KR.

[18]  Hannes Strass,et al.  Instantiating Knowledge Bases in Abstract Dialectical Frameworks , 2013, CLIMA.

[19]  Sanjay Modgil,et al.  Reasoning about preferences in argumentation frameworks , 2009, Artif. Intell..

[20]  Srdjan Vesic,et al.  A new approach for preference-based argumentation frameworks , 2011, Annals of Mathematics and Artificial Intelligence.

[21]  Pietro Baroni,et al.  Semantics of Abstract Argument Systems , 2009, Argumentation in Artificial Intelligence.

[22]  Nir Oren,et al.  Semantics for Evidence-Based Argumentation , 2008, COMMA.