Igor Mozetic  Home/Search
Context Related
| ai.univie.ac.at/pa...faitr9226.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ai.univie.ac.at/oe...reports1992 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present IDA --- an Incremental Diagnostic Algorithm which computes minimal diagnoses from diagnoses, and not from conflicts. As a consequence, by using a `weak' fault model, the worst-case complexity of the algorithm to compute the k+1-st minimal diagnosis is O(n 2k ), where n 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. IDA separates model... (Update)
Context of citations to this paper: More
.... we describe an attempt to reduce the number of model calls by incorporating two critical set al.gorithms [ Loveland, 1987 ] into IDA [ Mozetic, 1992 ] A critical set al.gorithm computes a minimal diagnosis with O(log n) model calls as opposed to O(n) model calls made by a...
...of smaller cardinality are found first) and relies on the underlying ATMS like theorem prover. In contrast, our algorithm [Mozeti c, 1992] better fits into the logic programming environment, and implements a top down, depth first search through the lattice. In...
Cited by: More
Explaining by Evidence - Lozinskii (Correct)
Diagnosing Tree-Decomposable Circuits - Fattah, Dechter (1995) (Correct)
Model-Based Diagnosis: An Overview - Mozetic (1992) (Correct)
Similar documents (at the sentence level):
64.8%: Controlling the Complexity in Model-Based Diagnosis - Mozetic, Holzbaur (1993) (Correct)
8.5%: Model-Based Diagnosis with Constraint Logic Programs - Igor Mozetic, Christian.. (1991) (Correct)
Active bibliography (related documents): More All
0.4: Computing Minimal Diagnoses with Critical Set Algorithms - Igor Mozetic (Correct)
0.2: Detecting Very Early Stages of Dementia from Normal.. - Shankle, Mani.. (1997) (Correct)
0.2: Diagnosing Analog Circuits Designed-for-Testability by Using .. - Mozetic, Novak, al. (1993) (Correct)
Similar documents based on text: More All
0.3: Integrating Numerical and Qualitative Models within.. - Igor Mozetic Austrian (1991) (Correct)
0.2: Characterizing Consistency-Based Diagnoses - Coste-Marquis, Marquis (Correct)
0.2: Reduction of Diagnostic Complexity through Model Abstractions - Mozetic (1990) (Correct)
Related documents from co-citation: More All
3: Physical impossibility instead of fault models (context) - Friedrich, Gottlob et al. - 1990
3: Focusing on Probable Diagnoses (context) - de Kleer - 1991
3: The use of design descriptions in automated diagnosis (context) - Genesereth - 1984
BibTeX entry: (Update)
Mozetic, I. A polynomial-time algorithm for model-based diagnosis. Proc. 10th European Conf. on Artificial Intelligence, ECAI-92, pp. 729-733, Vienna, Austria, John Wiley & Sons, 1992. http://citeseer.ist.psu.edu/225261.html More
@inproceedings{ mozetic92polynomialtime,
author = "Igor Mozetic",
title = "A Polynomial-time Algorithm for Model-Based Diagnosis",
booktitle = "European Conference on Artificial Intelligence",
pages = "729-733",
year = "1992",
url = "citeseer.ist.psu.edu/225261.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
572 Computers and Intractability (context) - Garey, Johnson - 1979
458 A theory of diagnosis from first principles (context) - Reiter - 1987
107 Diagnosing multiple faults (context) - de Kleer, Williams - 1987
81 Normality and faults in logic-based diagnosis - Poole - 1989
70 Swedish Institute of Computer Science (context) - Carlsson, Widen - 1991
49 KARDIO: A Study in Deep and Qualitative Knowledge for Expert.. (context) - Bratko, Mozetic et al. - 1989
39 Diagnosis with behavioral modes (context) - de Kleer, Williams - 1989
37 Focusing on probable diagnoses (context) - de Kleer - 1991
22 on Principles of Programming Languages (context) - Jaffar, Lassez - 1987
22 Characterizing diagnoses (context) - de Kleer, Mackworth et al. - 1990
17 Physical impossibility instead of fault models (context) - Friedrich, Gottlob et al. - 1990
16 Some results concerning the computational complexity of abdu.. (context) - Bylander, Allemang et al. - 1989
8 Diagnosis as a trial: the alibi principle (context) - Raiman - 1989
6 Model-based analogue circuit diagnosis with CLP (context) - Mozetic, Holzbaur et al. - 1991
4 Improving diagnostic efficiency in KARDIO: abstractions - Mozetic, Pfahringer - 1992
2 Model-based diagnosis with constraint logic programs - Mozetic, Holzbaur - 1991
Documents on the same site (http://www.ai.univie.ac.at/oefai/tr-online/reports-1992.html): More
Second Generation Knowledge Acquisition Methods and Their.. - Lavrac, Mozetic (1992) (Correct)
Structure Sharing Unification of Disjunctive Feature Descriptions - Matiasek (Correct)
Effective Learning in Dynamic Environments by Explicit Context.. - Widmer (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC