A theory of diagnosis from first principles.

*(English)*Zbl 0643.68122Suppose one is given a description of a system, together with an observation of the system’s behaviour which conflicts with the way the system is meant to behave. The diagnostic problem is to determine those components of the system which, when assumed to be functioning abnormally, will explain the discrepancy between the observed and correct system behaviour.

We propose a general theory for this problem. The theory requires only that the system be described in a suitable logic. Moreover, there are many such suitable logics, e.g. first-order, temporal, dynamic, etc. As a result, the theory accommodates diagnostic reasoning in a wide variety of practical settings, including digital and analogue circuits, medicine, and database updates. The theory leads to an algorithm for computing all diagnoses, and to various results concerning principles of measurement for discriminating among competing diagnoses. Finally, the theory reveals close connections between diagnostic reasoning and nonmonotonic reasoning.

We propose a general theory for this problem. The theory requires only that the system be described in a suitable logic. Moreover, there are many such suitable logics, e.g. first-order, temporal, dynamic, etc. As a result, the theory accommodates diagnostic reasoning in a wide variety of practical settings, including digital and analogue circuits, medicine, and database updates. The theory leads to an algorithm for computing all diagnoses, and to various results concerning principles of measurement for discriminating among competing diagnoses. Finally, the theory reveals close connections between diagnostic reasoning and nonmonotonic reasoning.

##### MSC:

68T99 | Artificial intelligence |

94C10 | Switching theory, application of Boolean algebra; Boolean functions (MSC2010) |

Full Text:
DOI

##### References:

[1] | () |

[2] | Brown, J.S.; Burton, D.; de Kleer, J., Pedagogical natural language and knowledge engineering techniques in SOPHIE I, II and III, (), 227-282 |

[3] | () |

[4] | Davis, R., Diagnostic reasoning based on structure and behavior, Artificial intelligence, 24, 347-410, (1984) |

[5] | de Kleer, J., Local methods for localizing faults in electronic circuits, MIT AI memo 394, (1976), Cambridge, MA |

[6] | de Kleer, J.; Williams, B.C., Diagnosing multiple faults, Artificial intelligence, 32, 97-130, (1987), (this issue) · Zbl 0642.94045 |

[7] | Genesereth, M.R., The use of design descriptions in automated diagnosis, Artificial intelligence, 24, 411-436, (1984) |

[8] | Ginsberg, M.L., Counterfactuals, Artificial intelligence, 30, 35-79, (1986) · Zbl 0655.03011 |

[9] | Jacobs, B.E., On database logic, J. ACM, 29, 2, 310-332, (1982) · Zbl 0497.68061 |

[10] | Jones, M.; Poole, D., An expert system for educational diagnosis based on default logic, (), 673-683, Avignon, France |

[11] | McCarthy, J., Applications of circumscription to formalizing common-sense knowledge, Artificial intelligence, 28, 89-116, (1986) |

[12] | Moszkowski, B., A temporal logic for multilevel reasoning about hardware, IEEE computer, 18, 2, 10-19, (1985) |

[13] | Poole, D.; Aleliunas, R.; Goebel, R., Theorist: A logical reasoning system for defaults and diagnosis, () |

[14] | Reggia, J.A., Personal communication. |

[15] | Reggia, J.A.; Nau, D.S.; Wang, Y., Diagnostic expert systems based on a set covering model, Int. J. man-Mach. stud., 19, 437-460, (1983) |

[16] | Reggia, J.A.; Nau, D.S.; Wang, Y., A formal model of diagnostic inference I. problem formulation and decomposition, Inf. sci., 37, 227-256, (1985) · Zbl 0583.68046 |

[17] | Reiter, R., A logic for default reasoning, Artificial intelligence, 13, 1, 2, 81-132, (1980) · Zbl 0435.68069 |

[18] | Tsotsos, J.K., Knowledge organization and its role in representation and interpretation for time-varying data: the ALVEN system, Comput. intell., 1, 16-32, (1985) |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.