Constuction of a model for reasoning by analogy
Selected and updated papers from the proceedings of the 1982 European conference on Progress in artificial intelligence
Equational logic as a programming language
Equational logic as a programming language
Building expert systems
Principles of artificial intelligence
Principles of artificial intelligence
SKIM - The S, K, I reduction machine
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Hi-index | 0.00 |
Expert Systems which support knowledge representation by qualitative modelling techniques experience problems, when called upon to support integrated views embodying description and explanation, especially when other factors such as multiple causality, competing rule model resolution, and multiple uses of knowledge representation are included. MITRE Corporation, in conjunction with several directorates of NASA at Johnson Space Center, is currently developing a series of prototypes to demonstrate the feasibility of automating the process of systems engineering, design and configuration, and diagnosis and fault management. It is important to study these processes as they pertain to the analysis of design tradeoff issues, knowledge capture and Space Station planning and assessment. The MITRE effort will involve not only a generic knowledge representation; it must also support multiple views at varying levels of description and interaction between physical elements, systems, and subsystems. Moreover, it will involve models of description and explanation for each level. This multiple-model feature requires the development of control methods between rule systems and heuristics on a meta-level for each expert system involved in an integrated and larger class of expert system. This paper describes the broadest possible category of interacting expert systems and proposes a general methodology for the knowledge representation and control of mutually exclusive rule systems within the context of a single knowledge representation scheme.