.png){kind=icon}
返回
Simple contrapositive assumption-based argumentation frameworks
.png){kind=icon}
OA
AI
DOI：10.1016/j.ijar.2020.02.011.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Assumption-based argumentation is one of the most prominent formalisms for logical (or structured) argumentation, with tight links to different forms of defeasible reasoning. In this paper we study the Dung semantics for extended forms of assumption-based argumentation frameworks (ABFs), based on any contrapositive propositional logic, and whose defeasible assumptions are expressed by arbitrary formulas in that logic. We show that unless the falsity propositional constant is part of the defeasible assumptions, the grounded and the well-founded semantics for ABFs lack most of the desirable properties they have in abstract argumentation frameworks (AAFs), and that for simple definitions of the contrariness operator and the attacks relations, preferred and stable semantics are reduced to naive semantics. We also show the redundancy of the closure condition in the standard definition of Dung's semantics for ABFs, and investigate the use of disjunctive attacks in this setting. Finally, we show some close relations of reasoning with ABFs to reasoning with maximally consistent sets of premises, and consider some properties of the induced entailments, such as being cumulative, preferential, or rational relations that satisfy non-interference. (C) 2020 Elsevier Inc. All rights reserved.
Keyword:
Structured argumentation
Dung's semantics
Assumption-based argumentation
Deductive argumentation
Defeasible reasoning
Inconsistency management
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3
论文数:
3.0K
被引数:
5.1K
机构
引用论文
Laser-Induced Breakdown Spectroscopy (LIBS) on Geological Samples: Compositional Differentiation.png)
MRS Advances
MRS AdvancesIF0
PREAI
分享收藏分享收藏分享收藏The genome sequence of the rice blast fungus Magnaporthe grisea稻瘟病菌Magnaporthe grisea的基因组序列NatureOAAI
NatureIF0
OAAI分享收藏
查看更多内容