描述逻辑FL0循环术语集的可满足性

• 作者: 曹发生 汪天友
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 描述逻辑 FL0 互模拟
• 年，卷（期）: 2012,（14）
• 所属期刊栏目: 研究探讨
• 页码范围: 56-59
• 分类号: TP301
• 字数: 3547字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2012.14.012

摘要

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,基于图的互模拟的方法,给出了描述逻辑FL0循环术语集的可满足性条件.结果证明循环术语集的可满足性的推理是多项式复杂的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹发生	毕节学院逻辑与文化研究中心数学系	13	42	4.0	6.0
5	汪天友	贵阳学院数学系	12	26	3.0	4.0