|
|||||
|
|
| 描述逻辑FL-循环术语集的语义及推理 | |
| 引用本文： | 蒋运承,王驹,邓培民,汤庸.描述逻辑FL-循环术语集的语义及推理[J].计算机学报,2008,31(2):185-195. |
| 作者姓名： | 蒋运承 王驹 邓培民 汤庸 |
| 作者单位： | 1. 广西师范大学计算机科学与信息工程学院,广西,桂林,541004;中山大学计算机科学系,广州,510275 2. 广西师范大学计算机科学与信息工程学院,广西,桂林,541004 3. 广西师范大学数学科学学院,广西,桂林,541004 4. 中山大学计算机科学系,广州,510275 |
| 基金项目： | 国家自然科学基金 , 广东省自然科学基金 , 广西青年科学基金 |
| 摘 要： | 循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.文中分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader的基础上进一步研究了描述逻辑FL~-循环术语集的语义及推理问题.给出了FL~-循环术语集的语法、语义和不动点模型的构造方法.针对FL~-循环术语集的需要,提出了一种新的有限自动机,使用有限自动机给出了不动点语义和描述语义下FL~-循环术语集的可满足性和包含推理算法,证明了推理算法的正确性,并给出了推理算法的复杂性定理. |
| 关 键 词： | 描述逻辑 循环术语集 不动点语义 描述语义 有限自动机 |
| 收稿时间： | 2006-11-20 |
| 修稿时间： | 2007-12-06 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |