Our group's work in medical decision making has led us to formulate a framework for expert system design, in particular about how the domain knowledge may be decomposed into substructures. We propose that there exist different problem-solving types, i.e., uses of knowledge, and corresponding to each is a separate substructure specializing in that type of problem-solving. Each substructure is in turn further decomposed into a hierarchy of specialist which differ from each other not in the type of problem-solving, but in the conceptual content of their knowledge; e.g.; one of them may specialize in "heart disease," while another may do so in "liver," though both of them are doing the same type of problem solving. Thus ultimately all the knowledge in the system is distributed among problem-solvers which know how to use that knowledge. This is in contrast to the currently dominant expert system paradigm which proposes a common knowledge base accessed by knowledge-free problem-solvers of various kinds. In our framework there is no distinction between knowledge bases and problem-solvers: each knowledge source is a problem-solver. We have so far had occasion to deal with three generic problem-solving types in expert clinical reasoning: diagnosis (classification), data retrieval and organization, and reasoning about consequences of actions. In novice, these expert structures are often incomplete, and other knowledge structures and learning processes are needed to construct and complete them.
[1]
Victor R. Lesser,et al.
A Multi-Level Organization For Problem Solving Using Many, Diverse, Cooperating Sources Of Knowledge
,
1975,
IJCAI.
[2]
Fernando Gomez,et al.
Knowledge Organization and Distribution for Medical Diagnosis
,
1981,
IEEE Transactions on Systems, Man, and Cybernetics.
[3]
Donald Michie.
High-Road and Low-Road Programs
,
1981,
AI Mag..
[4]
B. Chandrasekaran,et al.
Deep versus Compiled Knowledge Approaches to Diagnostic Problem-Solving
,
1982,
Int. J. Man Mach. Stud..
[5]
Johan de Kleer,et al.
Foundations of Envisioning
,
1982,
AAAI.
[6]
Douglas B. Lenat,et al.
Designing a rule system that searches for scientific discoveries
,
1977,
SGAR.
[7]
Peter E. Hart,et al.
Directions for AI in the eighties
,
1982,
SGAR.
[8]
David S. Touretzky,et al.
Cancellation in a Parallel Semantic Network
,
1981,
IJCAI.
[9]
Chuck Rieger,et al.
The Causal Representation and Simulation of Physical Mechanisms.
,
1976
.
[10]
Douglas B. Lenat,et al.
DESIGNING A RULE SYSTEM THAT SEARCHES FOR SCIENTIFIC DISCOVERIES1
,
1978
.
[11]
John McCarthy,et al.
SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE
,
1987
.
[12]
B. Chandrasekaran,et al.
Natural and Social System Metaphors for Distributed Problem Solving: Introduction to the Issue
,
1981,
IEEE Transactions on Systems, Man, and Cybernetics.