论文研究-描述逻辑FL0循环术语集的可满足性.pdf

【文件属性】：

文件名称：论文研究-描述逻辑FL0循环术语集的可满足性.pdf

文件大小：482KB

文件格式：PDF

更新时间：2022-09-26 18:39:48

论文研究

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