描述逻辑εL循环术语集的混合推理

• 作者: 周生明 汤庸 王驹 蒋运承
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 描述逻辑 循环术语集 不动点语义 描述语义 混合推理
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 人工智能
• 页码范围: 15-22
• 页数: 8页
• 分类号: TP301
• 字数: 8466字
• 语种: 中文

摘要

循环术语集是描述逻辑长期以来的研究难点,它最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader和Brandt的基础上进一步研究了描述逻辑εL循环术语集的混合推理问题.给出了εL的混合循环知识库的语法和语义(包括不动点语义和描述语义).针对εL循环术语集混合推理的需要.提出了TBox-完全的概念,并重新定义了描述图(包括语法描述图和语义描述图).使用描述图之间的模拟关系和TBox-完全概念给出了最大不动点语义和描述语义下εL混合循环知识库的实例检测推理算法,证明了推理算法的正确性,并给出了推理算法的复杂性定理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王驹	广西师范大学计算机科学与信息工程学院	53	458	11.0	19.0
2	蒋运承	广西师范大学计算机科学与信息工程学院	44	591	15.0	23.0
4	汤庸	中山大学计算机科学系	95	1243	20.0	30.0
7	周生明	广西师范大学计算机科学与信息工程学院	20	152	6.0	11.0