Extension-Based Semantics of Abstract Dialectical Frameworks

One of the most prominent tools for abstract argumentation is the Dung's framework, AF for short. It is accompanied by a variety of semantics including grounded, complete, preferred and stable. Although powerful, AFs have their shortcomings, which led to development of numerous enrichments. Among the most general ones are the abstract dialectical frameworks, also known as the ADFs. They make use of the so-called acceptance conditions to represent arbitrary relations. This level of abstraction brings not only new challenges, but also requires addressing existing problems in the field. One of the most controversial issues, recognized not only in argumentation, concerns the support cycles. In this paper we introduce a new method to ensure acyclicity of the chosen arguments and present a family of extension-based semantics built on it. We also continue our research on the semantics that permit cycles and fill in the gaps from the previous works. Moreover, we provide ADF versions of the properties known from the Dung setting. Finally, we also introduce a classification of the developed sub-semantics and relate them to the existing labeling-based approaches.

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

[2]  Henry Prakken,et al.  Models of Persuasion Dialogue , 2009, Argumentation in Artificial Intelligence.

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

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

[5]  Fernando A. Tohmé,et al.  Two approaches to the problems of self-attacking arguments and general odd-length cycles of attack , 2009, J. Appl. Log..

[6]  Stefan Woltran,et al.  Generalizations of Dung Frameworks and Their Role in Formal Argumentation , 2014, IEEE Intelligent Systems.

[7]  Stefan Woltran,et al.  Admissibility in the Abstract Dialectical Framework , 2013, CLIMA.

[8]  Pietro Baroni,et al.  Encompassing Attacks to Attacks in Abstract Argumentation Frameworks , 2009, ECSQARU.

[9]  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..

[10]  Hannes Strass,et al.  Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory , 2015, Artif. Intell..

[11]  Sébastien Konieczny,et al.  Weighted Attacks in Argumentation Frameworks , 2012, KR.

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

[13]  Dov M. Gabbay,et al.  A Logical Account of Formal Argumentation , 2009, Stud Logica.

[14]  Trevor J. M. Bench-Capon,et al.  Argumentation in Legal Reasoning , 2009, Argumentation in Artificial Intelligence.

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

[16]  Pierre Marquis,et al.  Prudent semantics for argumentation frameworks , 2005, 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05).

[17]  Guillermo Ricardo Simari,et al.  A survey of different approaches to support in argumentation systems , 2013, The Knowledge Engineering Review.

[18]  Sylwia Polberg,et al.  Revisiting Extension – Based Semantics of Abstract Dialectical Frameworks , 2015 .

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

[20]  Trevor J. M. Bench-Capon,et al.  PARMENIDES: Facilitating Deliberation in Democracies , 2006, Artificial Intelligence and Law.

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

[22]  Pierre Marquis,et al.  Inference from Controversial Arguments , 2005, LPAR.

[23]  Anthony Hunter,et al.  Aggregating evidence about the positive and negative effects of treatments , 2012, Artif. Intell. Medicine.

[24]  John Fox,et al.  Delivering clinical decision support services: There is nothing as practical as a good theory , 2010, J. Biomed. Informatics.

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

[26]  Phan Minh Dung,et al.  A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation , 2009, IJCAI.

[27]  Dirk Vermeir,et al.  Dialectic semantics for argumentation frameworks , 1999, ICAIL '99.

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

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

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

[31]  Claudette Cayrol,et al.  Coalitions of arguments: A tool for handling bipolar argumentation frameworks , 2010, Int. J. Intell. Syst..

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

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

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

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

[36]  Peter McBurney,et al.  Dialogue Games for Agent Argumentation , 2009, Argumentation in Artificial Intelligence.

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

[38]  Claudette Cayrol,et al.  Bipolar abstract argumentation systems , 2009, Argumentation in Artificial Intelligence.

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

[40]  Paul E. Dunne,et al.  Semi-stable semantics , 2006, J. Log. Comput..

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