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

doi:10.3778/j.issn.1002-8331.2010.12.009

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (12): 32-37.DOI: 10.3778/j.issn.1002-8331.2010.12.009

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

覃俊明¹，耿继兵¹，王驹²，蒋运承^2，3

1.广西师范大学数学科学学院，广西桂林 541004
2.广西师范大学计算机科学与信息工程学院，广西桂林 541004
3.中国科学院计算机科学国家重点实验室，北京 100190

收稿日期:2009-09-28 修回日期:2009-11-13 出版日期:2010-04-21 发布日期:2010-04-21
通讯作者: 覃俊明

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

QIN Jun-ming¹，GENG Ji-bing¹，WANG Ju²，JIANG Yun-cheng^2，3

1.College of Mathematics Science，Guangxi Normal University，Guilin，Guangxi 541004，China
2.College of Computer Science and Information Engineering，Guangxi Normal University，Guilin，Guangxi 541004，China
3.State Key Laboratory of Computer Science，Chinese Academy of Sciences，Beijing 100190，China

Received:2009-09-28 Revised:2009-11-13 Online:2010-04-21 Published:2010-04-21
Contact: QIN Jun-ming

摘要/Abstract

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

Abstract:

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.

中图分类号:

TP301

覃俊明¹，耿继兵¹，王驹²，蒋运承^2，3. gfp-模型的描述逻辑FLε的循环术语集推理[J]. 计算机工程与应用, 2010, 46(12): 32-37.

QIN Jun-ming¹，GENG Ji-bing¹，WANG Ju²，JIANG Yun-cheng^2，3. gfp-model-based reasoning of terminological cycles in description logic FLε[J]. Computer Engineering and Applications, 2010, 46(12): 32-37.

[1]	高芳^1，2，韩璞¹，翟永杰¹. 基于变异操作的蚁群算法用于连续函数优化[J]. 计算机工程与应用, 2011, 47(4): 5-8.
[2]	赵东旭，乐晓波. 采用改进的进化策略优化模糊Petri网参数[J]. 计算机工程与应用, 2011, 47(4): 29-32.
[3]	宋小震^1，2，韩召伟¹，李永明³. 量子上下文无关文法的代数性质[J]. 计算机工程与应用, 2011, 47(4): 42-46.
[4]	黄敏镁. 粒子群算法在物流中心选址中的应用[J]. 计算机工程与应用, 2011, 47(4): 212-214.
[5]	党正军，杜中军. 基于图裁减和图搜索的工作流图验证算法[J]. 计算机工程与应用, 2011, 47(4): 226-228.
[6]	刘君^1，2，熊忠阳¹，王银辉¹. 改进型动态隧道神经网络在蛋白质预测的应用[J]. 计算机工程与应用, 2011, 47(3): 13-16.
[7]	刘琼荪，范瑞雅. 确定高斯核参数的聚类方法[J]. 计算机工程与应用, 2011, 47(3): 38-40.
[8]	韩召伟^1，2，韩召莹³. Lukasiewicz逻辑值上下文无关语言的代数刻画[J]. 计算机工程与应用, 2011, 47(3): 47-50.
[9]	戴海鹏，唐厚君. 求凸多边形直径的改进算法[J]. 计算机工程与应用, 2011, 47(3): 44-46.
[10]	李强，刘国栋. 多移动机器人的组队规划研究[J]. 计算机工程与应用, 2011, 47(2): 242-245.
[11]	陈应显. 基于模糊集的蚁群空间聚类方法研究[J]. 计算机工程与应用, 2011, 47(2): 5-7.
[12]	崔明义. 小波分解的浮点数编码遗传算法消噪变异研究[J]. 计算机工程与应用, 2011, 47(2): 35-37.
[13]	于勇¹，张亚²，郭希娟²，封雪². 基于成功回路的凹多面体的剖分算法[J]. 计算机工程与应用, 2011, 47(2): 41-42.
[14]	汪保，孙秦. 求解非线性方程组的一种并行算法[J]. 计算机工程与应用, 2011, 47(2): 49-51.
[15]	林时来，刘光远，张慧玲. 蚁群算法在呼吸信号情感识别中的应用研究[J]. 计算机工程与应用, 2011, 47(2): 169-172.

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

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

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics