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

文章编号：1004--5570(2013)01—0040—04 Tableau算法在粗逻辑知识推理中的应用 阎红灿1，闰宏图2，刘保相h (1．河北联合大学理学院，河北唐山063009，2．中海石油(中国)有限公司天津分公司，天津300452) 摘要：Tableau算法是本体推理部分描述逻辑中用于ABox一致性检验的算法，基于二值逻辑，不能完成多值概念 的一致性检测。将粗糙逻辑的基本思想植入描述逻辑体系中，并改进了Tableau算法，使粗糙描述逻辑能够完成 对租糙概念的推理任务，为基于语义的本体知识检索奠定了技术基础。 关键词：描述逻辑；粗糙逻辑；Tuableau算法；知识推理 中图分类号：TP391文献标识码：A Researchon ofTuableau application algorithm in rough——logicalknowledgereasoning YAN Ho