Research on expert systems

All AI programs are essentially reasoning programs. And, to the extent that they reason well about a problem area, all exhibit some expertise at problem solving. Programs that solve the Tower of Hanoi puzzle, for example, reason about the goal state and the initial state in order to find "expert-level" solutions. Unlike other programs, however, the claims about expert systems are related to questions of usefulness and understandability as well as performance.

[1]  Donald A. Waterman,et al.  Pattern-Directed Inference Systems , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[2]  David Wilkins,et al.  Using Patterns and Plans in Chess , 1980, Artif. Intell..

[3]  Robert Balzer,et al.  HEARSAY-II: A Domain-Independent Framework for Expert Systems , 1980, AAAI.

[4]  William James Van Melle,et al.  A domain-independent system that aids in constructing knowledge-based consultation programs , 1980 .

[5]  Janice Sue Aikins,et al.  Prototypes and production rules : a knowledge representation for computer consultations , 1980 .

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

[7]  D. Barstow.  An Experiment in Knowledge-Based Automatic Programming , 1986, Artif. Intell..

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

[9]  Johan de Kleer,et al.  Causal and Teleological Reasoning In Circuit Recognition , 1979 .

[10]  Robert S. Engelmore,et al.  Structure and Function of the CRYSALIS System , 1979, IJCAI.

[11]  Casimir A. Kulikowski,et al.  EXPERT: A System for Developing Consultation Models , 1979, IJCAI.

[12]  Robert S. Engelmore,et al.  SACON: A Knowledge-Based Consultant for Structural Analysis , 1979, IJCAI.

[13]  Nelleke Aiello,et al.  AGE (Attempt to Generalize): A Knowledge-Based Program for Building Knowledge-Based Programs , 1979, IJCAI.

[14]  Alain Bonnet,et al.  Understanding Medical Jargon as If It Were a Natural Language , 1979, IJCAI.

[15]  Rodney A. Brooks,et al.  The ACRONYM Model-Based Vision System , 1979, IJCAI.

[16]  Pat Langley,et al.  Rediscovering Physics with BACON.3 , 1979, IJCAI.

[17]  Mark Stefik,et al.  An Examination of a Frame-Structured Representation System , 1979, IJCAI.

[18]  Alan Bundy,et al.  Solving mechanics problems using meta-level inference , 1979, IJCAI 1979.

[19]  Luc Steels,et al.  Reasoning Modeled As A Society Of Communicating Experts , 1979 .

[20]  Patrick Henry Winston,et al.  Learning and Reasoning by Analogy: The Details , 1979 .

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

[22]  Peter Friedl,et al.  Knowledge-Based Experiment Design in Molecular Genetics , 1979, IJCAI.

[23]  Tom M. Mitchell,et al.  Models of Learning Systems. , 1979 .

[24]  Gordon S. Novak Jr..  Computer Understanding Of Physics Problems Stated In Natural Language , 1979, ACL Microfiche Series 1-83, Including Computational Linguistics.

[25]  Mark Stefik,et al.  Inferring DNA Structures from Segmentation Data , 1978, Artif. Intell..

[26]  Victor Lesser,et al.  Hearsay-II. Tutorial Introduction and Retrospective View , 1978 .

[27]  Bruce G. Buchanan,et al.  Dendral and Meta-Dendral: Their Applications Dimension , 1978, Artif. Intell..

[28]  Reid G. Smith,et al.  A framework for problem solving in a distributed processing environment , 1978 .

[29]  Allen Newell,et al.  Harpy, production systems and human cognition , 1978 .

[30]  A F Sanders,et al.  Empirical Explorations of SYNCHEM , 1977, Science.

[31]  Edward A. Felgenbaum.  The art of artificial intelligence: themes and case studies of knowledge engineering , 1977, IJCAI 1977.

[32]  John P. McDermott,et al.  OPS, A Domain-Independent Production System Language , 1977, IJCAI.

[33]  Chuck Rieger,et al.  The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms , 1977, IJCAI.

