[Next] [Up] [Previous]
Next: Reducing Query DAGs Up: Generating Query DAGs Previous: Other Generation Algorithms

Soundness of the Q-DAG Clustering Algorithm


The soundness of the proposed algorithm is stated below. The proof is given in Appendix A.

That is, the theorem guarantees that the Q-DAG nodes generated by the algorithm will always evaluate to their corresponding probabilities under any partial or full instantiation of evidence variables.