A fuzzy rule-based model of human problem solving
IEEE Transactions on Systems, Man and Cybernetics
Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Optimization of control parameters for genetic algorithms
IEEE Transactions on Systems, Man and Cybernetics
A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
Model-based troubleshooting of digital systems
Model-based troubleshooting of digital systems
A correction to the algorithm in Reiter's theory of diagnosis
Artificial Intelligence
Adaptation in natural and artificial systems
Adaptation in natural and artificial systems
One step lookahead is pretty good
Readings in model-based diagnosis
Building problem solvers
A theory of measurement in diagnosis from first principles
Artificial Intelligence
Introduction to Digital Logic Design
Introduction to Digital Logic Design
Genetic Algorithms in Search, Optimization and Machine Learning
Genetic Algorithms in Search, Optimization and Machine Learning
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence)
Deriving minimal conflict sets by CS-trees with mark set indiagnosis from first principles
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
| Hi-index | 0.00 |
We describe the ideas and implementation of a model-based diagnosis system for digital circuits. Our work is based on Reiter‘s theory of diagnosis from first principles [14], incorporated with Hou‘s theory of measurements [17], to derivepossible diagnoses in a fault diagnosis task. To determine the best order in which measurements are to be taken, a measurement selection strategy using the genetic algorithm (MSSGA) is proposed. A circuit description language for describing circuits hierarchically is given. An efficient propositional logic prover used for consistency checking based on the trie structure is developed [22].An example run is given to illustrate the working ofthe system. Finally, a comparison with other systems is discussed,and possible extensions to our system are described.