The Resource Readings in model-based diagnosis, edited by Walter Hamscher, Luca Console, Johan de Kleer

Readings in model-based diagnosis, edited by Walter Hamscher, Luca Console, Johan de Kleer

Label
Readings in model-based diagnosis
Title
Readings in model-based diagnosis
Statement of responsibility
edited by Walter Hamscher, Luca Console, Johan de Kleer
Title variation
Model-based diagnosis
Contributor
Subject
Language
eng
Related
Cataloging source
DLC
Index
index present
LC call number
TA168
LC item number
.R36 1992
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Hamscher, Walter
  • Console, Luca
  • De Kleer, Johan
http://library.link/vocab/subjectName
  • Systems engineering
  • Artificial intelligence
  • Expert systems (Computer science)
  • Artificial intelligence
  • Expert systems (Computer science)
  • Systems engineering
  • Engenharia (simulação computacional)
  • Inteligência artificial
  • Sistemas especialistas
Label
Readings in model-based diagnosis, edited by Walter Hamscher, Luca Console, Johan de Kleer
Instantiates
Publication
Bibliography note
Includes bibliographical references and indexes
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Ch. 1. Introduction to Model-based Diagnosis. Model-based reasoning: Troubleshooting / Randall Davis and Walter Hamscher -- Ch. 2. Logical Foundations. A theory of diagnosis from first principles / Raymond Reiter. A correction to the algorithm in Reiter's theory of diagnosis / Russell Greiner, Barbara Smith and Ralph Wilkerson. Characterizing diagnoses and systems / Johan de Kleer, Alan Mackworth and Raymond Reiter. The alibi principle / Olivier Raiman. Normality and faults in logic-based diagnosis / David Poole. A spectrum of logical definitions of model-based diagnosis / Luca Console and Pietro Torasso. On tests for hypothetical reasoning / Sheila McIlraith and Raymond Reiter -- Ch. 3. The General Diagnostic Engine. Diagnosing multiple faults / Johan de Kleer and Brian C. Williams. Using crude probability estimates to guide diagnosis / Johan de Kleer. Diagnosis with behavioral modes / Johan de Kleer and Brian C. Williams. Focusing on probable diagnoses / Johan de Kleer
  • One step lookahead is pretty good / Johan de Kleer, Olivier Raiman and Mark Shirley. MOMO -- Model-based diagnosis for everybody / Gerhard Friedrich and Wolfgang Nejdl -- Ch. 4. Fault Models. Physical negation: Integrating fault models into the general diagnostic engine / Peter Struss and Oskar Dressler. Physical impossibility instead of fault models / Gerhard Friedrich, Georg Gottlob and Wolfgang Nejdl. Diagnosing multiple failures using knowledge of component states / Lester Holtzblatt. Characterizing non-intermittent faults / Olivier Raiman, Johan de Kleer, Vijay Saraswat and Mark Shirley -- Ch. 5. Analog Systems. Model-based diagnosis in SOPHIE III / Johan de Kleer and John Seely Brown. Controlling inequality reasoning in a TMS-based analog diagnosis system / David Jerald Goldstone. ACP: Reason maintenance and inference control for constraint propagation over intervals / Walter Hamscher. Troubleshooting: When modeling is the trouble / Philippe Dague, Olivier Raiman and Philippe Deves
  • Ch. 6. Diagnosing Devices with State. Analog systems diagnosis / Philippe Dague, P. Deves, P. Luciani and P. Taillibert. When oscillators stop oscillating / Philippe Dague, O. Jehl, P. Deves, P. Luciani and P. Taillibert. Model-based, multiple fault diagnosis of time-varying, continuous physical devices / Hwee Tou Ng. Model-based monitoring of dynamic systems / Daniel Dvorak and Benjamin Kuipers. Dynamic across-time measurement interpretation / Dennis DeCoste. Qualitative modeling and fault diagnosis of dynamic processes by MIDAS / O.O. Oyeleye, F.E. Finch and M.A. Kramer. Diagnosing circuits with state: An inherently underconstrained problem / Walter Hamscher and Randall Davis. Modeling digital circuits for troubleshooting / Walter Hamscher. SIDIA: Extending prediction based diagnosis to dynamic models / Thomas Guckenbiehl and Gisela Schafer-Richter. Qualitative reasoning with deep-level mechanism models for diagnoses of mechanism failures / Jeff Yung-Choa Pan -- Ch. 7. Hierarchies
  • The use of design descriptions in automated diagnosis / Michael Genesereth. Generating distinguishing tests based on hierarchical models and symptom information / Mark Shirley and Randall Davis. SATURN: An automatic test generation system for digital circuits / Narinder Singh. Hierarchical model-based diagnosis / Igor Mozetic -- Ch. 8. Relaxation of Diagnostic Assumptions. Diagnostic reasoning based on structure and behavior / Randall Davis. Diagnosis as a process / Peter Struss. What's in SD? Towards a theory of modeling for diagnosis / Peter Struss -- Ch. 9. Probabilistic Approaches. Distributed diagnosis of systems with multiple faults / Hector Geffner and Judea Pearl. An improved constraint-propagation algorithm for diagnosis / Hector Geffner and Judea Pearl. Representing diagnostic knowledge for probabilistic Horn abduction / David Poole
