Tableau算法在粗糙描述逻辑中的扩展应用

• 作者: 闫之焕
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 粗糙集 等价关系 描述逻辑 Tableau算法
• 年，卷（期）: 2015,（12）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 10-13
• 页数: 4页
• 分类号: TP301.6
• 字数: 4277字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2015.12.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	闫之焕	电子科技大学数学科学学院	4	9	2.0	2.0