论文部分内容阅读
Tableau算法是描述逻辑中判断概念的可满足性最常用的方法,但传统的Tableau算法只适用于标准的描述逻辑。对于粗糙描述逻辑的情况,有的学者是把粗糙描述逻辑先通过一个转换函数转换为标准描述逻辑,然后再用Tableau算法实现推理,这就需要在Tableau算法中增加一些规则,这增加了算法不必要的工作。文中给出了粗糙描述逻辑中概念包含关系的一种新的推理的Tableau算法,在这种改进的算法中只需用到概念的子概念和出现在概念中的角色就可以判断一个概念的可满足性,并证明了它的正确性,通过实例说明了它的有效性。