Affiliation:
1. Institute of Logic and Computation, TU Wien, 1040 Vienna, Austria
Abstract
Abstract
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, a thorough study on the actual behaviour of collective attacks has not been carried out yet. In particular, the richer attack structure SETAFs provide can lead to different forms of redundant attacks, i.e. attacks that are subsumed by attacks involving less arguments. Also the notion of strong equivalence, which is fundamental in nonmonotonic formalisms to characterize equivalent replacements, has not been investigated for SETAFs so far. In this paper, we first provide a classification of different types of collective attacks and analyse for which semantics they can be proven redundant. We do so for eleven well-established abstract argumentation semantics. We then study how strong equivalence between SETAFs can be decided with respect to the considered semantics and also consider variants of strong equivalence. Our results show that removing redundant attacks in a suitable way provides direct means to characterize strong equivalence by syntactical equivalence of so-called kernels, thus generalizing well-known results on strong equivalence between Dung AFs.
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference23 articles.
1. Normal and strong expansion equivalence for argumentation frameworks;Baumann;Artificial Intelligence,2012
2. Context-free and context-sensitive kernels: update and deletion equivalence in abstract argumentation;Baumann,2014
3. Characterizing equivalence notions for labelling-based semantics;Baumann,2016
4. On the nature of argumentation semantics: existence and uniqueness, expressibility, and replaceability;Baumann;Handbook of Formal Argumentation,2018
5. The equivalence zoo for Dung-style semantics;Baumann;Journal of Logic and Computation,2018
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献