scispace - formally typeset
Journal ArticleDOI

A theory of diagnosis from first principles

Raymond Reiter
- 01 Oct 1987 - 
- Vol. 32, Iss: 1, pp 352-371
Reads0
Chats0
TLDR
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.
About
This article is published in Artificial Intelligence.The article was published on 1987-10-01. It has received 2830 citations till now. The article focuses on the topics: Non-monotonic logic & Automated theorem proving.

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.
Journal ArticleDOI

Explanation in artificial intelligence: Insights from the social sciences

TL;DR: This paper argues that the field of explainable artificial intelligence should build on existing research, and reviews relevant papers from philosophy, cognitive psychology/science, and social psychology, which study these topics, and draws out some important findings.
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

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.
Journal ArticleDOI

A review of process fault detection and diagnosis: Part III: Process history based methods

TL;DR: This final part discusses fault diagnosis methods that are based on historic process knowledge that need to be addressed for the successful design and implementation of practical intelligent supervisory control systems for the process industries.
References
More filters
Journal ArticleDOI

A logic for default reasoning

TL;DR: This paper proposes a logic for default reasoning, develops a complete proof theory and shows how to interface it with a top down resolution theorem prover, and provides criteria under which the revision of derived beliefs must be effected.
Journal ArticleDOI

Diagnosing multiple faults

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.
Journal ArticleDOI

Applications of circumscription to formalizing common-sense knowledge

TL;DR: A new and more symmetric version of the circumscription method of nonmonotonic reasoning first described in (McCarthy 1980) and some applications to formalizing common sense knowledge are presented.
Journal ArticleDOI

Diagnostic reasoning based on structure and behavior

TL;DR: 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.