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
相关论文
共 20 条
[1]   On bipolarity in argumentation frameworks [J].
Amgoud, L. ;
Cayrol, C. ;
Lagasquie-Schiex, M. C. ;
Livet, P. .
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2008, 23 (10) :1062-1093
[2]  
[Anonymous], 1955, Pacific J. Math., DOI 10.2140/pjm.1955.5.285
[3]  
[Anonymous], 2009, Studia Logica, DOI DOI 10.1007/S11225-009-9218-X
[4]   Support in Abstract Argumentation [J].
Boella, G. ;
Gabbay, D. M. ;
van der Torre, L. ;
Villata, S. .
COMPUTATIONAL MODELS OF ARGUMENT: PROCEEDINGS OF COMMA 2010, 2010, 216 :111-122
[5]  
Caminada M, 2006, FR ART INT, V144, P121
[6]   On the issue of reinstatement in argumentation [J].
Caminada, Martin .
LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 :111-123
[7]  
Cayrol C, 2005, LECT NOTES COMPUT SC, V3571, P378
[8]  
Cayrol C., 2007, 7 INT WORKSHOP COMPU
[9]   Bipolarity in argumentation graphs: Towards a better understanding [J].
Cayrol, Claudette ;
Lagasquie-Schiex, Marie-Christine .
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2013, 54 (07) :876-899
[10]   A survey of different approaches to support in argumentation systems [J].
Cohen, Andrea ;
Gottifredi, Sebastian ;
Garcia, Alejandro J. ;
Simari, Guillermo R. .
KNOWLEDGE ENGINEERING REVIEW, 2014, 29 (05) :513-550