.png){kind=icon}
返回
Computing ideal sceptical argumentation
.png){kind=icon}
PRE
AI
DOI：10.1016/j.artint.2007.05.003.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
We present two dialectic procedures for the sceptical ideal semantics for argumentation. The first procedure is defined in terms of dispute trees, for abstract argumentation frameworks. The second procedure is defined in dialectical terms, for assumptionbased argumentation frameworks. The procedures are adapted from (variants of) corresponding procedures for computing the credulous admissible semantics for assumption-based argumentation, proposed in [P.M. Dung, R.A. Kowalski, F. Toni, Dialectic proof procedures for assumption-based, admissible argumentation, Artificial Intelligence 170 (2006) 114-159]. We prove that the first procedure is sound and complete, and the second procedure is sound in general and complete for a special but natural class of assumption-based argumentation frameworks, that we refer to as p-acyclic. We also prove that in the case of p-acyclic assumptionbased argumentation frameworks (a variant of) the procedure of [P.M. Dung, R.A. Kowalski, F. Toni, Dialectic proof procedures for assumption-based, admissible argumentation, Artificial Intelligence 170 (2006) 114-1.59] for the admissible semantics is complete. Finally, we present a variant of the procedure of [P.M. Dung, R.A. Kowalski, F. Toni, Dialectic proof procedures for assumptionbased, admissible argumentation, Artificial Intelligence 170 (2006) 114-159] that is sound for the sceptical grounded semantics. (c) 2007 Elsevier B.V. All rights reserved.
Keyword:
abstract argumentatiom
assumption-based argumentation
ideal semantics
proof procedum
dispute
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
13.9
论文数:
6.1K
被引数:
1.9W
机构
暂无机构信息
引用论文
Seasonal changes and determination of heavy metal concentrations in Veshaw river of the Indian western Himalaya印度喜马拉雅山西部Veshaw河中重金属浓度的季节性变化和测定
OAAI
OAAI分享收藏分享收藏The Relationship Between Type 2 Diabetic Patients’ Early Medical Care–Seeking Consistency to the Same Clinician and Health Care System and Their Clinical Outcomes2型糖尿病患者早期就医一致性与临床医生和医疗保健系统的关系.png)
Medicine
OAAI
MedicineIF0
OAAI分享收藏The genome sequence of the rice blast fungus Magnaporthe grisea稻瘟病菌Magnaporthe grisea的基因组序列NatureOAAI
NatureIF0
OAAI分享收藏Effects of Plasma Glucose Concentration on Glucose Utilization and Glucose Clearance in Normal Man血浆葡萄糖浓度对正常人葡萄糖利用和葡萄糖清除的影响Diabetes
DiabetesIF0
PREAI
分享收藏
查看更多内容