Open AccessProceedings Article
Diagnosis with behavioral modes
Johan de Kleer,Brian C. Williams +1 more
- pp 1324-1330
TLDR
A general diagnostic theory is presented that uses the perspective of diagnosis as ideniifying consisieni modes of behavior, correct or faulty, to identify faulty components without necessarily knowing how they fail.Abstract:
Diagnostic tasks involve identifying faulty components from observations of symptomatic device behavior. This paper presents a general diagnostic theory that uses the perspective of diagnosis as ideniifying consisieni modes of behavior, correct or faulty. Our theory draws on the intuitions behind recent diagnostic theories to identify faulty components without necessarily knowing how they fail. To derive additional diagnostic discrimination we use the models for behavioral modes together with probabilistic information about the likelihood of each mode of behavior.read more
Citations
More filters
Book ChapterDOI
Rao-blackwellised particle filtering for dynamic Bayesian networks
TL;DR: In this paper, Rao-Blackwellised particle filters (RBPFs) were proposed to increase the efficiency of particle filtering, using a technique known as Rao-blackwellisation.
Book
Knowledge Representation and Reasoning
TL;DR: This landmark text takes the central concepts of knowledge representation developed over the last 50 years and illustrates them in a lucid and compelling way, and offers the first true synthesis of the field in over a decade.
Book
Handbook of Knowledge Representation
TL;DR: The Handbook of Knowledge Representation is an up-to-date review of twenty-five key topics in knowledge representation written by the leaders of each field, an essential resource for students, researchers and practitioners in all areas of Artificial Intelligence.
Journal ArticleDOI
Remote Agent: to boldly go where no AI system has gone before
TL;DR: The Remote Agent is described, a specific autonomous agent architecture based on the principles of model-based programming, on-board deduction and search, and goal-directed closed-loop commanding, that takes a significant step toward enabling this future of space exploration.
Journal ArticleDOI
Probabilistic Horn abduction and Bayesian networks
TL;DR: It is shown how any probabilistic knowledge representable in a discrete Bayesian belief network can be represented in this framework, and it is argued that it is better to invent new hypotheses to explain dependence rather than having to worry about dependence in the language.
References
More filters
Journal ArticleDOI
Intelligent tutoring systems
TL;DR: Computer tutors based on a set of pedagogical principles derived from the ACT theory of cognition have been developed for teaching students to do proofs in geometry and to write computer programs in the language LISP.
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
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.
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.
Journal ArticleDOI
The use of design descriptions in automated diagnosis
TL;DR: Dart differs from previous approaches to diagnosis taken in the design-automation community in that it is more general and in many cases more efficient, and allows it to be applied to a wide class of devices ranging from digital logic to nuclear reactors.