描述逻辑FL-循环术语集的语义及推理

• 作者: 汤庸 王驹 蒋运承 邓培民
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 描述逻辑 循环术语集 不动点语义 描述语义 有限自动机
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 研究论文
• 页码范围: 185-195
• 页数: 11页
• 分类号: TP301
• 字数: 14953字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2008.02.001

摘要

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.文中分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader的基础上进一步研究了描述逻辑FL-循环术语集的语义及推理问题.给出了FL-循环术语集的语法、语义和不动点模型的构造方法.针对FL-循环术语集的需要,提出了一种新的有限自动机,使用有限自动机给出了不动点语义和描述语义下FL-循环术语集的可满足性和包含推理算法,证明了推理算法的正确性,并给出了推理算法的复杂性定理.

作者信息

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