|
|
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倍.
p* E( q# g c7 n$ I- K: |
4 f- i. ^- u% \ q关键词:知识编译;扩展规则;超扩展规则;EPCCL理论;并行编译) [" j8 D1 Q+ v7 C; ?) K
/ J( P! N& \& x6 K w3 s: E" t2 r6 ~- G; {8 x* s% q$ T; m/ Z7 o
知识编译的主要目的是为了提高重复性任务的计算效率,主要思想为将问题的求解分为两个基本阶段:离线编译和在线推理. Darwiche和 Marquis介绍了知识编译图谱用于比较不同的目标语言.随后,相关学者对知识编译图谱进行了扩充。$ ^ N. {8 O2 h, \* x( B
, N( r' H/ l" z! Y* n4 {5 o/ R6 w7 B: P3 u
0 D( Z+ O l8 d; w- F8 }
( K+ z+ H( m% T$ k
+ C2 q6 p C5 k+ |) f4 X) L- @
. H2 J2 F' w! Q% n2 N5 n* s
; u, o2 s: v6 v5 B, A
8 B" F/ b5 C- w, H i% Y3 p |
|
/1 
发表于 2021-6-3 09:11
收藏
淘帖
支持！
反对！