This Article 
 Bibliographic References 
 Add to: 
Model-Based Diagnosis or Reasoning from First Principles
May/June 2003 (vol. 18 no. 3)
pp. 32-37
Bernhard Peischl, Technische Universit?t Graz
Franz Wotawa, Technische Universit?t Graz

Model-based diagnosis refers to reasoning from first principles that declaratively describe a system's structural and behavioral properties. In recent years, model-based diagnosis has proven successful in such areas as software design and fault localization in hardware. However, although the basic principles of model-based diagnosis are well known, creating appropriate domain-specific models is still a challenge. Nevertheless, empirical results for industrial-sized problems related to the debugging of hardware designs show the appropriateness of model-based diagnosis for medium-size real-world problems in a commercial setting.

Index Terms:
model-based diagnosis, consistency-based diagnosis, qualitative reasoning, applications of diagnosis
Bernhard Peischl, Franz Wotawa, "Model-Based Diagnosis or Reasoning from First Principles," IEEE Intelligent Systems, vol. 18, no. 3, pp. 32-37, May-June 2003, doi:10.1109/MIS.2003.1200725
Usage of this product signifies your acceptance of the Terms of Use.