Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Model-Based Diagnosis or Reasoning from First Principles
Peischl B., Wotawa F. IEEE Intelligent Systems & Their Applications18 (3):32-37,2003.Type:Article
Date Reviewed: Nov 6 2003

Diagnosis of malfunctions based on reasoning from first principles is discussed in this good research paper. However, the term “or” in the title is misleading: Model-based diagnosis can be done to detect design flaws or operational malfunctions, and can be based on simulation or on symbolic processing of a diagnosis model of the design. The paper would also benefit from a brief discussion of related works.

In the paper, basic terms are clearly defined, and the malfunction diagnosis problem, as well as the proposed solution, is well explained with simple circuits. Specifically, a consistency-based approach where the reasoning is from causes to effects is explained, and the benefits of hierarchical modeling are clarified with an example. Successful applications in software debugging, equipment configuration, vehicle diagnosis, space probes, and some other areas are elaborated.

Diagnostic problems are important, and reliability of the solution techniques is challenging. The reliability issue is not mentioned or tackled in the paper. For example, seven sentences in first-order logic are provided for the diagnosis model of the circuit without any explanation about why their completeness is important. Especially for large models, the assurance of the completeness (and also the redundancy) of the rules is of primordial importance.

Reviewer:  Tuncer I. Ören Review #: CR128518 (0403-0353)
Bookmark and Share
  Featured Reviewer  
 
Model Development (I.6.5 )
 
 
Domain-Specific Architectures (D.2.11 ... )
 
 
Process Models (F.3.2 ... )
 
 
Model Validation And Analysis (I.6.4 )
 
 
Semantics Of Programming Languages (F.3.2 )
 
 
Software Architectures (D.2.11 )
 
Would you recommend this review?
yes
no
Other reviews under "Model Development": Date
Toward a logical/physical theory of spreadsheet modeling
Isakowitz T., Schocken S., Henry C J. ACM Transactions on Information Systems 13(1): 1-37, 1995. Type: Article
Jun 1 1996
Simulation modeling handbook: a practical approach
Chung C., CRC Press, Inc., Boca Raton, FL, 2003.  608, Type: Book (9780849312410)
Nov 26 2003
Dynamics of deterministic and stochastic paired excitatory-inhibitory delayed feedback
Laing C., Longtin A. Neural Computation 15(12): 2779-2822, 2003. Type: Article
Jan 12 2004
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy