Strong Equivalence for Argumentation Frameworks with Collective Attacks

Argumentation frameworks with collective attacks are a prominent extension of Dung’s abstract argumentation frameworks, where an attack can be drawn from a set of arguments to another argument. These frameworks are often abbreviated as SETAFs. Although SETAFs have received increasing interest recently, the notion of strong equivalence, which is fundamental in nonmonotonic formalisms to characterize equivalent replacements, has not yet been investigated. In this paper, we study how strong equivalence between SETAFs can be decided with respect to the most important semantics and also consider variants of strong equivalence.

[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]  Madalina Croitoru,et al.  Toward a More Efficient Generation of Structured Argumentation Graphs , 2018, COMMA.

[3]  Thomas Linsbichler,et al.  Preprocessing Argumentation Frameworks via Replacement Patterns , 2019, JELIA.

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

[5]  Stefan Woltran,et al.  On the Expressive Power of Collective Attacks , 2018, COMMA.

[6]  Stefan Woltran,et al.  Evaluating SETAFs via Answer-Set Programming , 2018, SAFA@COMMA.

[7]  Sylwia Polberg.  Understanding the Abstract Dialectical Framework , 2016, JELIA.

[8]  Ringo Baumann,et al.  The equivalence zoo for Dung-style semantics , 2018, J. Log. Comput..

[9]  Giorgos Flouris,et al.  A comprehensive study of argumentation frameworks with sets of attacking arguments , 2019, Int. J. Approx. Reason..

[10]  Ringo Baumann,et al.  Normal and strong expansion equivalence for argumentation frameworks , 2012, Artif. Intell..

[11]  David Pearce,et al.  Strongly equivalent logic programs , 2001, ACM Trans. Comput. Log..

[12]  Miroslaw Truszczynski,et al.  Strong and uniform equivalence of nonmonotonic theories – an algebraic approach , 2006, Annals of Mathematics and Artificial Intelligence.

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

[14]  Stefan Woltran,et al.  Characterizing Strong Equivalence for Argumentation Frameworks , 2010, KR.

[15]  Thomas Linsbichler,et al.  A General Notion of Equivalence for Abstract Argumentation , 2017, IJCAI.

[16]  Ringo Baumann.  Characterizing Equivalence Notions for Labelling-Based Semantics , 2016, KR.