Probabilistic diagnosis as an update problem

Incompleteness is addressed by using a framework that allows expression of probability. An update procedure is given to handle nonmonotonic change of knowledge. We point out the relationship between probabilistic diagnosis and probabilistic deductive database updates, and present a coincidence theorem which formally establishes it. An implication of the result allows us to treat diagnostic problems naturally within a probabilistic deductive database framework using the same procedure to insert and diagnose.