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 , Davis , and Genesereth . 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.
The causal network corresponding to this circuit is shown in Figure 5.7. The nodes of this network represent both observable ...