|
|
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倍.2 r( ~0 e3 ?0 G6 O# W( k& J) r( Q- z
; |$ \* s8 k- p! W4 o% o; n7 [' v4 E( R
关键词:知识编译;扩展规则;超扩展规则;EPCCL理论;并行编译 y Q: ?/ q- c& `0 h) u
; z: a k: D% d& s% J5 d- r; T# [- ^
知识编译的主要目的是为了提高重复性任务的计算效率,主要思想为将问题的求解分为两个基本阶段:离线编译和在线推理. Darwiche和 Marquis介绍了知识编译图谱用于比较不同的目标语言.随后,相关学者对知识编译图谱进行了扩充。2 c6 D) u% m- u- H
' c# k9 V/ n6 N* i. P9 \7 n2 H
" M$ o: V8 y& y' K7 n" L; H
8 O4 B/ Y. p1 C/ C( p7 i
6 C- k3 s- Z- s0 Z
( }! e1 O" m8 ~9 \8 H/ m; n& |' F0 y2 c/ Y% ^9 m
6 ^! O' r5 l, ]
+ x o( h: Y- B% k, X |
|
/1 
发表于 2021-6-3 09:11
收藏
淘帖
支持！
反对！