[34]  Harry E. Pople,et al.  The Formation of Composite Hypotheses in Diagnostic Problem Solving: An Exercise in Synthetic Reasoning , 1977, IJCAI.

[35]  Bruce G. Buchanan,et al.  Meta-Level Knowledge: Overview and Applications , 1977, IJCAI.

[36]  William R. Swartout,et al.  A Digitalis Therapy Advisor with Explanations , 1977, IJCAI.

[37]  W. T. Wipke,et al.  Computer-Assisted Organic Synthesis , 1977 .

[38]  G. Smith,et al.  SECS—Simulation and Evaluation of Chemical Synthesis: Strategy and Planning , 1977 .

[39]  Peter Szolovits,et al.  An Overview of OWL, a language for knowledge representation , 1977 .

[40]  Edward A. Feigenbaum,et al.  Rule-based understanding of signals , 1977, SGAR.

[41]  Ronald J. Brachman,et al.  What's in a Concept: Structural Foundations for Semantic Networks , 1977, Int. J. Man Mach. Stud..

[42]  Edward H. Shortliffe,et al.  Production Rules as a Representation for a Knowledge-Based Consultation Program , 1977, Artif. Intell..

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

[44]  Patrick Henry Winston,et al.  The psychology of computer vision , 1976, Pattern Recognit..

[45]  G. Gorry,et al.  Towards the simulation of clinical cognition. Taking a present illness by computer. , 1976, The American journal of medicine.

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

[47]  Douglas B. Lenat,et al.  AM, an artificial intelligence approach to discovery in mathematics as heuristic search , 1976 .

[48]  Marvin Minsky,et al.  A framework for representing knowledge" in the psychology of computer vision , 1975 .

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

[50]  John Seely Brown,et al.  Sophisticated Instructional Environment for Teaching Electronic Troubleshooting. , 1974 .

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

[52]  H. William Buttelmann,et al.  American Journal of Computational Linguistics , 1974 .

[53]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

[54]  Allen Newell,et al.  Speech understanding systems : Final report of a study group , 1973 .

[55]  John Seely Brown,et al.  A symbiotic theory formation system , 1972 .

[56]  George W. Ernst,et al.  GPS : a case study in generality and problem solving , 1971 .

[57]  Rob Kling,et al.  A Paradigm for Reasoning by Analogy , 1971, IJCAI.

[58]  Joel Moses,et al.  Symbolic integration the stormy decade , 1971, SYMSAC '71.

[59]  Anthony C. Hearn,et al.  REDUCE 2: A system and language for algebraic manipulation , 1971, SYMSAC '71.

[60]  Donald A. Waterman,et al.  Generalization Learning Techniques for Automating the Learning of Heuristics , 1970, Artif. Intell..

[61]  F. R. A. Hopgood,et al.  Machine Intelligence 3 , 1969, The Mathematical Gazette.

[62]  E J Corey,et al.  Computer-assisted design of complex organic syntheses. , 1969, Science.

[63]  Saul Amarel,et al.  On representations of problems of reasoning about actions , 1968 .

[64]  Donald E. Eastlake,et al.  The Greenblatt chess program , 1967, AFIPS '67 (Fall).

[65]  Rod M. Burstall,et al.  Computer Design of Electricity Supply Networks by a Heuristic Method , 1966, Comput. J..

[66]  Rod M. Burstall,et al.  A Heuristic Method for a Job-Scheduling Problem , 1966 .

[67]  Watson Rj,et al.  Pneumococcal Meningitis in Sickle-Cell Anemia. , 1966 .

[68]  Alfred A. Kuehn,et al.  A Heuristic Program for Locating Warehouses , 1963 .

[69]  E. Feigenbaum,et al.  Computers and Thought , 1963 .

[70]  Marvin Minsky,et al.  Steps toward Artificial Intelligence , 1995, Proceedings of the IRE.

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

[72]  H. Gelernter,et al.  Realization of a geometry theorem proving machine , 1995, IFIP Congress.

[73]  Arthur L. Samuel,et al.  Some Studies in Machine Learning Using the Game of Checkers , 1967, IBM J. Res. Dev..