We characterize probabilities in Bayesian networks in terms of algebraic expressions called quasi-probabilities. These are arrived at by casting Bayesian networks as noisy AND-OR-NOT networks, and viewing the subnetworks that lead to a node as arguments for or against a node. Quasiprobabilities are in a sense the “natural” algebra of Bayesian networks: we can easily compute the marginal quasi-p...