Summing Out A Variable That Appears In The Table |

such that table

<b ,t>

Note that after this operation

<b ,SUM_{Y}t>

By the program invariant, and because there are no other confactors containingP(c) = SUM_{i}P(c &Y=v_{i})

David Poole and Nevin Lianwen Zhang,Exploiting Contextual Independence In Probabilistic Inference, Journal of Artificial Intelligence Research, 18, 2003, 263-313.

Summing Out A Variable That Appears In The Table |