Knowledge tracing: Modeling the acquisition of procedural knowledge

This paper describes an effort to model students' changing knowledge state during skill acquisition. Students in this research are learning to write short programs with the ACT Programming Tutor (APT). APT is constructed around a production rule cognitive model of programming knowledge, called theideal student model. This model allows the tutor to solve exercises along with the student and provide assistance as necessary. As the student works, the tutor also maintains an estimate of the probability that the student has learned each of the rules in the ideal model, in a process calledknowledge tracing. The tutor presents an individualized sequence of exercises to the student based on these probability estimates until the student has ‘mastered’ each rule. The programming tutor, cognitive model and learning and performance assumptions are described. A series of studies is reviewed that examine the empirical validity of knowledge tracing and has led to modifications in the process. Currently the model is quite successful in predicting test performance. Further modifications in the modeling process are discussed that may improve performance levels.

[1]  J. Carroll A Model of School Learning , 1963, Teachers College Record: The Voice of Scholarship in Education.

[2]  B. Bloom Learning for Mastery. Instruction and Curriculum. Regional Education Laboratory for the Carolinas and Virginia, Topical Papers and Reprints, Number 1. , 1968 .

[3]  F. Keller "Good-bye, teacher...". , 1968, Journal of applied behavior analysis.

[4]  R. Atkinson Optimizing the Learning of a Second-Language Vocabulary. , 1972 .

[5]  R. Atkinson,et al.  An Approach to the Psychology of Instruction. , 1972 .

[6]  James H. Block,et al.  1: Mastery Learning , 1976 .

[7]  L. Resnick Assuming That Everyone Can Learn Everything, Will Some Learn Less? , 1977, The School Review.

[8]  Ira P. Goldstein,et al.  The genetic graph: a representation for the evolution of procedural knowledge , 1979 .

[9]  Chen-Lin C. Kulik,et al.  A Meta-Analysis of Outcome Studies of Keller's Personalized System of Instruction. , 1979 .

[10]  S. A. Cohen,et al.  Learning for Mastery: Ten Conclusions after 15 Years and 3,000 Schools. , 1979 .

[11]  John P. Houston Transfer of training , 1981 .

[12]  Stephen K. Reed,et al.  Usefulness of analogous solutions for solving algebra word problems. , 1985 .

[13]  David E. Kieras,et al.  The Acquisition of Procedures from Text: A Production-System Analysis of Transfer of Training. Technical Report No. 16. , 1985 .

[14]  John R. Anderson,et al.  Effect of practice on knowledge and use of basic Lisp , 1987 .

[15]  R. Slavin Mastery Learning Reconsidered , 1987 .

[16]  Claudius Magnus Kessler Transfer of programming skills in novice lisp learners , 1988 .

[17]  John Self Bypassing the intractable problem of student modelling , 1988 .

[18]  T. Guskey,et al.  Research on Group-Based Mastery Learning Programs: A Meta-Analysis , 1988 .

[19]  John R. Anderson,et al.  The Transfer of Cognitive Skill , 1989 .

[20]  John R. Anderson,et al.  Skill Acquisition and the LISP Tutor , 1989, Cogn. Sci..

[21]  A. Newell Unified Theories of Cognition , 1990 .

[22]  Chen-Lin C. Kulik,et al.  Effectiveness of Mastery Learning Programs: A Meta-Analysis , 1990 .

[23]  K. VanLehn Mind Bugs: The Origins of Procedural Misconceptions , 1990 .

[24]  John R. Anderson,et al.  Cognitive Modeling and Intelligent Tutoring , 1990, Artif. Intell..

[25]  L. Shepard Psychometricians’ Beliefs About Learning , 1991 .

[26]  L. Resnick,et al.  Assessing the Thinking Curriculum: New Tools for Educational Reform , 1992 .

[27]  John R. Anderson,et al.  Student Modeling in an Intelligent Programming Tutor , 1993 .

[28]  John R. Anderson,et al.  Rules of the Mind , 1993 .

[29]  John R. Anderson,et al.  General Principles for an Intelligent Tutoring Architecture. , 1995 .

[30]  John R. Anderson,et al.  Cognitive Tutors: Lessons Learned , 1995 .

[31]  Paul Brna,et al.  A Bayesian Approach to Diagnosing Problems with Prolog Control Flow , 2007 .