What is a deep expert system? An analysis of the architectural requirements of second-generation expert systems

First-generation expert systems have significant limitations, often attributed to their not being sufficiently deep . However, a generally accepted answer to “What is a deep expert system?” is still to be given. To answer this question one needs to answer “Why do first-generation systems exhibit the limitations they do?” thus identifying what is missing from first-generation systems and therefore setting the design objectives for second-generation (i.e. deep) systems. Several second-generation architectures have been proposed; inherent in each of these architectures is a definition of deepness. Some of the proposed architectures have been designed with the objective of alleviating a subset, rather than the whole set, of the first-generation limitations. Such approaches are prone to local, non-robust solutions. In this paper we analyze the limitations (under the categories: human-computer interaction, problem-solving flexibility, and extensibility) of the first-generation expert systems thus setting design goals for second-generation systems. On the basis of this analysis proposed second-generation architectures are reviewed and compared. The paper concludes by presenting requirements for a generic second-generation architecture.

[1]  B. Chandrasekaran Towards a Functional Architecture for Intelligence Based on Generic Information Processing Tasks , 1987, IJCAI.

[2]  Elpida T. Keravnou,et al.  Expert systems architectures , 1988 .

[3]  Timothy W. Finin,et al.  What's in a Deep Model? A Characterization of Knowledge Depth in Intelligent Safety Systems , 1987, IJCAI.

[4]  Peter Jackson,et al.  Logic-based knowledge representation , 1989 .

[5]  William J. Clancey,et al.  NEOMYCIN: Reconfiguring a Rule-Based Expert System for Application to Teaching , 1981, IJCAI.

[6]  J. Fox Formal and knowledge-based methods in decision technology , 1984 .

[7]  Peter E. Hart,et al.  Directions for AI in the eighties , 1982, SGAR.

[8]  William J. Clancey,et al.  Tutoring rules for guiding a case method dialogue , 1979 .

[9]  Drew McDermott,et al.  Temporal Data Base Management , 1987, Artif. Intell..

[10]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[11]  John P. McDermott,et al.  The Taming of R1 , 1986, IEEE Expert.

[12]  L. Console,et al.  Diagnostic Problem Solving: Combining Heuristic, Approximate and Causal Reasoning , 1988 .

[13]  Coombs Developments of expert systems , 1984 .

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

[15]  Fernando Gomez,et al.  An Approach to Medical Diagnosis Based on Conceptual Structures , 1979, IJCAI.

[16]  S. French Professional Judgment: A Reader in Clinical Decision Making , 1988 .

[17]  E. Shortliffe,et al.  Explanatory Power for Medical Expert Systems: Studies in the Representation of Causal Relationships for Clinical Consultations , 1982, Methods of Information in Medicine.

[18]  Max Branner Expert systems: where are we and where are we going? , 1989 .

[19]  Gio Wiederhold,et al.  Knowledge and Database Management , 1984, IEEE Software.

[20]  Elpida T. Keravnou,et al.  Analyzing, Representing and Interpreting Expert Strategic Knowledge , 1986 .

[21]  W. Kintsch,et al.  Methods and Tactics in Cognitive Science , 1984 .

[22]  Peter Szolovits,et al.  Causal Understanding of Patient Illness in Medical Diagnosis , 1981, IJCAI.

[23]  William J. Clancey,et al.  Strategic Explanations for a Diagnostic Consultation System , 1983, Int. J. Man Mach. Stud..

[24]  Casimir A. Kulikowski,et al.  A Model-Based Method for Computer-Aided Medical Decision-Making , 1978, Artif. Intell..

[25]  Randall Davis,et al.  Diagnosis Via Causal Reasoning: Paths of Interaction and the Locality Principle , 1989, AAAI.

[26]  Randall Davis,et al.  An overview of production systems , 1975 .

[27]  H. E. Pople,et al.  Internist-I, an Experimental Computer-Based Diagnostic Consultant for General Internal Medicine , 1982 .

[28]  Brian C. Williams,et al.  Doing Time: Putting Qualitative Reasoning on Firmer Ground , 1986, AAAI.

[29]  Elliot Soloway,et al.  Assessing the Maintainability of XCON-in-RIME: Coping with the Problems of a VERY Large Rule-Base , 1987, AAAI.

[30]  Joe W. Duran,et al.  A General Expert System Design for Diagnostic Problem Solving , 1984, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[31]  David J. Spiegelhalter,et al.  Local computations with probabilities on graphical structures and their application to expert systems , 1990 .

[32]  Benjamin Kuipers,et al.  Commonsense Reasoning about Causality: Deriving Behavior from Structure , 1984, Artif. Intell..

[33]  Mark H. Lee,et al.  Applications of deep knowledge , 1988, Artif. Intell. Eng..

[34]  B. Chandrasekaran,et al.  Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design , 1986, IEEE Expert.

