Expert systems: A cognitive science perspective

The theory and technology of knowledge-based systems are intrinsically interdisciplinary and are closely related to the formalisms of cognitive psychology. In this paper, strategies of incorporating intelligence into a computer program are described along with a common architecture for expert systems, including choices of representation and inferential methods. The history of the field is traced from its origins in metamathematics and Newell and Simon’s (1961) GENERAL PROBLEM SOLVER to the Stanford Heuristic Programming Project that produced DENDRAL and MYCIN (Buchanan & Shortliffe, 1984). MYCIN gave rise to EMYCIN and a shell technology that has radically reduced the development time and cost of expert systems. Methodology and concepts are illustrated by transactions with a shell developed for graduate education and a demonstration knowledge base for the diagnosis of senile dementia. Knowledge-based systems and conventional programs are compared with respect to formalisms employed, applications, program characteristics, procedures supplied by the development environment, consistency, certainty, flexibility, and programmer’s viewpoint. The technology raises basic questions for cognitive psychology concerning knowledge and expertise.

[1]  Kathleen McKeown,et al.  Discourse Strategies for Generating Natural-Language Text , 1985, Artif. Intell..

[2]  Allen Newell,et al.  Computer science as empirical inquiry: symbols and search , 1976, CACM.

[3]  Allen Newell,et al.  GPS, a program that simulates human thought , 1995 .

[4]  Joshua Lederberg,et al.  Applications of Artificial Intelligence for Organic Chemistry: The DENDRAL Project , 1980 .

[5]  William J. Clancey,et al.  From Guidon to Neomycin and Heracles in Twenty Short Lessons: ORN Final Report 1979-1985 , 1986, AI Mag..

[6]  Marvin Minsky,et al.  Computation : finite and infinite machines , 2016 .

[7]  Terry Winograd,et al.  Language as a Cognitive Process , 1983, CL.

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

[9]  Randall Davis,et al.  Interactive Transfer of Expertise: Acquisition of New Inference Rules , 1993, IJCAI.

[10]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[11]  Allen Newell,et al.  The logic theory machine-A complex information processing system , 1956, IRE Trans. Inf. Theory.

[12]  John McCarthy,et al.  Programs with common sense , 1960 .

[13]  John R. Anderson.  Language, Memory, and Thought , 1976 .

[14]  Allen Newell,et al.  Physical Symbol Systems , 1980, Cogn. Sci..

[15]  Edward H. Shortliffe,et al.  A model of inexact reasoning in medicine , 1990 .

[16]  Keith Price,et al.  Review of "Principles of Artificial Intelligence by Nils J. Nilsson", Tioga Publishing Company, Palo Alto, CA, ISBN 0-935382-01-1. , 1980, SGAR.

[17]  I. Lakatos,et al.  Criticism and the Growth of Knowledge: Falsification and the Methodology of Scientific Research Programmes , 1970 .

[18]  Allen Newell,et al.  Human Problem Solving. , 1973 .

[19]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[20]  W. C. Ruediger.  Memory and thought. , 1919 .

[21]  E. A. Feigenbaum,et al.  The simulation of verbal learning behavior , 1899, IRE-AIEE-ACM '61 (Western).

[22]  J. Pearce.  Dementia: A Clinical Approach , 1984 .

[23]  Emil L. Post.  Finite combinatory processes—formulation , 1936, Journal of Symbolic Logic.

[24]  R. Lachman.  The model in theory construction. , 1960, Psychological review.