2023-08-11
Expressiveness of SETAFs and Support-Free ADFs under 3-valued semantics
Publication
Publication
Journal of Applied Non Classical Logics , Volume 33 - Issue 3-4 p. 298- 327
Generalizing the attack structure in argumentation frameworks (AFs) has been studied in different ways. Most prominently, the binary attack relation of Dung frameworks has been extended to the notion of collective attacks. The resulting formalism is often termed SETAFs. Among the generalizations of AFs, abstract dialectical frameworks ADFs allow for a systematic and flexible generalization of AFs in which different kinds of logical relations, e.g.\ attack and support, among arguments can be represented. Restricting the logical relations among arguments leads to different subclasses of ADFs of interest. In this work we consider so-called support-free ADFs, that allow for all kinds of attacks but no support or other relations, and SETADFs, that embed SETAFs in the ADF setting. The aim of the paper is to shed light on the relation between these two different approaches. To this end, we investigate and compare the expressiveness of SETAFs and support-free ADFs under the lens of 3-valued semantics. Our results show that it is only the presence of unsatisfiable acceptance conditions in support-free ADFs that discriminates the two approaches.
| Additional Metadata | |
|---|---|
| , , | |
| doi.org/10.1080/11663081.2023.2244361 | |
| Journal of Applied Non Classical Logics | |
| The eye of the beholder: Transparent pipelines for assessing online information quality | |
| Organisation | Human-Centered Data Analytics |
|
W. Dvorak, Keshavarzi Zafarghandi, A., & S. Woltran. (2023). Expressiveness of SETAFs and Support-Free ADFs under 3-valued semantics. Journal of Applied Non Classical Logics, 33(3-4), 298–327. doi:10.1080/11663081.2023.2244361 |
|
