Journal ArticleDOI
Representing Structure and Behavior of Digital Hardware
Reads0
Chats0
TLDR
It is shown that suitably represented descriptions of structure and behavior set an important foundation and offers a unity of device description and simulation, since the descriptions themselves are runnable.Abstract:
The development of expert systems for troubleshooting digital electronics is considered. It is shown that suitably represented descriptions of structure and behavior set an important foundation. The authors approach offers a unity of device description and simulation, since the descriptions themselves are runnable. Unsolved problems are noted. 10 references.read more
Citations
More filters
Journal ArticleDOI
What Is a Knowledge Representation
TL;DR: It is argued that keeping in mind all five of these roles that a representation plays provides a usefully broad perspective that sheds light on some longstanding disputes and can invigorate both research and practice in the field.
Diagnostic Reasoning Based on Structure and Behavior
TL;DR: A system that reasons from first principles, i.e., using knowledge of structure and behavior, which is implemented and tested on several examples in the domain of troubleshooting digital electronic circuits and describes a technique it calls constraint suspension that provides a powerful tool for troubleshooting.
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
Reasoning from first principles in electronic troubleshooting
TL;DR: This work argues for the primacy of models of causal interaction, rather than the traditional fault models, in troubleshooting digital electronics and points out the importance of making these models explicit, separated from the troubleshooting mechanism, and retractable in much the same sense that inferences are retracted in current systems.
Journal ArticleDOI
Modeling digital circuits for troubleshooting
TL;DR: An implemented program for troubleshooting complex digital circuits is described, using a representation that makes explicit their behavior at a high level of temporal abstraction, their physical and functional organization, and the common ways that their components fail.
References
More filters
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.
Book
Computer Structures: Readings and Examples,
Gordon Bell,Allen Newell +1 more
TL;DR: Computer Structures utilizes a case study approach to cover 40 distinct computer types, and to provide a taxonomical framework for analyzing the 1000 different computers now extant.
Journal ArticleDOI
Instruction set processor specifications (ISPS): The notation and its applications
TL;DR: The range of current and contemplated application areas are proof of the usefulness of the notation and its extension mechanisms, and the extension mechanisms which allow multiple applications or areas of research to co-exit and share machine descriptions are described.
Book
Diagnosis based on description of structure and function
TL;DR: It is argued for the importance of fault models that are explicit, separated from the troubleshooting mechanism, and retractable in much the same sense that inferences are retracted in current systems.