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 维普 万方数据 等数据库收录! |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
|