《计算机学报》文章摘要   全文下载
文章题目	描述逻辑FL-循环术语集的语义及推理
作者	蒋运承1),2) 王驹1) 邓培民3) 汤庸2)
作者单位	1)(广西师范大学计算机科学与信息工程学院 广西桂林 541004) 2)(中山大学计算机科学系 广州 510275) 3)(广西师范大学数学科学学院 广西桂林 541004)
发表年份	2008
发表月份	2期(185—195)
文章摘要	摘要 循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.文中分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader的基础上进一步研究了描述逻辑FL-循环术语集的语义及推理问题.给出了FL-循环术语集的语法、语义和不动点模型的构造方法.针对FL-循环术语集的需要,提出了一种新的有限自动机,使用有限自动机给出了不动点语义和描述语义下FL-循环术语集的可满足性和包含推理算法,证明了推理算法的正确性,并给出了推理算法的复杂性定理. 关键词 描述逻辑;循环术语集;不动点语义;描述语义;有限自动机 中图法分类号 TP301