Apprenticeship Learning Techniques for Knowledge Based Systems

The significance of machine learning for the future use of computers is very great. Autonomous computer systems of the future will need far more knowledge than humans can explicitly transfer; this requires that computers learn independently. An important research goal for machine learning is to identify techniques that will allow intelligent knowledge-based systems to learn automatically the large amounts of domain-specific knowledge that are necessary for achieving expert-level problem-solving performance. This thesis describes apprenticeship learning techniques for automation of the transfer of expertise. Apprenticeship learning is a form of learning by watching, in which learning occurs as a byproduct of building explanations of human problem-solving actions. An apprenticeship is the most powerful method that human experts use to refine and debug their expertise in knowledge-intensive domains such as medicine; this motivates giving such capabilities to an expert system. The major accomplishment in this thesis is showing how an explicit representation of the strategy knowledge to solve a general problem class, such as diagnosis, can provide a basis for learning the knowledge that is specific to a particular domain, such as medicine. The Odysseus learning program provides the first demonstration of using the same technique to transfer of expertise to and from an expert system knowledge base. When watching an expert, it improves a knowledge base for the pre-existing Heracles expert system shell. When watching a student apprentice, it models the student against the knowledge base and thereby identifies bugs and gaps in the student's fledgling expertise. Another major focus of this thesis is limitations of apprenticeship learning. It is shown that extant techniques for reasoning under uncertainty for expert systems lead to a sociopathic knowledge base. A knowledge base is sociopathic if there exists a subset of the knowledge base that gives better performance than the original knowledge base. Incremental learning techniques, which subsume apprenticeship learning, have inherent limitations if a knowledge base is sociopathic. Also, the synthetic agent method is presented, which provides a means of determining a performance upper bound for an apprenticeship learning system.

[1]  Lotfi A. Zadeh,et al.  Approximate Reasoning Based on Fuzzy Logic , 1979, IJCAI.

[2]  Zohar Manna,et al.  Studies In Automatic Programming Logic , 1977 .

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

[4]  William John Clancey,et al.  Transfer of rule-based expertise through a tutorial dialogue , 1979 .

[5]  Allen Ginsberg A Metalinguistic Approach to the Construction of Knowledge Base Refinement Systems , 1986, AAAI.

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

[7]  A. C. Scott,et al.  Evaluating the performance of a computer-based consultant. , 1979, Computer programs in biomedicine.

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

[9]  John Seely Brown,et al.  An Investigation of Computer Coaching for Informal Learning Activities. , 1978 .

[10]  Thomas G. Dietterich,et al.  The Role of the Critic in Learning Systems , 1984 .

[11]  R. Korf Learning to solve problems by searching for macro-operators , 1983 .

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

[13]  Hector J. Levesque,et al.  Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..

[14]  John R. Anderson Acquisition of Proof Skills in Geometry , 1983 .

[15]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[16]  Alan W. Biermann,et al.  The Inference of Regular LISP Programs from Examples , 1978, IEEE Transactions on Systems, Man, and Cybernetics.

[17]  W. J. Clancey,et al.  The knowledge engineer as student: metacognitive bases for asking good questions , 1988 .

[18]  Jaime G. Carbonell,et al.  Machine learning: a guide to current research , 1986 .

[19]  Michael R. Genesereth,et al.  Diagnosis Using Hierarchical Design Models , 1982, AAAI.

[20]  Susan E. Newman,et al.  Cognitive Apprenticeship: Teaching the Craft of Reading, Writing, and Mathematics. Technical Report No. 403. , 1987 .

[21]  Michael A. Arbib,et al.  Adaptive Control of Ill-Defined Systems , 1984 .

[22]  Zohar Manna,et al.  Knowledge and Reasoning in Program Synthesis , 1974, IJCAI.

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

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

[25]  Larry J. Eshelman,et al.  MOLE: A Knowledge Acquisition Tool that Uses its Head , 1986, AAAI.

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

[27]  David E. Shaw,et al.  Inferring LISP Programs From Examples , 1975, IJCAI.

[28]  Alberto M. Segre,et al.  Explanation-based learning of generalized robot assembly plans , 1987 .

[29]  William J. Clancey,et al.  Representing Control Knowledge as Abstract Task and Metarules. ONR Technical Report #15. , 1985 .

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

[31]  Ira Goldstein,et al.  Developing a Computational Representation for Problem Solving Skills , 1978 .

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

[33]  Tom M. Mitchell,et al.  LEAP: A Learning Apprentice for VLSI Design , 1985, IJCAI.

[34]  David R. Barstow,et al.  Knowledge-based program construction , 1979 .

[35]  Alan Bundy,et al.  Meta-Level Inference , 1984 .

[36]  P. Langley,et al.  Identifying Solution Paths in Cognitive Diagnosis. , 1985 .

[37]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[38]  William J. Clancey,et al.  Using and Evaluating Differential Modeling in Intelligent Tutoring and Apprentice Learning Systems. , 1987 .

[39]  Ehud Y. Shapiro,et al.  Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems , 1983, IJCAI.

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

[41]  Sholom M. Weiss,et al.  Using Empirical Analysis to Refine Expert System Knowledge Bases , 1984, Artif. Intell..

[42]  Stellan Ohlsson,et al.  A Machine Learning Approach to Student Modeling. , 1984 .

[43]  Gerald DeJong,et al.  Explanation-Based Learning: An Alternative View , 2005, Machine Learning.

[44]  John R. Anderson,et al.  MACHINE LEARNING An Artificial Intelligence Approach , 2009 .

[45]  John Seely Brown,et al.  Diagnostic Models for Procedural Bugs in Basic Mathematical Skills , 1978, Cogn. Sci..

[46]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[47]  Paul E. Utgoff,et al.  Machine Learning of Inductive Bias , 1986 .

[48]  Michael R. Genesereth,et al.  The Use of Design Descriptions in Automated Diagnosis , 1984, Artif. Intell..

[49]  J. Ross Quinlan,et al.  Learning Efficient Classification Procedures and Their Application to Chess End Games , 1983 .

[50]  Allen Newell,et al.  Towards Chunking as a General Learning Mechanism , 1984, AAAI.

[51]  William J. Clancey,et al.  Overview of the Odysseus learning apprentice , 1986 .

[52]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[53]  Stuart J. Russell,et al.  The compleat guide to MRS , 1985 .

[54]  Steven Minton,et al.  Selectively Generalizing Plans for Problem-Solving , 1985, IJCAI.

[55]  David Heckerman,et al.  Probabilistic Interpretation for MYCIN's Certainty Factors , 1990, UAI.

[56]  Edward H. Shortliffe,et al.  A Method for Managing Evidential Reasoning in a Hierarchical Hypothesis Space , 1985, Artif. Intell..

[57]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[58]  Kurt VanLehn,et al.  Repair Theory: A Generative Theory of Bugs in Procedural Skills , 1980, Cogn. Sci..

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

[60]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

[61]  Phillip D. Summers,et al.  A Methodology for LISP Program Construction from Examples , 1977, J. ACM.

[62]  William J. Clancey,et al.  Knowledge Base Refinement by Monitoring Abstract Control Knowledge , 1987, Int. J. Man Mach. Stud..

[63]  Gerald J. Sussman,et al.  A Computational Model of Skill Acquisition , 1973 .

[64]  Bruce G. Buchanan,et al.  Inductive knowledge acquisition for rule-based expert systems , 1985 .