Belief Maintenance with Probabilistic Logic
Marco F. Ramoni, Alberto Riva · 1993
Belief maintenance systems are natural extensions of truth maintenance systems that use probabilities rather than boolean truth-values. This paper introduces a general method for belief maintenance, based on (the propositional fragment of) probabilistic logic, that extends the Boolean Constraint Propagation method used by the logic-based truth maintenance systems. From the concept of probabilistic entailment, we derive a set of constraints on the (probabilistic) truth-values of propositions and we prove their soundness. These constraints are complete with respect to a well-defined set of clauses, and their partial incompleteness is compensated by a gain in computational efficiency. 1 Introduction Truth maintenance systems (tmss) are independent reasoning modules which incrementally maintain the beliefs of a general problem solving system, enabling it to reason with temporary assumptions in the growth of incomplete information. The concept of truth maintenance system is due to Doyle ...