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