Readings in Model-Based Diagnosis

This book discusses model-based diagnosis from first principles, Hierarchies, and Relaxation of Diagnostic Assumptions.

Abstract

Chapter 1: Introduction to Model-based Diagnosis Introduction Model-based reasoning: Troubleshooting by Randall Davis and Walter Hamscher Chapter 2: Logical Foundations Introduction A theory of diagnosis from first principles by Raymond Reiter A correction to the algorithm in Reiter's theory of diagnosis by Russell Greiner, Barbara Smith, and Raymond Reiter The alibi principle Normality and faults in logic-based diagnosis A spectrum of logical definitions of model-based diagnosis On tests for hypothetical reasoning by Sheila McIlraith and Raymond Reiter Chapter 3: The General Diagnostic Engine Introduction Diagnosis multiple faults by Johan de Kleer and Brian C. Williams Using crude probability estimates to guide diagnosis by Johan de Kleer Diagnosis with behavioral modes by Johan de Kleer and Brian C. Williams Focusing on probable diagnoses One step lookahead is pretty good by Johan de Kleer, Olivier Raiman, and Mark Shirley MOMO - Model-based diagnosis for everybody Chapter 4: Fault Models Introduction Physical negation: Integrating fault models into the general diagnostic engine by Peter Struss and Oskar Dressler Physical impossibility instead of fault models by Gerhard Friedrich, Georg Gottlob, and Wolfgang Nejdl Diagnosing multiple failures using knowledge of component states by Lester Holtzblatt Characterizing non-intermittent faults by Olivier Raiman, Johan de Kleer, Vijay Saraswat, and Mark Shirley Chapter 5: Analog Systems Introduction Model-based diagnosis in SOPHIE III by Johan de Kleer and John Seely Brown Controlling inequality reasoning in a TMS-based analog diagnosis system by David Jerald Goldstone ACP: Reason maintenance and inference control for constraint propogation over intervals by Walter Hamscher Troubleshooting: When modeling is the trouble by Philippe Dague, Olivier Raiman, and Philippe Deves Chapter 6: Diagnosing Devices with State Introduction Analog systems diagnosis by Philippe Dague, P. Deves, P. Luciani, and P. Taillibert When oscillators stop oscillating Model-based monitoring of dynamic systems by Daniel Dvorak and Benjamin Kuipers Dynamic across-time measurement interpretation by Dennis DeCoste Qualitative modeling and fault diagnosis of dynamic processes by MIDAS by O.O. Oyeleye, F.E. Finch, and M.A. Kramer Diagnosing circuits with state: An inherently underconstrained problem by Walter Hamscher and Randall Davis Modeling digital circuits for troubleshooting by Walter Hamscher SIDIA: Extending prediction based diagnosis to dynamic models by Thomas Guckenbiehl and Gisela Schafer-Richter Qualitative reasoning with deep-level mechanism models for diagnoses of mechanism failures by Jeff Yung-Coa Pan Chapter 7: Hierarchies Introduction The use of design descriptions in automated diagnosis by Michael Genesereth Generating distinguishing tests based on hierarchical models and symptom information by Mark Shirley and Randall Davis SATURN: An automatic test generation system for digital circuits by Narinder Singh Hierarchical model-based diagnosis by Igor Mozetic Chapter 8: Relaxation of Diagnostic Assumptions Introduction Diagnostic reasoning based on structure and behavior by Randall Davis Diagnosis as a process What's in SD? Towards a theory of modeling for diagnosis by Peter Struss Chapter 9: Probabilistic Approaches Introduction Distributed diagnosis of systems with multiple faults by Hector Geffner and Judea Pearl An improved constraint-propogation algorithm for diagnosis by Hector Geffner and Judea Pearl Representing diagnostic knowledge for probabilistic Horn abduction by David Poole Annotated Bibliography Credits Author Index Subject Index