CORC  > 北京大学  > 数学科学学院
Argumentation-Based Reasoning with Inconsistent Knowledge Bases
Zhang, Xiaowang ; Zhang, Zhihu ; Xu, Dai ; Lin, Zuoquan
2010
关键词LOGIC OWL
英文摘要In this paper, we present an argumentation-based approach to dealing with inconsistency occurring in knowledge bases. We investigate several important logical properties of such an argumentation-based entailment relation and show its promising advantages in paraconsistent reasoning for inconsistent knowledge bases. Moreover, two basic inference problems, namely, satisfiability of concepts and query entailment, are discussed under our semantics. We provide a workable example in order to show the justifiability of the argumentation-based semantics.; Computer Science, Artificial Intelligence; Computer Science, Information Systems; Computer Science, Theory & Methods; EI; CPCI-S(ISTP); 4
语种英语
出处EI ; SCI
内容类型其他
源URL[http://hdl.handle.net/20.500.11897/315398]  
专题数学科学学院
推荐引用方式
GB/T 7714
Zhang, Xiaowang,Zhang, Zhihu,Xu, Dai,et al. Argumentation-Based Reasoning with Inconsistent Knowledge Bases. 2010-01-01.
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace