Knowledge and reasoning with uncertainty modeling: matrix-and-vector calculus for local reconciliation of truth estimates

In the theory of algebraic Bayesian networks, there are four operations classified as a kind of local synthesis of consistent truth estimates: knowledge pattern consistency verification, knowledge pattern reconciliation, a posteriori inference, and knowledge pattern enclosing reconciliation. The paper presents a knowledge pattern model formalization based on the matrix-vector terms. The model itself is a conjuncts ideal with scalar or interval truth probabilistic estimates. A specification of all four operations of the local synthesis has been introduced in the matrix-vector terms.