首页 | 本学科首页   官方微博 | 高级检索  
     

gfp-模型的描述逻辑FLε的循环术语集推理
引用本文:覃俊明,耿继兵,王驹,蒋运承.gfp-模型的描述逻辑FLε的循环术语集推理[J].计算机工程与应用,2010,46(12):32-37.
作者姓名:覃俊明  耿继兵  王驹  蒋运承
作者单位:1. 广西师范大学,数学科学学院,广西,桂林,541004
2. 广西师范大学,计算机科学与信息工程学院,广西,桂林,541004
3. 广西师范大学,计算机科学与信息工程学院,广西,桂林,541004;中国科学院,计算机科学国家重点实验室,北京,100190
基金项目:国家自然科学基金No.60663001;;中国科学院软件研究所计算机科学国家重点实验室开放课题项目No.SYSKF0904;;广西自然科学基金项目No.0991100,No.0832103;;广西壮族自治区研究生教育创新计划项目No.2009106020701M31~~
摘    要:描述逻辑(DL)一族知识表示形式系统,是人工智能领域的一个热门研究方向。循环定义下描述逻辑系统的表达在许多情况下更符合人们的直觉,而且具有更强的表达力,是非循环定义下的描述逻辑系统不可代替的。首先给出描述逻辑系统FLε有最大不动点模型的证明,然后初步探讨基于最大不动点语义下描述逻辑系统FLε循环定义的包含关系推理算法,并给出算法的可靠性和完全性证明。

关 键 词:描述逻辑  FLε  循环术语集  最大不动点语义  描述图  图模拟
收稿时间:2009-9-28
修稿时间:2009-11-13  
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机工程与应用》浏览原始摘要信息
点击此处可从《计算机工程与应用》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号