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.

image
Figure 5.6 A circuit containing three multipliers, M1, M2, and M3, and two adders, M4 and M5.

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

Get Probabilistic Reasoning in Intelligent Systems now with the O’Reilly learning platform.

O’Reilly members experience live online training, plus books, videos, and digital content from nearly 200 publishers.