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的孩子结点都是叶子结点.可以说simple-conjunction是更加严格的decomposability.

2.DNNF vs. DNF.

    • properties
    DNNF is decomposability.
    DNF is flatness and simple-conjunction, and obtain decomopsability from simple-conjunction.
    其实可以说 DNF ⊆ DNNF，DNF是更为严格的DNNF，即DNF是对height进行规定的DNNF.
    • succinctness
    DNF < DNNF
    • queries
    DNF and DNNF are satisfy the same queries: CO, CE, ME.

3.CE vs. SE vs. IM.
    
    • CE: For formula Σ and cluse α,to test whether Σ╞α.
    • SE: For two formulas Σ and Γ ,to test whether Σ╞Γ or Γ╞Σ.
    • IM: For term βand formula Σ, to test whether β╞Σ.
    

4.P vs. NP

P problem: polynomial time turing machine,确定性图灵机问题
NP problem: non-deterministic plynomial time turing machine, 不确定性图灵机问题
一般NP问题指不存在多项式时间算法的问题。

5.Definition of succinctness, queries and transformations.

    • succinctness: the ability of a language to represent information using little space.
    • queries: operations returning information from a compiled form without changing it.
    • transformations: operations modifying the compiled form.

6.P20.T12.(succinctness)为什么 DNNF !<=* CNF 可以推出 DNNF !<=* NNF? 和 d-DNNF, sd-DNNF又有什么关系？
 
结论：若一个语言 L !<=* L',则 L !<=* L'的父类语言；若一个语言 L !<=* L'，则 L 的子集语言 !<=* L；
因为 CNF ⊆ NNF，所以 DNNF !<=* NNF。
又因为 sd-DNNF ⊆ d-DNNF ⊆ DNNF，所以 sd-DNNF !<=* CNF,sd-DNNF !<=* NNF; d-DNNF !<=* CNF,d-DNNF !<=* NNF.
    

7.P22.T14怎么推出 DNF !<= sd-DNNF, CNF !<= sd-DNNF… ?

因为 DNF !<= d-DNNF,CNF !<= d-DNNF,PI !<= d-DNNF, IP !<= d-DNNF
又因为在简洁性的关系中 sd-DNNF = d-DNNF,所以sd-DNNF与其他语言的简洁性关系应该与 d-DNNF一致

8.为什么 SE → EQ，不同 EQ !→ SE ?

Lemma A.10 Sentences Σ1  and Σ2  are equivalent iff Σ1 ╞ Σ2 and Σ2  ╞ Σ1. 
例如：Sentences Σ1  and Σ2

（1）SE → EQ

        测试 Σ1 ╞ Σ2 ,即执行SE操作，结果是true;并且测试Σ2  ╞ Σ1,结果也为true.
    这是我们可以通过以上两个 SE操作的结果得出Σ1  ≡Σ2 的结论。
    
（2）!SE → !EQ
        再测试Σ1 ╞ Σ2 ，这时结果是false，马上可以得出Σ1    !≡ Σ2 
        只要有一个句子不蕴含另一个句子，则相等关系就不成立。

（3）EQ → SE
        由Lemma A.10可知只要两个句子相等则它们互相蕴含，即这时 EQ 可以推出 SE。
        
（4）!EQ !→ !SE
        由Lemma A.10可知只要有任意一个句子不蕴含另外一个句子，则句子不等价。
        比如此时Σ1    !╞ Σ2 ,则马上可得Σ1    !≡ Σ2 ，但是Σ2  ╞ Σ1
        于是此时 EQ 不成立不能推出 SE。
        

9.P22.T16为什么 DNNF不满足VA ?

结论：
    • 如果 L ⊆ L', L does not satisfy operation P, then L' also does not satisfy P.
    • 如果 L ⊇ L'，L satisfy operation P, then L' also satisfy P.
注：包含⊇ ；包含于⊆

因为 DNF 不支持VA操作，并且 DNF ⊆ DNNF，所以DNNF也不支持VA操作

10.MODS是否是命题的model集合？

目前讨论的结果认为MODS是命题公式的主析取范式。
model是命题公式的成真赋值集合。

11.P20.T20为什么 OBDD< 支持 SE ？

P12.
    • If a language L satisfifies CO and is closed under negation and conjunction, then it must satisfy SE (to test whether ∆ ╞ Γ, all we have to do, by the Refutation Theorem, is test whether ∆ ∧ ¬Γ is inconsistent). 
    • If a language satisfifies  VA and is closed under  negation and disjunction, it must satisfy SE  by the Deduction Theorem. 

因为 OBDD< satisfies CO, ¬C and ∧BC,by the Refutation Theorem, OBDD< satisfies SE.

12.P24.T24为什么 PI 和 IP 都满足 SE ？

For sentences Σ and Γ:
因为 PI 满足 CE，若Σ和Γ都使用 PI 进行表示，则可对每个子句都是用CE 操作进行蕴涵测试，如果每个子句的蕴涵测试都为真，则Σ╞Γ。
IP同理。

综上 PI 和 IP 都满足 SE。

13.P27.T27 为什么 FBDD 不满足 SE ?
It is known that determining whether the conjunction of two FBDD formulas α1 and α2 is consistent is NP-complete (Gergov & Meinel, 1994b) Moreover, FBDD satisfifies ¬C. Since α1 ∧ α2 is inconsistent iff 
α1 ╞ ¬α2, we can reduce the consistency test into an entailment test.

因为测试两个 FBDD 句子的合取项是否可满足是NP完全问题，而测试两个FBDD合取项是否可满足的测试与α1 ╞ ¬α2是否为真是充分必要条件，所以FBDD不能满足句子蕴涵测试，即不满足SE。