Probabilistic Reasoning in Intelligent Systems

5.4 DIAGNOSIS OF SYSTEMS WITH MULTIPLE FAULTS

5.4.1 An Example: Electronic Circuit

To illustrate the belief revision scheme, we will consider in detail an example treated by de Kleer and Williams [1986], Davis [1984], and Genesereth [1984]. The problem is, given the digital circuit depicted in Figure 5.6, to find the set of malfunctioning components that are most likely to have caused the observed behavior: F = 10, G = 12.

Figure 5.6 A circuit containing three multipliers, M₁, M₂, and M₃, and two adders, M₄ and M₅.

The causal network corresponding to this circuit is shown in Figure 5.7. The nodes of this network represent both observable ...