基于超扩展规则的知识编译方法

摘要：

超扩展规则是对扩展规则的扩充，基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集与差集，并将所得结果以 EPCCL 理论的形式保存。该文首次提出了扩展反驳方法，是一种新型推理方法，并在该推理方法与知识编译之间建立了联系。基于超扩展规则的性质，该文还提出了两种知识编译算法：求并知识编译算法 UKCHER 和求差知识编译算法 DKCHER，是两种新的知识编译算法。算法 UKCHER 是目前为止唯一一个可并行的 EPCCL 理论编译算法，算法 DKCHER 对于相变点附近的难解问题具有较高的编译效率和编译质量。实验结果表明：UKCHER 算法的编译效率和编译质量均优于 Lin 等人提出的 KCER 算法；当子句数和变量数的比值较大时，DKCHER 算法的编译效率和编译质量是最优的，相比于现有 EPCCL 理论编译算法，该算法具有较强的竞争力。

关键词：知识编译、扩展规则、超扩展规则、EPCCL 理论、扩展反驳

所属期刊栏目：39

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金61300049;教育部高等学校博士学科点专项科研基金20120061120059;吉林省重点科技攻关项目20130206052GX;吉林省青年科研基金项目20140520069JH，20150520058JH，20150520060JH;吉林省自然科学基金项目20150101054JC资助．

在线出版日期：2016-08-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共16页

页码：1681-1696