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

• 作者: 刘磊 吕帅 牛当当
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 知识编译 扩展规则 超扩展规则 EPCCL 理论 扩展反驳
• 年，卷（期）: 2016,（8）
• 所属期刊栏目: 数据挖掘、机器学习与类脑智能
• 页码范围: 1681-1696
• 页数: 16页
• 分类号: TP301
• 字数: 14826字
• 语种: 中文
• DOI: 10.11897/SP.J.1016.2016.01681

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊	吉林大学计算机科学与技术学院	211	1231	18.0	25.0
2	吕帅	吉林大学计算机科学与技术学院	42	204	8.0	13.0
8	牛当当	吉林大学计算机科学与技术学院	4	20	3.0	4.0