Virtual evidence transmission algorithm preserving the global consistency property of algebraic Bayesian networks

In the theory of algebraic Bayesian networks (logical probabilistic graphical models using the form of interval estimations of the probabilistic truth values of propositional formulas for knowledge with uncertainty representation) the notion of consistency contained in the knowledge system has been formalized. This paper analyzes the algorithm for propagation of received evidences from the point of view of preserving consistency in the course of its execution. An improvement of an existing algorithm providing consistency preservation is proposed.