Logical Deduction Using the Local Computation Framework

Nic Wilson, Jérôme Mengin

Abstract: Computation in a number of uncertainty formalisms has recently been revolutionized by the notion of local computation. [13] and [9] showed how Bayesian probability could be efficiently propagated in a network of variables; this has already lead to sizeable successful applications, as well as a large body of literature on these Bayesian networks and related issues (e.g., the majority of papers in the Uncertainty in Artificial Intelligence conferences over the last ten years).