Dimensions
28 cm
Extent
ix, 520 pages
Isbn
9781558602496
Lccn
92025701
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)26212148
  • (OCoLC)ocm26212148
Label
Readings in model-based diagnosis, edited by Walter Hamscher, Luca Console, Johan de Kleer
Publication
Bibliography note
Includes bibliographical references and indexes
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Ch. 1. Introduction to Model-based Diagnosis. Model-based reasoning: Troubleshooting / Randall Davis and Walter Hamscher -- Ch. 2. Logical Foundations. A theory of diagnosis from first principles / Raymond Reiter. A correction to the algorithm in Reiter's theory of diagnosis / Russell Greiner, Barbara Smith and Ralph Wilkerson. Characterizing diagnoses and systems / Johan de Kleer, Alan Mackworth and Raymond Reiter. The alibi principle / Olivier Raiman. Normality and faults in logic-based diagnosis / David Poole. A spectrum of logical definitions of model-based diagnosis / Luca Console and Pietro Torasso. On tests for hypothetical reasoning / Sheila McIlraith and Raymond Reiter -- Ch. 3. The General Diagnostic Engine. Diagnosing multiple faults / Johan de Kleer and Brian C. Williams. Using crude probability estimates to guide diagnosis / Johan de Kleer. Diagnosis with behavioral modes / Johan de Kleer and Brian C. Williams. Focusing on probable diagnoses / Johan de Kleer
  • One step lookahead is pretty good / Johan de Kleer, Olivier Raiman and Mark Shirley. MOMO -- Model-based diagnosis for everybody / Gerhard Friedrich and Wolfgang Nejdl -- Ch. 4. Fault Models. Physical negation: Integrating fault models into the general diagnostic engine / Peter Struss and Oskar Dressler. Physical impossibility instead of fault models / Gerhard Friedrich, Georg Gottlob and Wolfgang Nejdl. Diagnosing multiple failures using knowledge of component states / Lester Holtzblatt. Characterizing non-intermittent faults / Olivier Raiman, Johan de Kleer, Vijay Saraswat and Mark Shirley -- Ch. 5. Analog Systems. Model-based diagnosis in SOPHIE III / Johan de Kleer and John Seely Brown. Controlling inequality reasoning in a TMS-based analog diagnosis system / David Jerald Goldstone. ACP: Reason maintenance and inference control for constraint propagation over intervals / Walter Hamscher. Troubleshooting: When modeling is the trouble / Philippe Dague, Olivier Raiman and Philippe Deves
  • Ch. 6. Diagnosing Devices with State. Analog systems diagnosis / Philippe Dague, P. Deves, P. Luciani and P. Taillibert. When oscillators stop oscillating / Philippe Dague, O. Jehl, P. Deves, P. Luciani and P. Taillibert. Model-based, multiple fault diagnosis of time-varying, continuous physical devices / Hwee Tou Ng. Model-based monitoring of dynamic systems / Daniel Dvorak and Benjamin Kuipers. Dynamic across-time measurement interpretation / Dennis DeCoste. Qualitative modeling and fault diagnosis of dynamic processes by MIDAS / O.O. Oyeleye, F.E. Finch and M.A. Kramer. Diagnosing circuits with state: An inherently underconstrained problem / Walter Hamscher and Randall Davis. Modeling digital circuits for troubleshooting / Walter Hamscher. SIDIA: Extending prediction based diagnosis to dynamic models / Thomas Guckenbiehl and Gisela Schafer-Richter. Qualitative reasoning with deep-level mechanism models for diagnoses of mechanism failures / Jeff Yung-Choa Pan -- Ch. 7. Hierarchies
  • The use of design descriptions in automated diagnosis / Michael Genesereth. Generating distinguishing tests based on hierarchical models and symptom information / Mark Shirley and Randall Davis. SATURN: An automatic test generation system for digital circuits / Narinder Singh. Hierarchical model-based diagnosis / Igor Mozetic -- Ch. 8. Relaxation of Diagnostic Assumptions. Diagnostic reasoning based on structure and behavior / Randall Davis. Diagnosis as a process / Peter Struss. What's in SD? Towards a theory of modeling for diagnosis / Peter Struss -- Ch. 9. Probabilistic Approaches. Distributed diagnosis of systems with multiple faults / Hector Geffner and Judea Pearl. An improved constraint-propagation algorithm for diagnosis / Hector Geffner and Judea Pearl. Representing diagnostic knowledge for probabilistic Horn abduction / David Poole
Dimensions
28 cm
Extent
ix, 520 pages
Isbn
9781558602496
Lccn
92025701
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)26212148
  • (OCoLC)ocm26212148

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...