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 O’Reilly online learning.

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