Title
“Physical Negation”—integrating fault models into the General Diagnostic Engine
Abstract
The General Diagnostic Engine (GDE) provides an elegant and general framework for model-based diagnosis. However, like many other diagnostic systems, GDE's device models capture only the correct, or intended, behavior of its components. It is lacking an important part of diagnostic reasoning: knowledge about how components may behave when they are faulty. This fact can limit the performance of GDE considerably. We present a solution for integrating the use of fault models into GDE in a very homogeneous way, a system called GDE +. Unlike the basic GDE, it can not only exploit contradictions between the assumed correct behavior of components and the observations, but also analyze whether the faultiness of components would really explain the observations. Based on an extended version of the ATMS, GDE + is able to prove the correctness of components and to rule out implausible diagnostic hypotheses.
Year
Venue
Keywords
1989
Readings in model-based diagnosis
extended version,device model,basic gde,diagnostic system,general diagnostic engine,physical negation,diagnostic reasoning,general framework,assumed correct behavior,fault model,implausible diagnostic hypothesis
Field
DocType
ISBN
Diagnostic system,Negation,Homogeneous,Computer science,Correctness,Theoretical computer science,Exploit,Diagnostic reasoning
Conference
1-55860-249-6
Citations 
PageRank 
References 
120
15.18
6
Authors
2
Search Limit
100120
Name
Order
Citations
PageRank
Peter Struss136552.90
Oskar Dressler227339.35