loading...
Model-Based Diagnosis or Reasoning from First Principles
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MIS.2003.1200725May/June 2003 (vol. 18 no. 3) pp. 32-37
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
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.
 
 
BibTex
x
 
@article{ 10.1109/MIS.2003.1200725,
author = {Bernhard Peischl and Franz Wotawa},
title = {Model-Based Diagnosis or Reasoning from First Principles},
journal ={IEEE Intelligent Systems},
volume = {18},
number = {3},
issn = {1541-1672},
year = {2003},
pages = {32-37},
doi = {http://doi.ieeecomputersociety.org/10.1109/MIS.2003.1200725},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Intelligent Systems
TI - Model-Based Diagnosis or Reasoning from First Principles
IS - 3
SN - 1541-1672
SP32
EP37
EPD - 32-37
A1 - Bernhard Peischl,
A1 - Franz Wotawa,
PY - 2003
KW - model-based diagnosis
KW - consistency-based diagnosis
KW - qualitative reasoning
KW - applications of diagnosis
VL - 18
JA - IEEE Intelligent Systems
ER -
 
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
Citation:
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.