EPCCL理论的并行知识编译算法

• 作者: 刘磊 吕帅 牛当当
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 知识编译 扩展规则 超扩展规则 EPCCL理论 并行编译
• 年，卷（期）: 2018,（3）
• 所属期刊栏目: 学术论文
• 页码范围: 537-543
• 页数: 7页
• 分类号: TP301|TP181
• 字数: 7006字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2018.03.004

摘要

基于超扩展规则,证明了EPCCL(Each Pair Contains Complementary Literal)理论的合并过程是可并行执行的,并设计了针对多个EPCCL理论的并行合并算法PUAE(Parallel computing Union of Any number of EPCCL).通过对EPCCL理论原始子句集的利用,提出了另一种高效的EPCCL理论并行合并算法imp-PUAE(improvement of PUAE).UKCHER(computing Union sets of maximum terms for Knowledge Compilation based on Hyper Extension Rule)是一种可并行的EPCCL理论编译算法,分别利用PUAE和imp-PUAE设计了两个并行知识编译算法P-UKCHER(UKCHER with PUAE)和impP-UKCHER(UKCHER with imp-PUAE).实验结果表明:P-UKCHER算法虽然没有提升UKCHER算法的效率,但能够提升UKCHER算法编译结果的质量,最好情况下可提升4倍;而impP-UKCHER算法能够提高UKCHER算法的效率,同时也能够提升编译结果的质量"同样最好情况下可提升4倍.

作者信息

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