Dialogue Games for Argumentation Frameworks with Necessities

In this paper, we present a generalization of dialectical proof procedures to argumentation frameworks with necessities, a bipolar generalization of Dung argumentation framework where the support relation has the meaning of necessity (an argument is necessary for another one). We show how to extend the existing approach by accommodating the new support relation. We consider in this paper dialectical proof procedures for acceptability under grounded semantics and credulous acceptability under preferred semantics.

[1]  Farid Nouioua.  Generalizing Naive and Stable Semantics in Argumentation Frameworks with Necessities and Preferences , 2012, SUM.

[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]  Claudette Cayrol,et al.  Dialectical Proofs Accounting for Strength of Attacks in Argumentation Systems , 2010, 2010 22nd IEEE International Conference on Tools with Artificial Intelligence.

[4]  C. Cayrol,et al.  On the Acceptability of Arguments in Bipolar Argumentation Frameworks , 2005, ECSQARU.

[5]  Philippe Besnard,et al.  Logical limits of abstract argumentation frameworks , 2013, J. Appl. Non Class. Logics.

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

[7]  Pascal Nicolas,et al.  Dialectical Proofs for Constrained Argumentation , 2010, COMMA.

[8]  Martin Caminada,et al.  On the Equivalence between Logic Programming Semantics and Argumentation Semantics , 2013, ECSQARU.

[9]  Trevor J. M. Bench-Capon,et al.  Argumentation in artificial intelligence , 2007, Artif. Intell..

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

[11]  Serena Villata,et al.  Support in Abstract Argumentation , 2010, COMMA.

[12]  Claudette Cayrol,et al.  Coalitions of arguments: A tool for handling bipolar argumentation frameworks , 2010 .

[13]  Farid Nouioua.  AFs with Necessities: Further Semantics and Labelling Characterization , 2013, SUM.

[14]  Anthony Hunter,et al.  Instantiating abstract argumentation with classical logic arguments: Postulates and properties , 2011, Artif. Intell..

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

[16]  Martin Wigbertus Antonius Caminada,et al.  Towards and Argument Game for Stable Semantics , 2008 .

[17]  Sanjay Modgil,et al.  Proof Theories and Algorithms for Abstract Argumentation Frameworks , 2009, Argumentation in Artificial Intelligence.

[18]  Farid Nouioua,et al.  Handling Preferences in Argumentation Frameworks with Necessities , 2012, ICAART.