一种子句重构的增强Tableau算法

• 作者: 古华茂 吴海燕 王勋 高济
• 来源期刊: 模式识别与人工智能
• 学科: 工学
• 关键词: 增强Tableau 描述逻辑推理 可满足性 合取子句
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: 论文与报告
• 页码范围: 532-540
• 页数: 9页
• 分类号: TP181
• 字数: 11632字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-6059.2009.04.005

摘要

利用非循环定义的概念可展开的特性,提出一个基于子句重构的增强Tableau算法.采用最简洁的概念合取子句代替原来的子概念集对完整树/图上的结点进行标记,并设计一组推理规则以构建这样的完整树/图,从而消除传统Tableau算法中的∩-规则、∪-规则所带来的概念描述重复.因而在非循环定义概念可满足性判定问题上,空间性能有明显提高.此外,虽然文中只提供针对SI语言的规则和证明,可是这种处理思路同样适用于其它描述逻辑语言,因而具有一定的推广价值.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高济	浙江大学人工智能研究所	113	1578	22.0	34.0
2	王勋	浙江工商大学计算机与信息工程学院	28	216	7.0	14.0
3	古华茂	浙江大学人工智能研究所	10	82	4.0	9.0
7	吴海燕	浙江工商大学计算机与信息工程学院	6	4	1.0	2.0