gfp-模型的描述逻辑FLε的循环术语集推理  

gfp-model-based reasoning of terminological cycles in description logic FLε

作　　者：覃俊明[1] 耿继兵[1] 王驹[2] 蒋运承[2,3] 

机构地区：[1]广西师范大学数学科学学院,广西桂林541004 [2]广西师范大学计算机科学与信息工程学院,广西桂林541004 [3]中国科学院计算机科学国家重点实验室,北京100190

出　　处：《计算机工程与应用》2010年第12期32-37,共6页Computer Engineering and Applications

基　　金：国家自然科学基金No.60663001;中国科学院软件研究所计算机科学国家重点实验室开放课题项目No.SYSKF0904;广西自然科学基金项目No.0991100;No.0832103;广西壮族自治区研究生教育创新计划项目No.2009106020701M31~~

摘　　要：描述逻辑(DL)一族知识表示形式系统,是人工智能领域的一个热门研究方向。循环定义下描述逻辑系统的表达在许多情况下更符合人们的直觉,而且具有更强的表达力,是非循环定义下的描述逻辑系统不可代替的。首先给出描述逻辑系统FLε有最大不动点模型的证明,然后初步探讨基于最大不动点语义下描述逻辑系统FLε循环定义的包含关系推理算法,并给出算法的可靠性和完全性证明。Description Logic（DL） is a family of knowledge representation formalisms and a hotpoint research direction of artificial intelligence.Description logic systems with cycle definition are more accord with people＇s intuition,with stronger expression ability and can not be replaced by other description logics in non-cycle definition.This article first presents the semantics and syntax of the description logic system FLε,also gives a proof of the theorem on existence of greatest fixpoint model.Based on the greatest fixpoint semantics,it discusses algorithms for reasoning about the subsumption in cyclic terminological Tbox of the description logic system FLε which has existential and value restrictions.

关 键 词：描述逻辑 FLε 循环术语集 最大不动点语义 描述图 图模拟 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]