Modular Semantics and Characteristics for Bipolar Weighted Argumentation Graphs

This paper addresses the semantics of weighted argumentation graphs that are bipolar, i.e. contain both attacks and supports for arguments. It builds on previous work by Amgoud, Ben-Naim et. al. We study the various characteristics of acceptability semantics that have been introduced in these works, and introduce the notion of a modular acceptability semantics. A semantics is modular if it cleanly separates aggregation of attacking and supporting arguments (for a given argument $a$) from the computation of their influence on $a$'s initial weight. We show that the various semantics for bipolar argumentation graphs from the literature may be analysed as a composition of an aggregation function with an influence function. Based on this modular framework, we prove general convergence and divergence theorems. We demonstrate that all well-behaved modular acceptability semantics converge for all acyclic graphs and that no sum-based semantics can converge for all graphs. In particular, we show divergence of Euler-based semantics (Amgoud et al.) for certain cyclic graphs. Further, we provide the first semantics for bipolar weighted graphs that converges for all graphs.

[1]  Henry Prakken,et al.  On logical specifications of the Argument Interchange Format , 2013, J. Log. Comput..

[2]  Nico Potyka.  Convergence and Open-Mindedness of Discrete and Continuous Semantics for Bipolar Weighted Argumentation (Technical Report) , 2018, ArXiv.

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

[4]  João Leite,et al.  Extending Social Abstract Argumentation with Votes on Attacks , 2013, TAFA.

[5]  Iyad Rahwan,et al.  The Argument Interchange Format , 2009, Argumentation in Artificial Intelligence.

[6]  Charles R. Johnson,et al.  Matrix analysis , 1985, Statistical Inference for Engineers and Data Scientists.

[7]  Nicolas Maudet,et al.  A Comparative Study of Ranking-Based Semantics for Abstract Argumentation , 2016, AAAI.

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

[9]  Claudette Cayrol,et al.  Graduality in Argumentation , 2011, J. Artif. Intell. Res..

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

[11]  Leila Amgoud,et al.  Ranking-Based Semantics for Argumentation Frameworks , 2013, SUM.

[12]  Claudette Cayrol,et al.  Weighted Argumentation Systems: A Tool for Merging Argumentation Systems , 2011, 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence.

[13]  Pietro Baroni,et al.  Automatic evaluation of design alternatives with quantitative argumentation , 2015, Argument Comput..

[14]  Stefano Ferilli,et al.  Constructing and Evaluating Bipolar Weighted Argumentation Frameworks for Online Debating Systems , 2017, AI³@AI*IA.

[15]  Leila Amgoud,et al.  Evaluation of Arguments from Support Relations: Axioms and Semantics , 2016, IJCAI.

[16]  Andreas Nürnberger,et al.  Web-Retrieval Supported Argument Space Exploration , 2017, CHIIR.

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

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

[19]  Anthony Hunter,et al.  Empirical evaluation of abstract argumentation: Supporting the need for bipolar and probabilistic approaches , 2017, Int. J. Approx. Reason..

[20]  Leila Amgoud,et al.  Evaluation of arguments in weighted bipolar graphs , 2018, Int. J. Approx. Reason..

[21]  Nico Potyka.  Continuous Dynamical Systems for Weighted Bipolar Argumentation , 2018, KR.

[22]  M. Helmert,et al.  Principles of Knowledge Representation and Reasoning , 2008 .

[23]  Pietro Baroni,et al.  How Many Properties Do We Need for Gradual Argumentation? , 2018, AAAI.

[24]  Claudette Cayrol,et al.  Gradual Valuation for Bipolar Argumentation Frameworks , 2005, ECSQARU.

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

[26]  L. Amgoud,et al.  On bipolarity in argumentation frameworks , 2008 .

[27]  Pietro Baroni,et al.  Discontinuity-Free Decision Support with Quantitative Argumentation Debates , 2016, KR.

[28]  Gregor Betz,et al.  Ethical Aspects of Climate Engineering , 2012 .

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

[30]  Leila Amgoud,et al.  Axiomatic Foundations of Acceptability Semantics , 2016, KR.

[31]  Matthias Thimm,et al.  Using Matrix Exponentials for Abstract Argumentation , 2016, SAFA@COMMA.

[32]  Guillermo Ricardo Simari,et al.  A Labeled Abstract Bipolar Argumentation Framework , 2014, IBERAMIA.

[33]  Till Mossakowski,et al.  Bipolar Weighted Argumentation Graphs , 2016, ArXiv.