[35]  Benjamin Kuipers,et al.  Qualitative Simulation as Causal Explanation , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[36]  E. Shortliffe,et al.  Readings in medical artificial intelligence: the first decade , 1984 .

[37]  Michael J. Prietula,et al.  Expertise and error in diagnostic reasoning , 1981 .

[38]  W Van de Velde Learning heuristics in second generation expert systems , 1987 .

[39]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[40]  Elpida T. Keravnou,et al.  Intelligent handling of data by integration of commonsense reasoning , 1987, Knowl. Based Syst..

[41]  William R. Swartout,et al.  XPLAIN: A System for Creating and Explaining Expert Consulting Programs , 1983, Artif. Intell..

[42]  Jon Sticklen,et al.  Patrec: A Knowledge-Directed Database for a Diagnostic Expert , 1984, Computer.

[43]  W. R. Swartout PRODUCING EXPLANATIONS AND JUSTIFICATIONS OF EXPERT CONSULTING PROGRAMS , 1981 .

[44]  William J. Clancey,et al.  Heuristic Classification , 1986, Artif. Intell..

[45]  Diane Warner Hasling Abstract Explanations of Strategy in a Diagnostic Consultation System , 1983, AAAI.

[46]  Peter Szolovits,et al.  Information Acquisition in Diagnosis , 1982, AAAI.

[47]  Janet L. Kolodner,et al.  The Role of Experience in Development of Expertise , 1982, AAAI.

[48]  Steven Schwartz,et al.  Medical Thinking: The Psychology of Medical Judgment and Decision Making , 1986 .

[49]  B. Chandrasekaran,et al.  Conceptual Representation of Medical Knowledge for Diagnosis by Computer: MDX and Related Systems , 1983, Adv. Comput..

[50]  John Fox,et al.  A symbolic theory of decision-making applied to several medical tasks , 1989, AIME.

[51]  William J. Clancey,et al.  Dialogue management for rulebased tutorials , 1979, IJCAI 1979.

[52]  B. Chandrasekaran,et al.  Generic tasks as building blocks for knowledge-based systems: the diagnosis and routine design examples , 1988, The Knowledge Engineering Review.

[53]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[54]  L. Shulman,et al.  Medical Problem Solving: An Analysis of Clinical Reasoning , 1978 .

[55]  B. Chandrasekaran,et al.  Deep versus Compiled Knowledge Approaches to Diagnostic Problem-Solving , 1982, Int. J. Man Mach. Stud..

[56]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[57]  Vasant Dhar,et al.  Rule-based versus structure-based models for explaining and generating expert behavior , 1987, CACM.

[58]  Benjamin J. Kaipers,et al.  Qualitative Simulation , 1989, Artif. Intell..

[59]  Donald Michie High-Road and Low-Road Programs , 1981, AI Mag..

[60]  P Koton,et al.  A medical reasoning program that improves with experience. , 1988, Computer methods and programs in biomedicine.

[61]  Janice S. Aikins,et al.  Prototypical Knowledge for Expert Systems , 1983, Artif. Intell..

[62]  Barbara M. Smith,et al.  Reason maintenance systems and their applications , 1988 .

[63]  James F. Allen Towards a General Theory of Action and Time , 1984, Artif. Intell..

[64]  A. L. Kidd,et al.  Knowledge acquisition for expert systems: a practical handbook , 1987 .

[65]  Elpida T. Keravnou,et al.  Competent Expert Systems: A Case Study in Fault Diagnosis , 1986 .

[66]  Elpida T. Keravnou,et al.  A Model-Based Diagnostic Expert System for Skeletal Dysplasias , 1989, AIME.

[67]  Bob J. Wielinga,et al.  Models of Expertise , 1986, ECAI.

[68]  Yoav Shoham,et al.  Temporal Logics in AI: Semantical and Ontological Considerations , 1987, Artif. Intell..

[69]  John Fox,et al.  Design of a generic information system and its application to Primary Care , 1989, AIME.

[70]  Sholom Menachem Weiss,et al.  A system for model-based computer-aided diagnosis and therapy. , 1974 .

[71]  Elpida T. Keravnou,et al.  Deep and shallow models in medical expert systems , 1989, Artif. Intell. Medicine.

[72]  J. Dekleer An assumption-based TMS , 1986 .

[73]  Caroline Whitbeck,et al.  What is diagnosis? Some critical reflections , 1981 .

[74]  Randall Davis,et al.  Reasoning from First Principles in Electronic Troubleshooting , 1983, Int. J. Man Mach. Stud..

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

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

[77]  Jon Sticklen,et al.  'Deep' models and their relation to diagnosis , 1989, Artif. Intell. Medicine.

[78]  G A Gorry,et al.  Toward a theory of clinical expertise. , 1982, The American journal of medicine.