基于子句的ALCN语言tableau算法增强方式

• 作者: 古华茂 石锦芹 高济
• 来源期刊: 东南大学学报（英文版）
• 学科: 工学
• 关键词: tableau算法 增强方式 子句 可满足性
• 年，卷（期）: 2008,（3）
• 页码范围: 361-364
• 页数: 4页
• 分类号: TP301
• 字数: 967字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2008.03.027

摘要

由于目前tableau算法在判断概念可满足性时会产生大量的描述重复(因而浪费了很多空间),针对描述逻辑语言ALCN提出了一种基于子句重构的tableau增强方式.该增强方式对概念描述先构建一个析取范式,并只保留其中的一个合取子句,然后用这个获得的最简的概念合取子句去取代传统tableau算法构建的完整树的结点标记中的子概念集(这个过程根据需要可重复多次).由于避免了传统tablcau算法因∩-,∪-规则所带来的大量的概念描述重复,这种增强方式在空间性能上有了非常大的改善.通过例子示范了这种增强方式的运用及其在空间性能上的改善程度.结果表明,这种改善是相当明显的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高济	浙江大学人工智能研究所	113	1578	22.0	34.0
2	古华茂	浙江大学人工智能研究所	10	82	4.0	9.0
11	石锦芹	浙江工商大学食品感官科学实验室	2	6	1.0	2.0