FERMI: A Flexible Expert Reasoner with Multi-Domain Inferencing

Expert reasoning combines voluminous domain-specific knowledge with more general factual and strategic knowledge. Whereas expert system builders have recognized the need for specificity and problem-solving researchers the need for generality, few attempts have been made to develop expert reasoning engines combining different kinds of knowledge at different levels of generality. This paper reports on the FERMI project, a computer-implemented expert reasoner in the natural sciences that encodes factual and strategic knowledge in separate semantic hierarchies. The principled decomposition of knowledge according to type and level of specificity yields both power and cross-doman generality, as demonstrated in FERMI's ability to apply the same principles of invariance and decomposition to solve problems in fluid statics, DC-circuits, and centroid location. Hierarchical knowledge representation and problem-solving principles are discussed, and illustrative problem-solving traces are presented.

[1]  Stephen K. Reed,et al.  The role of analogy in transfer between similar problem states , 1974 .

[2]  Samuel T. Waters,et al.  American Association for Artificial Intelligence (AAAI) , 1988 .

[3]  William J. Clancey,et al.  The Epistemology of a Rule-Based Expert System - A Framework for Explanation , 1981, Artif. Intell..

[4]  Bruce G. Buchanan,et al.  On generality and problem solving: a case study using the DENDRAL program , 1970 .

[5]  Scott E. Fahlman,et al.  NETL: A System for Representing and Using Real-World Knowledge , 1979, CL.

[6]  Paul J. Feltovich,et al.  Categorization and Representation of Physics Problems by Experts and Novices , 1981, Cogn. Sci..

[7]  Mark S. Fox,et al.  On Inheritance in Knowledge Representation , 1979, IJCAI.

[8]  Dorothea P. Simon,et al.  Individual Differences in Solving Physics Problems (1978) , 1978 .

[9]  Gerald Jay Sussman,et al.  A Computer Model of Skill Acquisition , 1975 .

[10]  Daniel G. Bobrow,et al.  On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[11]  William J. Clancey,et al.  The Advantages of Abstract Control Knowledge in Expert System Design , 1983, AAAI.

[12]  Ann L. Brown,et al.  Advances in developmental psychology , 1981 .

[13]  Herbert A. Simon,et al.  Models of Competence in Solving Physics Problems , 1980, Cogn. Sci..

[14]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[15]  Ronald J. Brachman,et al.  ON THE EPISTEMOLOGICAL STATUS OF SEMANTIC NETWORKS , 1979 .

[16]  Jaime G. Carbonell,et al.  The FERMI System: Inducing Iterative Macro-Operators from Experience , 1986, AAAI.

[17]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .

[18]  P. Johnson-Laird.  Mental models , 1989 .

[19]  Dorothea P. Simon,et al.  Expert and Novice Performance in Solving Physics Problems , 1980, Science.

[20]  Joan I. Heller,et al.  Knowledge structure and problem solving in physics , 1982 .