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

• 作者: 王驹 耿继兵 蒋运承 覃俊明
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 描述逻辑 FLε 循环术语集 最大不动点语义 描述图 图模拟
• 年，卷（期）: 2010,（12）
• 所属期刊栏目: 研究、探讨
• 页码范围: 32-37
• 分类号: TP301
• 字数: 8954字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.12.009

摘要

描述逻辑(DL)一族知识表示形式系统,是人工智能领域的一个热门研究方向.循环定义下描述逻辑系统的表达在许多情况下更符合人们的直觉,而且具有更强的表达力,是非循环定义下的描述逻辑系统不可代替的.首先给出描述逻辑系统FLε有最大不动点模型的证明,然后初步探讨基于最大不动点语义下描述逻辑系统FLε循环定义的包含关系推理算法,并给出算法的可靠性和完全性证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王驹	广西师范大学计算机科学与信息工程学院	53	458	11.0	19.0
2	蒋运承	广西师范大学计算机科学与信息工程学院	44	591	15.0	23.0
6	覃俊明	广西师范大学数学科学学院	1	0	0.0	0.0
7	耿继兵	广西师范大学数学科学学院	1	0	0.0	0.0