10.3969/j.issn.1673-629X.2015.12.003
Tableau算法在粗糙描述逻辑中的扩展应用
Tableau算法是描述逻辑中判断概念的可满足性最常用的方法,但传统的Tableau算法只适用于标准的描述逻辑.对于粗糙描述逻辑的情况,有的学者是把粗糙描述逻辑先通过一个转换函数转换为标准描述逻辑,然后再用Tableau算法实现推理,这就需要在Tableau算法中增加一些规则,这增加了算法不必要的工作. 文中给出了粗糙描述逻辑中概念包含关系的一种新的推理的Tableau算法,在这种改进的算法中只需用到概念的子概念和出现在概念中的角色就可以判断一个概念的可满足性,并证明了它的正确性,通过实例说明了它的有效性.
粗糙集、等价关系、描述逻辑、Tableau算法
25
TP301.6(计算技术、计算机技术)
国家自然科学基金资助项目11201053,11026081
2016-01-15(万方平台首次上网日期,不代表论文的发表时间)
共4页
10-13