Aggregating Alternative Extensions of Abstract Argumentation Frameworks: Preservation Results for Quota Rules

When confronted with the same abstract argumentation framework, specifying a set of arguments and an attack-relation between them, different agents may disagree on which arguments to accept, i.e., they may choose different extensions. In the context of designing systems to support collective argumentation, we may then wish to aggregate such alternative extensions into a single extension that appropriately reflects the views of the group as a whole. Focusing on a conceptually and computationally simple family of aggregation rules, the quota rules, we analyse under what circumstances relevant properties of extensions shared by all extensions reported by the individual agents will be preserved under aggregation. The properties we consider are the classical properties of argumentation semantics, such as being a conflict-free, a complete, or a preferred extension. We show that, while for some properties there are quota rules that guarantee their preservation, for the more demanding properties it is impossible to do so in general.

[1]  Umberto Grandi,et al.  Binary Aggregation with Integrity Constraints , 2011, IJCAI.

[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]  Iyad Rahwan,et al.  Collective argument evaluation as judgement aggregation , 2010, AAMAS.

[4]  Fernando A. Tohmé,et al.  Collective argumentation: A survey of aggregation issues around argumentation frameworks , 2017, Argument Comput..

[5]  C. List,et al.  Aggregating Sets of Judgments: An Impossibility Result , 2002, Economics and Philosophy.

[6]  Sébastien Konieczny,et al.  On the Aggregation of Argumentation Frameworks , 2015, IJCAI.

[7]  F. Dietrich,et al.  Judgment Aggregation By Quota Rules , 2007 .

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

[9]  Pietro Baroni,et al.  On principle-based evaluation of extension-based argumentation semantics , 2007, Artif. Intell..

[10]  Ulrich Endriss,et al.  Complexity of Judgment Aggregation , 2012, J. Artif. Intell. Res..

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

[12]  Weiwei Chen,et al.  Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks , 2017, TARK.

[13]  Michael Wooldridge,et al.  Argument Aggregation: Basic Axioms and Complexity Results , 2012, COMMA.

[14]  Guillermo Ricardo Simari,et al.  Aggregation of Attack Relations: A Social-Choice Theoretical Analysis of Defeasibility Criteria , 2008, FoIKS.

[15]  Ulrich Endriss Judgment Aggregation , 2016, Handbook of Computational Social Choice.

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

[17]  Iyad Rahwan,et al.  Interval Methods for Judgment Aggregation in Argumentation , 2014, KR.

[18]  Sébastien Konieczny,et al.  DA2 merging operators , 2004, Artif. Intell..

[19]  Gabriella Pigozzi,et al.  On judgment aggregation in abstract argumentation , 2009, Autonomous Agents and Multi-Agent Systems.

[20]  Martin Caminada,et al.  On the Issue of Reinstatement in Argumentation , 2006, JELIA.

[21]  Davide Grossi,et al.  On the logic of argumentation theory , 2010, AAMAS.

[22]  Iyad Rahwan,et al.  Judgment Aggregation in Multi-Agent Argumentation , 2014, J. Log. Comput..

[23]  Christian List,et al.  STRATEGY-PROOF JUDGMENT AGGREGATION* , 2005, Economics and Philosophy.

[24]  Ulrich Endriss,et al.  Lifting integrity constraints in binary aggregation , 2013, Artif. Intell..