共 12 条
Bipolar Argumentation Frameworks with a dual relation between defeat and defence
被引:1
|作者:
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
相关论文