Diagnostic reasoning based on structure and behavior
TLDR
In this paper, the authors describe a system that reasons from first principles, i.e., using knowledge of structure and behavior, to deal with situations that are novel in the sense that their outward manifestations may not have been encountered previously.About:
This article is published in Artificial Intelligence.The article was published on 1984-12-01 and is currently open access. It has received 959 citations till now. The article focuses on the topics: Troubleshooting.read more
Citations
More filters
Book
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference
TL;DR: Probabilistic Reasoning in Intelligent Systems as mentioned in this paper is a complete and accessible account of the theoretical foundations and computational methods that underlie plausible reasoning under uncertainty, and provides a coherent explication of probability as a language for reasoning with partial belief.
Proceedings ArticleDOI
Chaff: engineering an efficient SAT solver
TL;DR: The development of a new complete solver, Chaff, is described which achieves significant performance gains through careful engineering of all aspects of the search-especially a particularly efficient implementation of Boolean constraint propagation (BCP) and a novel low overhead decision strategy.
Journal ArticleDOI
A theory of diagnosis from first principles
TL;DR: The theory accommodates diagnostic reasoning in a wide variety of practical settings, including digital and analogue circuits, medicine, and database updates, and reveals close connections between diagnostic reasoning and nonmonotonic reasoning.
Journal ArticleDOI
A Review of Process Fault Detection and Diagnosis Part I : Quantitative Model-Based Methods
TL;DR: This three part series of papers is to provide a systematic and comparative study of various diagnostic methods from different perspectives and broadly classify fault diagnosis methods into three general categories and review them in three parts.
Journal ArticleDOI
Diagnosing multiple faults
J. de Kleer,Brian C. Williams +1 more
TL;DR: The diagnostic procedure presented in this paper is model-based, inferring the behavior of the composite device from knowledge of the structure and function of the individual components comprising the device.
References
More filters
Journal ArticleDOI
A truth maintenance system
TL;DR: The need of problem solvers to choose between alternative systems of beliefs is stressed, and a mechanism by which a problem solver can employ rules guiding choices of what to believe, what to want, and what to do is outlined.
Journal ArticleDOI
Diagnosis of automata failures: a calculus and a method
TL;DR: The problem considered is the diagnosis of failures of automata, specifically, failures that manifest themselves as logical malfunctions, and an algorithm is developed which utilizes this calculus to compute tests to detect failures.
Journal ArticleDOI
Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
TL;DR: In this paper, a rule-based system for computer-aided circuit analysis, called EL, is presented, which is written in a rule language called ARS, and implemented by ARS as pattern-directed invocation demons monitoring an associative data base.
Journal ArticleDOI
Production rules as a representation for a knowledge-based consultation program
TL;DR: The MYCIN system has begun to exhibit a high level of performance as a consultant on the difficult task of selecting antibiotic therapy for bacteremia and issues of representation and design for the system are discussed.
Journal ArticleDOI
Constraints—a language for expressing almost-hierarchical descriptions
Gerald Jay Sussman,Guy L. Steele +1 more
TL;DR: An interactive system organized around networks of constraints rather than the programs which manipulate them is presented, and a language of hierarchical constraint networks is described, one method of deriving useful consequences of a set of constraints which is called propagation.