文摘
An algorithm, called Semantics in Inference (SI) has been proposed recently for determining semantics of the intermediate factors constructed during exact inference in discrete Bayesian networks. In this paper, we establish the soundness and completeness of SI. We also suggest an alternative version of SI, one that is perhaps more intuitive as it is a simpler graphical approach to deciding semantics.