Coalitions of Arguments: An Approach with Constraint Programming

The aggregation of generic items into coalitions leads to the creation of sets of homogenous entities. In this paper we accomplish this for an input set of arguments, and the result is a partition according to distinct lines of thought, i.e., groups of “coherent” ideas. We extend Dung's Argumentation Framework AF in order to deal with coalitions of arguments. The initial set of arguments is partitioned into not-intersected subsets. All the found coalitions show the same property inherited by Dung, e.g., all the coalitions in the partition are admissible or conflict-free, complete, stable: they are generated according to Dung's principles. Each of these coalitions can be assigned to a different agent. We use Soft Constraint Programming as a formal approach to model and solve such partitions in weighted AFs: semiring algebraic structures can be used to model different optimization criteria for the obtained coalitions. Moreover, we implement and solve the presented problem with JaCoP, a Java constraint solver, and we test the code over a small-world network.

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

[2]  Vincent Conitzer,et al.  Coalition Structure Generation Utilizing Compact Characteristic Function Representations , 2009, CP.

[3]  Stefano Bistarelli,et al.  A Common Computational Framework for Semiring-based Argumentation Systems , 2010, ECAI.

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

[5]  Vincent Conitzer,et al.  Coalition Structure Generation Utilizing Compact Characteristic Function Representations , 2011 .

[6]  Victor R. Lesser,et al.  A survey of multi-agent organizational paradigms , 2004, The Knowledge Engineering Review.

[7]  Stefano Bistarelli,et al.  ConArg: A Constraint-Based Computational Framework for Argumentation Systems , 2011, 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence.

[8]  Philippe Besnard,et al.  Checking the acceptability of a set of arguments , 2004, NMR.

[9]  Henri Prade,et al.  Using arguments for making and explaining decisions , 2009, Artif. Intell..

[10]  Toby Walsh,et al.  Handbook of Constraint Programming , 2006, Handbook of Constraint Programming.

[11]  Simon N. Foley,et al.  Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria , 2010, Secur. Commun. Networks.

[12]  Stefano Bistarelli,et al.  A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily , 2008, ATC.

[13]  Paul-Amaury Matt,et al.  A Game-Theoretic Measure of Argument Strength for Abstract Argumentation , 2008, JELIA.

[14]  Serena Villata,et al.  Social Viewpoints for Arguing about Coalitions , 2008, PRIMA.

[15]  Stefano Bistarelli.  Semirings for Soft Constraint Solving and Programming , 2004, Lecture Notes in Computer Science.

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

[17]  Francesca Rossi,et al.  Semiring-based constraint satisfaction and optimization , 1997, JACM.

[18]  Serena Villata,et al.  Changing One's Mind: Erase or Rewind? , 2011, IJCAI.

[19]  Jürgen Dix,et al.  Modelling and Verifying Coalitions using Argumentation and ATL , 2010, Inteligencia Artif..

[20]  Jon M. Kleinberg,et al.  Navigation in a small world , 2000, Nature.

[21]  Stefano Bistarelli,et al.  Modeling and Solving AFs with a Constraint-Based Tool: ConArg , 2011, TAFA.

[22]  Stefano Bistarelli,et al.  Finding partitions of arguments with Dung's properties via SCSPs , 2011, CILC.

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

[24]  Francesca Rossi,et al.  From soft constraints to bipolar preferences: modelling framework and solving issues , 2010, J. Exp. Theor. Artif. Intell..

[25]  Matthew L. Ginsberg,et al.  Limited Discrepancy Search , 1995, IJCAI.

[26]  Kenneth P. Bogart,et al.  Introductory Combinatorics , 1977 .

[27]  Leila Amgoud,et al.  An Argumentation-Based Model for Reasoning About Coalition Structures , 2005, ArgMAS.

[28]  Andreas Witzel,et al.  A Generic Approach to Coalition Formation , 2007, IGTR.

[29]  Sarit Kraus,et al.  Task Allocation Via Coalition Formation Among Autonomous Agents , 1995, IJCAI.