Journal ArticleDOI
The use of design descriptions in automated diagnosis
TLDR
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.About:
This article is published in Artificial Intelligence.The article was published on 1984-12-01. It has received 598 citations till now. The article focuses on the topics: Mycin & Overhead (computing).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
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.
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.
References
More filters
Journal ArticleDOI
A Machine-Oriented Logic Based on the Resolution Principle
TL;DR: The paper concludes with a discussion of several principles which are applicable to the design of efficient proof-procedures employing resolution as the basle logical process.
Journal ArticleDOI
Planning with constraints
TL;DR: This paper presents an approach to hierarchical planning, termed constraint posting, that uses constraints to represent the interactions between subproblems and is illustrated with a computer program that plans gene-cloning experiments in molecular genetics.
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.