|
|
EDA365欢迎您登录！
您需要 登录 才可以下载或查看，没有帐号？注册
x
摘要:基于超扩展规则,证明了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设计了两个并行知识编译算法Р-UKCHER(UKCHER withPUAE)和impP-UKCHER(UKCHER with imp-PUAE).实验结果表明 -UKCHER算法虽然没有提升UKCHER 算法的效率,但能够提升UKCHER 算法编译结果的质量,最好情况下可提升4倍;而 impP-UKCHER 算法能够提高UKCHER算法的效率,同时也能够提升编译结果的质量,同样最好情况下可提升4倍. Z/ W& E/ v7 w* Q c1 l, q
" J; C! ?7 w5 v关键词:知识编译;扩展规则;超扩展规则;EPCCL理论;并行编译5 x) L$ [; a( V# N
8 n$ K) O2 w! k& R9 r
3 X# Y. L0 X+ Y# d6 ~8 q5 G# z# o 知识编译的主要目的是为了提高重复性任务的计算效率,主要思想为将问题的求解分为两个基本阶段:离线编译和在线推理. Darwiche和 Marquis介绍了知识编译图谱用于比较不同的目标语言.随后,相关学者对知识编译图谱进行了扩充。" f2 t; E5 ?2 j% e6 C. x# M6 ?- B, _
8 Y' v7 d* h- D$ z$ N# j
6 ?* G& `& s" F9 _
9 D( O H$ ^9 ?8 T
6 [/ l; r8 l. Z' T' p0 z* H2 {& D, }; A" F+ D; [' d4 W
/ e; Q1 v% i J4 o
: o0 Y+ y9 k2 r; ], E( H: g! e# {, e. \3 ~0 O; C- s( r
|
|
/1 
发表于 2021-6-3 09:11
收藏
淘帖
支持！
反对！