The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Tree clustering for constraint networks (research note)
Artificial Intelligence
Abductive inference models for diagnostic problem-solving
Abductive inference models for diagnostic problem-solving
On the generation of alternative explanations with implications for belief revision
Proceedings of the seventh conference (1991) on Uncertainty in artificial intelligence
A polynomial-time algorithm for model-based diagnosis
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Characterizing diagnoses and systems
Artificial Intelligence
Structure-driven algorithms for truth maintenance
Artificial Intelligence
Generalizing on Multiple Grounds: Performance Learning in Model- Based Technology
Generalizing on Multiple Grounds: Performance Learning in Model- Based Technology
Theory of Relational Databases
Theory of Relational Databases
Debugging Hardware Designs Using a Value-Based Model
Applied Intelligence
Resolution versus Search: Two Strategies for SAT
Journal of Automated Reasoning
DiKe: a model-based diagnosis kernel and its application
AI Communications - Special issue on KI-2001
Mini-buckets: A general scheme for bounded inference
Journal of the ACM (JACM)
Exploiting Interchangeabilities for Case Adaptation
ICCBR '01 Proceedings of the 4th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
DiKe - A Model-Based Diagnosis Kernel and Its Application
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Finding all minimal unsatisfiable subsets
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Consistency-based diagnosis of configuration knowledge bases
Artificial Intelligence
Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results
Applied Intelligence
Debugging VHDL designs using temporal process instances
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Automated error analysis for the agilization of feature modeling
Journal of Systems and Software
An Empirical Analysis of the Complexity of Model-Based Diagnosis
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A two-step hierarchical algorithm for model-based diagnosis
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Model-based diagnosis using structured system descriptions
Journal of Artificial Intelligence Research
Diagnosis as a variable assignment problem: a case study in a space robot fault diagnosis
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Structured modeling language for automated modeling in causal networks
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Coupling CSP decomposition methods and diagnosis algorithms for tree-structured systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A Test Theory of the Model-Based Diagnosis
ICIC '07 Proceedings of the 3rd International Conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Diagnosing a System with Value-Based Reasoning
ICIC '07 Proceedings of the 3rd International Conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Soft interchangeability for case adaptation
ICCBR'03 Proceedings of the 5th international conference on Case-based reasoning: Research and Development
An algorithm for diagnosing system with structured description
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartII
Constraint optimization and abstraction for embedded intelligent systems
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
An evaluation of structural parameters for probabilistic reasoning: results on benchmark circuits
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Distributed tree decomposition with privacy
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
The route to success: a performance comparison of diagnosis algorithms
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
This paper describes a diagnosis algorithm called structure-based abduction (SAB) which was developed in the framework of constraint networks [12]. The algorithm exploits the structure of the constraint network and is most efficient for near-tree problem domains. By analyzing the structure of the problem domain, the performance of such algorithms can be bounded in advance. We present empirical results comparing SAB with two modelbased algorithms, MBD1 and MBD2, for the task of finding one or all minimal-cardinality diagnoses. MBD1 uses the same computing strategy as algorithm GDE [9]. MBD2 adopts a breadth-first search strategy similar to the algorithm DIAGNOSE [24]. The main conclusion is that for nearly acyclic circuits, such as the N-bit adder, the performance of SAB being linear provides definite advantages as the size of the circuit increases.