Readings in model-based diagnosis
著者
書誌事項
Readings in model-based diagnosis
Morgan Kaufmann Publishers, c1992
- タイトル別名
-
Model-based diagnosis
大学図書館所蔵 件 / 全10件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and indexes
内容説明・目次
内容説明
Automated diagnosis has always been an important AI problem not only for its potential practical applications but because it exposes issues common to all automated reasoning efforts and presents real challenges to existing paradigms. Diagnosis is probably the single largest category of expert systems in use, a substantial fraction of which are concerned with the diagnosis of engineered systems and devices. This readings book is about artificial intelligence techniques for the diagnosis of engineered systems based on a general purpose model of the internal structure and behavior of the target device. These general purpose models can be constructed using standard AI technologies such as predicate logic, frames, constraints and rules. Complementing the modeling technology are algorithms for diagnosis that are also based on standard AI techniques such as theorem proving, heuristic search, qualitative simulation, and Bayes nets. The 42 papers reprinted in the volume reflect the maturation of the field and include the most seminal and frequently referenced sources. The editors have provided introductions to the papers and an annotated bibliography of over 350 works.
Readings in Model-based Diagnosis will be of interest to a wide range of professionals in the AI and engineering communities concerned with the building of diagnostic systems and with understanding the technology underlying them.
目次
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
「Nielsen BookData」 より
