Diagnostic reasoning based on structure and behavior

Artificial Intelligence

Volumn 24, Issue 1-3, 1984, Pages 347-410

  Davis, Randall ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAILURE ANALYSIS - COMPUTER APPLICATIONS;

DIAGNOSTIC REASONING;

SYSTEMS SCIENCE AND CYBERNETICS;

EID: 0021593920     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(84)90042-0     Document Type: Article

References (34)

1. Fault diagnosis in synchronous sequential circuits based on an effect-cause analysis
2. Instruction set processor specifications (ISPS): The notation and its applications
3. The design procedure language manual
4. Pedagogical and knowledge engineering techniques in SOPHIE I, II and III
5. Diagnosis based on structure and function
6. Reasoning from first principles in electronic troubleshooting
7. Production rules as a representation in a knowledge-based consultation system
8. Representing structure and behavior of digital hardware
9. Local methods for localizing faults in electronic circuits
10. The origin and resolution of ambiguities in causal arguments
11. Assumptions and ambiguities in mechanistic mental models
12. Naive physics based on confluences
13. A truth maintenance system
14. A methodology for design of digital systems—supported by SARA at the age of one
15. Preliminary evaluation of the performance of the PROSPECTOR system for mineral exploration
16. The use of hierarchical models in the automated diagnosis of computer systems
17. The CRITTER system—Analyzing digital circuits by propagating behaviors and specifications
18. Heuretics: theoretical and experimental study of heuristic rules
19. HISDL—A structure description language
20. Causal understanding of patient illness in medical diagnosis
21. Heuristic methods for imposing structure on ill-structured problems
22. A system for cause-effect representation and simulation for computer-aided design
23. Diagnosis of automata failures A calculus and a method
24. Digital test generation from hierarchical models and symptom information
25. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
26. The definition and implementation of a computer programming language based on constraints
27. Slices: At the boundary between analysis and synthesis
28. Constraints—a language for expressing almost-hierarchical descriptions
29. An hierarchical language for the structural description of digital systems