tim@LINC.CIS.UPENN.EDU.UUCP (06/11/87)
ABDUCTIVE REASONING in MULTIPLE-FAULT DIAGNOSTIC SYSTEMS
Gary Morris
Computer and Information Science
University of Pennsylvania
Philadelphia PA
Abductive reasoning involves generating explanations for observed
facts or symptoms -- i.e. diagnosis. Diagnosis is more difficult,
both theoretically and practically, when more than one disorder or
fault may occur simultaneously in the system beign diagnosed. Five
approaches to this problem are reviewed and contrasted:
- Binary Choice Bayesian (Ben-Bassat: the MEDAS system)
- Sequential Bayesian (Pople: INTERNIST)
- Causal Model Reasoning (Patil: ABEL)
- Parsimonious Set Covering (Reggia & Nau: various systems)
- "Diagnosis From First Principles" (Reiter, deKleer: various)
Finally, an emerging convergence of these methods is described.
Friday, June 12, 3:30 pm
Room 554 Moore