Access the full text.
Sign up today, get DeepDyve free for 14 days.
A. Hasman (1991)
Kardio. A study in deep and qualitative knowledge for expert systemsInternational Journal of Bio-medical Computing, 28
(1989)
Diagnosis of technical systems using design descriptions
(1989)
Diagnosis as a trial: the alibi principle
R. Reiter (1986)
A Theory of Diagnosis from First PrinciplesArtif. Intell., 32
J. Kleer (1991)
Focusing on Probable Diagnoses
(1993)
Mozeti c, I. On automatic fault isolation using DFT methodology for active analog lters
B. Crone-Rawe (1989)
SEKI Working Paper SWP-89-01
(1979)
Computers and Intractability
T. Hawley, R. Hawley (2005)
in Diagnostic
D. Poole (1989)
Normality and Faults in Logic-Based Diagnosis
F. Novak, I. Mozetič, M. Zarnik, Anton Biasizzo (1993)
Enhancing design-for-test for active analog filters by using CLPJournal of Electronic Testing, 4
J. Kleer, B. Williams (1987)
Diagnosing Multiple FaultsArtif. Intell., 32
J. Andersson, Stefan Andersson, Kent Boortz, M. Carlsson, Hans Nilsson, Thomas Sjöland, Johan Widén (1993)
SICStus Prolog User''s Manual
G. Friedrich, G. Gottlob, W. Nejdl (1992)
Formalizing the repair process
O. Raiman (1989)
Diagnosis as a trial: the alibi principle, Report
G. Friedrich, G. Gottlob, W. Nejdl (1990)
Physical Impossibility Instead of Fault Models
Jacques Cohen (1990)
Constraint logic programming languagesCommun. ACM, 33
(1990)
Speciication of constraint based inference mechanisms through extended uniication
J. McKinsey, G. Boole (1948)
The mathematical analysis of logic
U. Martin, T. Nipkow (1986)
Unification in Boolean ringsJournal of Automated Reasoning, 4
V.A. Saraswat, J. Kleer, O. Raiman (1990)
Proc. First Int. Workshop on Principles of Diagnosis
M. Gavanelli, Francesca Rossi (2010)
Constraint Logic Programming
Igor Mozeti, Bernhard PfahringerAustrian, B. Igor (1992)
Improving Diagnostic Eeciency in Kardio: Abstractions, Constraint Propagation, and Model Compilation
T. Bylander, D. Allemang, M. Tanner, J. Josephson (1989)
Some Results Concerning the Computational Complexity of Abduction
Fausto Giunchiglia, T. Walsh (1989)
Abstract Theorem Proving
C. Holzbaur (1990)
Ph.D. Thesis
I. Mozetič, Christian Holzbaur, F. Novak, M. Zarnik (1991)
Model-Based Analogue Circuit Diagnosis with CLP(R)
J. Lloyd (1983)
Foundation of logic programming
I. Mozetič, B. Pfahringer (1992)
Deep Models for Medical Knowledge Engineering
F. Novak, I. Mozetič, M. Santo-Zarnik, Anton Biasizzo (1993)
Enhancing design-for-test for active analog filters by using CLP(ℜ)Analog Integrated Circuits and Signal Processing, 4
P. Strass (1992)
Readings in Model-based Diagnosis
J. Kleer, Alan Mackworth, R. Reiter (1990)
Characterizing Diagnoses
Christian Holzbaur (2007)
Model-based Analogue Circuit Diagnosis with Clp(<)
M. Genesereth (1984)
The Use of Design Descriptions in Automated DiagnosisArtif. Intell., 24
(1989)
Crone-Rawe, B. Uniication algorithms for boolean rings
J. Kleer, B. Williams (1989)
Diagnosis with Behavioral Modes
P. Struss (1992)
What's in SD?: Towards a theory of modeling for diagnosis
P. Struss, O. Dressler (1989)
"Physical Negation" Integrating Fault Models into the General Diagnostic Engine
J. Lloyd (1984)
Foundations of Logic Programming
I. Mozetič (1991)
Hierarchical Model-Based DiagnosisInt. J. Man Mach. Stud., 35
M. Gallanti, M. Roncato, A. Stefanini, G. Tornielli (1989)
A Diagnostic Algorithm based on Models at Different Level of Abstraction
W. Büttner, H. Simonis (1987)
Embedding Boolean Expressions into Logic ProgrammingJ. Symb. Comput., 4
Gerhard Friedrich, Wolfgang Nejdl (1990)
MOMO-model-based diagnosis for everybodySixth Conference on Artificial Intelligence for Applications
Mehmet Dincbas, Pascal Hentenryck, H. Simonis, A. Aggoun, T. Graf, F. Berthier (1988)
The Constraint Logic Programming Language CHIP
(1990)
Contributions to a theory of diagnosis
We present IDA — an incrementaldiagnosticalgorithm which computes minimal diagnoses from diagnoses, and not from conflicts. As a consequence of this, and by using different models, one can control the computational complexity. In particular, we show that by using a model of the normal behavior, the worst-case complexity of the algorithm to compute thek+1st minimal diagnosis isO(n 2k ), wheren is the number of components. On the practical side, an experimental evaluation indicates that the algorithm can efficiently diagnose devices consisting of a few thousand components. We propose to use a hierarchy of models: first a structural model to compute all minimal diagnoses, then a normal behavior model to find the additional diagnoses if needed, and only then a fault model for their verification. IDA separates model interpretation from the search for minimal diagnoses in the sense that the model interpreter is replaceable. In particular, we show that in some domains it is advantageous to use the constraint logic programming system CLP(ß) instead of a logic programming system like Prolog.
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Apr 5, 2005
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.