Tableau算法在粗逻辑知识推理中的应用  

Research on application of Tuableau algorithm in rough-logical knowledge reasoning

作　　者：阎红灿[1] 闫宏图 刘保相[1] 

机构地区：[1]河北联合大学理学院,河北唐山063009 [2]中海石油(中国)有限公司天津分公司,天津300452

出　　处：《贵州师范大学学报（自然科学版）》2013年第1期40-43,共4页Journal of Guizhou Normal University：Natural Sciences

基　　金：河北省自然科学基金(A2011209046;GR(k))资助

摘　　要：Tableau算法是本体推理部分描述逻辑中用于ABox一致性检验的算法,基于二值逻辑,不能完成多值概念的一致性检测。将粗糙逻辑的基本思想植入描述逻辑体系中,并改进了Tableau算法,使粗糙描述逻辑能够完成对粗糙概念的推理任务,为基于语义的本体知识检索奠定了技术基础。Tableau Algorithm is used for the uniformity testing in ontology knowledge reasoning of DLs, which is based on two-value logics, it can not realize the uniformity testing for multiple-valued concepts. This paper took the fundamental ideal to the system of DLs, improved Tableau Algorithm by introducing approximate precision for the target of completing the reasoning assignments of RDLS to rough concepts, Which laid the foundation for 0ntology-based semantic knowledge retrieval technology.

关 键 词：描述逻辑 粗糙逻辑 Tuableau算法 知识推理 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]