A Principle-Based Analysis of Weakly Admissible Semantics

被引:12
作者
Dauphin, Jeremie [1 ]
Rienstra, Tjitze [2 ]
Van Der Torre, Leendert [1 ,3 ]
机构
[1] Univ Luxembourg, Luxembourg, Luxembourg
[2] Univ Koblenz Landau, Mainz, Germany
[3] Zhejiang Univ, Hangzhou, Zhejiang, Peoples R China
来源
COMPUTATIONAL MODELS OF ARGUMENT (COMMA 2020) | 2020年 / 326卷
关键词
Formal argumentation; abstract argumentation; principle-based analysis; weak admissibility;
D O I
10.3233/FAIA200502
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Baumann, Brewka and Ulbricht recently introduced weak admissibility as an alternative to Dung's notion of admissibility, and they use it to define weakly preferred, weakly complete and weakly grounded semantics of argumentation frameworks. In this paper we analyze their new semantics with respect to the principles discussed in the literature on abstract argumentation. Moreover, we introduce two variants of their new semantics, which we call qualified and semi-qualified semantics, and we check which principles they satisfy as well. Since the existing principles do not distinguish our new semantics from the ones of Baumann et al., we also introduce some new principles to distinguish them. Besides selecting a semantics for an application, or for algorithmic design, our new principle-based analysis can also be used for the further search for weak admissibility semantics.
引用
收藏
页码:167 / 178
页数:12
相关论文
共 9 条
[1]  
[Anonymous], 2009, Studia Logica, DOI DOI 10.1007/S11225-009-9218-X
[2]   SCC-recursiveness: a general schema for argumentation semantics [J].
Baroni, P ;
Giacomin, M ;
Guida, G .
ARTIFICIAL INTELLIGENCE, 2005, 168 (1-2) :162-210
[3]   On the Input/Output behavior of argumentation frameworks [J].
Baroni, Pietro ;
Boella, Guido ;
Cerutti, Federico ;
Giacomin, Massimiliano ;
van der Torre, Leendert ;
Villata, Serena .
ARTIFICIAL INTELLIGENCE, 2014, 217 :144-197
[4]  
Baumann Ringo, P 17 INT C KR 2020 R
[5]  
Baumann Ringo, 2020, 34 AAAI C ART INT AA
[6]  
Besnard Philippe, CEUR WORKSHOP PROCEE, V1672, P40
[7]  
Cramer Marcos, 2019, CEUR Workshop Proceedings, P24
[8]   ON THE ACCEPTABILITY OF ARGUMENTS AND ITS FUNDAMENTAL ROLE IN NONMONOTONIC REASONING, LOGIC PROGRAMMING AND N-PERSON GAMES [J].
DUNG, PM .
ARTIFICIAL INTELLIGENCE, 1995, 77 (02) :321-357
[9]  
van der Torre L, 2018, Handbook of formal argumentation, V1, P2735