Bipolar Argumentation Frameworks with a dual relation between defeat and defence

被引:0
|
作者
Alcantara, Joao [1 ]
Cordeiro, Renan [1 ]
机构
[1] Univ Fed Ceara, Dept Comp Sci, Fortaleza, CE, Brazil
关键词
ACCEPTABILITY; SEMANTICS;
D O I
10.1093/logcom/exae006
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Bipolar Argumentation Frameworks ($\textit{BAF}$s) extend Dung's Abstract Argumentation Frameworks ($\textit{AAF}$s) by incorporating an explicit notion of support between arguments. However, there is a price to pay: the semantics for $\textit{BAF}$s often involve more intricate definitions and computational procedures than those for $\textit{AAF}$s. In this paper, we establish a dual relation between defeat and defence. Taking profit from this dual perspective, we define conflict-free sets, acceptability, extension-based and labelling-based semantics as in $\textit{AAF}$s. We also show that our definitions collapse into the corresponding concepts proposed for $\textit{AAF}$s when the support relation is ignored. In particular, we prove the semantics $\beta $-admissible, $\beta $-complete, $\beta $-grounded, $\beta $-preferred, $\beta $-stable and $\beta $-semi-stable defined here for $\textit{BAF}$s are generalisations of the corresponding semantics for $\textit{AAF}$s. Besides generalising $\textit{AAF}$s semantics to $\textit{BAF}$s, our approach also preserves some of their most remarkable results, including Dung's Fundamental Lemma.
引用
收藏
页数:41
相关论文
共 50 条
  • [21] Investigating the Usefulness of Product Reviews Through Bipolar Argumentation Frameworks
    Zafarghandi, Atefeh Keshavarzi
    Qi, Ji
    Hollink, Laura
    Sang, Erik Tjong Kim
    Ceolin, Davide
    WEB ENGINEERING, ICWE 2024, 2024, 14629 : 296 - 308
  • [22] On the Gradual Acceptability of Arguments in Bipolar Weighted Argumentation Frameworks with Degrees of Trust
    Pazienza, Andrea
    Ferilli, Stefano
    Esposito, Floriana
    FOUNDATIONS OF INTELLIGENT SYSTEMS, ISMIS 2017, 2017, 10352 : 195 - 204
  • [23] A meta-argumentation approach for the efficient computation of stable and preferred extensions in dynamic bipolar argumentation frameworks
    Alfano, Gianvincenzo
    Greco, Sergio
    Parisi, Francesco
    INTELLIGENZA ARTIFICIALE, 2018, 12 (02) : 193 - 211
  • [24] On the Properties of the Relation between Argumentation Semantics and Argumentation Inference Operators
    Simari, Guillermo R.
    COMPUTATIONAL MODELS OF ARGUMENT, 2014, 266 : 3 - 8
  • [25] Efficiently computing extensions' probabilities over probabilistic Bipolar Abstract Argumentation Frameworks
    Fazzinga, Bettina
    Flesca, Sergio
    Furfaro, Filippo
    Scala, Francesco
    INTELLIGENZA ARTIFICIALE, 2019, 13 (02) : 189 - 200
  • [26] On the evolving relation between Belief Revision and Argumentation
    Falappa, Marcelo A.
    Garcia, Alejandro J.
    Kern-Isberner, Gabriele
    Simari, Guillermo R.
    KNOWLEDGE ENGINEERING REVIEW, 2011, 26 (01): : 35 - 43
  • [27] Intuition and Argumentation - on the Relation between intuitive and discursive Reason
    Streubel, Thorsten
    ANALYTIC AND CONTINENTAL PHILOSOPHY: METHODS AND PERSPECTIVES, 2016, 23 : 157 - 172
  • [28] Dual-Neighborhood Tabu Search for Computing Stable Extensions in Abstract Argumentation Frameworks
    Ke, Yuanzhi
    Hu, Xiaogang
    Sun, Junjie
    Wu, Xinyun
    Xiong, Caiquan
    Luo, Mao
    APPLIED SCIENCES-BASEL, 2024, 14 (15):
  • [29] Handling support cycles and collective interactions in the logical encoding of higher-order bipolar argumentation frameworks
    Lagasquie-Schiex, Marie-Christine
    JOURNAL OF LOGIC AND COMPUTATION, 2023, 33 (02) : 289 - 318
  • [30] Handling Support Cycles and Collective Interactions in the Logical Encoding of Higher-Order Bipolar Argumentation Frameworks
    Lagasquie-Schiex, Marie-Christine
    LOGIC AND ARGUMENTATION, CLAR 2021, 2021, 13040 : 244 - 265