Weighted Abstract Dialectical Frameworks

Abstract Dialectical Frameworks (ADFs) generalize Dung’s argumentation frameworks allowing various relationships among arguments to be expressed in a systematic way. We further generalize ADFs so as to accommodate arbitrary acceptance degrees for the arguments. This makes ADFs applicable in domains where both the initial status of arguments and their relationship are only insufficiently specified by Boolean functions. We define all standard ADF semantics for the weighted case, including grounded, preferred and stable semantics. We illustrate our approach using acceptance degrees from the unit interval and show how other valuation structures can be integrated. In each case it is sufficient to specify how the generalized acceptance conditions are represented by formulas, and to specify the information ordering underlying the characteristic ADF operator. We also present complexity results for problems related to weighted ADFs.Dialectical Frameworks (ADFs) generalize Dung’s argumentation frameworks allowing various relationships among arguments to be expressed in a systematic way. We further generalize ADFs so as to accommodate arbitrary acceptance degrees for the arguments. This makes ADFs applicable in domains where both the initial status of arguments and their relationship are only insufficiently specified by Boolean functions. We define all standard ADF semantics for the weighted case, including grounded, preferred and stable semantics. We illustrate our approach using acceptance degrees from the unit interval and show how other valuation structures can be integrated. In each case it is sufficient to specify how the generalized acceptance conditions are represented by formulas, and to specify the information ordering underlying the characteristic ADF operator. We also present complexity results for problems related to weighted ADFs.

[1]  Teresa Alsinet,et al.  Weighted argumentation for analysis of discussions in Twitter , 2017, Int. J. Approx. Reason..

[2]  Hannes Strass.  Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks , 2015, J. Artif. Intell. Res..

[3]  Sanjay Modgil,et al.  On the Graded Acceptability of Arguments , 2015, IJCAI.

[4]  Stefan Woltran,et al.  GRAPPA: A Semantical Framework for Graph-Based Argument Processing , 2014, ECAI.

[5]  Anthony Hunter,et al.  A logic-based theory of deductive arguments , 2001, Artif. Intell..

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

[7]  Jörg Pührer.  ArgueApply: A Mobile App for Argumentation , 2017, LPNMR.

[8]  D. M. Gabbaya.  Equational approach to argumentation networks , 2012 .

[9]  Nir Oren,et al.  Probabilistic Argumentation Frameworks , 2011, TAFA.

[10]  Anthony Hunter,et al.  A probabilistic approach to modelling uncertain logical arguments , 2013, Int. J. Approx. Reason..

[11]  Srdjan Vesic,et al.  Measuring the Intensity of Attacks in Argumentation Graphs with Shapley Value , 2017, IJCAI.

[12]  Victor W. Marek,et al.  Ultimate approximation and its application in nonmonotonic knowledge representation systems , 2004, Inf. Comput..

[13]  João Leite,et al.  Social Abstract Argumentation , 2011, IJCAI.

[14]  Hannes Strass,et al.  Abstract Dialectical Frameworks. An Overview. , 2017 .

[15]  Anthony Hunter,et al.  Probabilistic Argument Graphs for Argumentation Lotteries , 2014, COMMA.

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

[17]  Pierpaolo Dondio.  Multi-Valued and Probabilistic Argumentation Frameworks , 2014, COMMA.

[18]  Sergio Flesca,et al.  On the Complexity of Probabilistic Abstract Argumentation Frameworks , 2015, ACM Trans. Comput. Log..

[19]  Joost Vennekens,et al.  On Well-Founded Set-Inductions and Locally Monotone Operators , 2016, TOCL.

[20]  Trevor J. M. Bench-Capon,et al.  A methodology for designing systems to reason with legal cases using Abstract Dialectical Frameworks , 2016, Artificial Intelligence and Law.

[21]  Anthony Hunter,et al.  Probabilistic Argumentation with Incomplete Information , 2014, ECAI.

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

[23]  Phan Minh Dung,et al.  Towards (Probabilistic) Argumentation for Jury-based Dispute Resolution , 2010, COMMA.

[24]  Victor W. Marek,et al.  Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning , 2000 .

[25]  Hannes Strass,et al.  On the number of bipolar Boolean functions , 2017, J. Log. Comput..

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

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

[28]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[29]  Pierpaolo Dondio.  Propagating degrees of truth on an argumentation framework: an abstract account of fuzzy argumentation , 2017, SAC.

[30]  Serena Villata,et al.  Abstract Dialectical Frameworks for Text Exploration , 2016, ICAART.

[31]  Srdjan Vesic,et al.  Acceptability Semantics for Weighted Argumentation Frameworks , 2017, IJCAI.

[32]  Victor W. Marek,et al.  Uniform semantic treatment of default and autoepistemic logics , 2000, Artif. Intell..

[33]  Trevor J. M. Bench-Capon,et al.  Abstract Dialectical Frameworks for Legal Reasoning , 2014, JURIX.

[34]  Martin Diller,et al.  Investigating Subclasses of Abstract Dialectical Frameworks , 2018, COMMA.

[35]  Sylwia Polberg,et al.  Probabilistic Abstract Dialectical Frameworks , 2014, JELIA.

[36]  Siegfried Gottwald,et al.  Many-Valued and Fuzzy Logics , 2015, Handbook of Computational Intelligence.

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

[38]  Leila Amgoud,et al.  Evaluation of Arguments in Weighted Bipolar Graphs , 2017, ECSQARU.

[39]  Michael Wooldridge,et al.  Weighted argument systems: Basic definitions, algorithms, and complexity results , 2011, Artif. Intell..

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

[41]  Hannes Strass,et al.  A Uniform Account of Realizability in Abstract Argumentation , 2016, ECAI.