questions about a knowledge compilation map
1.simple-conjunction vs. decomposability. • similarities:都作用在or-node上,规定每个and-node的变元不相交(重复). • difference:simple-conjunction规定DAG中的and-node的孩子结点都是叶子结点,满足simple-conjunction的表达式都满足flatness性质,即height<=2.decomposability则不规定and-node的孩子结点都是叶子结点.可以说s...
原创
2020-08-03 20:10:57 ·
1035 阅读 ·
0 评论