基于相邻子句规约的求差知识编译算法

• 作者: 吕帅 牛当当 王金艳
• 来源期刊: 哈尔滨工程大学学报
• 学科: 工学
• 关键词: 自动推理 知识编译 扩展规则 超扩展规则 子句集 EPCCCL理论 规约规则 相邻子句规约
• 年，卷（期）: 2019,（12）
• 页码范围: 2044-2049
• 页数: 6页
• 分类号: TP301|TP181
• 字数: 5490字
• 语种: 中文
• DOI: 10.11990/jheu.201810017

摘要

利用规约规则可以约简EPCCL理论的规模,从而提高扩展规则知识编译算法的编译质量.为此,设计了约简EPCCL理论相邻子句的算法(reducing adjacent clauses in EPCCL,RACE),用于约简EPCCL理论中满足规约规则的相邻子句,进而降低了基于超扩展规则的求差知识编译算法(computing the difference set for knowledge com-pilation based on hyper extension rule,DKCHER)的中间结果EPCCL理论和最终结果EPCCL理论的规模.结合RACE算法和DKCHER算法,设计并实现了改进的DKCHER算法(improved DKCHER,imp-DKCHER).实验结果表明:imp-DKCHER算法能够显著提高DKCHER算法的编译质量,平均可提高17.3％,并在大部分实例上能够提高DKCHER算法的编译效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吕帅	吉林大学计算机科学与技术学院	42	204	8.0	13.0
5	王金艳	广西师范大学计算机科学与信息工程学院	6	19	2.0	4.0