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

作者：牛当当; 吕帅; 王金艳

来源：哈尔滨工程大学学报, 2019, (12): 2044-2049.

• 自动推理
• 知识编译
• 扩展规则
• 超扩展规则
• 子句集
• EPCCCL理论
• 规约规则
• 相邻子句规约 automated reasoning
• knowledge compilation
• extension rule
• hyper extension rule
• clause set
• EPCCL theory
• reduction rule
• adjacent clauses reduction

利用规约规则可以约简EPCCL理论的规模,从而提高扩展规则知识编译算法的编译质量。为此,设计了约简EPCCL理论相邻子句的算法(reducing adjacent clauses in EPCCL,RACE),用于约简EPCCL理论中满足规约规则的相邻子句,进而降低了基于超扩展规则的求差知识编译算法(computing the difference set for knowledge compilation based on hyper extension rule,DKCHER)的中间结果 EPCCL理论和最终结果 EPCCL理论的规模。结合RACE算法和DKCHER算法,设计并实现了改进的...

• 单位
  广西师范大学; 吉林大学; 吉林大学计算机科学与技术学院; 西北农林科技大学