Formal Approaches to Student Modelling

This paper considers student modelling from the point of view of the formal techniques that are involved. It attempts to provide a theoretical, computational basis for student modelling which is psychologically neutral and independent of applications. It is derived mainly from various areas of theoretical artificial intelligence. Because of the intrinsic difficulty of the student modelling problem, these links to AI are often merely pointed out and not pursued in depth.

[1]  Ernest Davis,et al.  Representations of commonsense knowledge , 2014, notThenot Morgan Kaufmann series in representation and reasoning.

[2]  Russell Greiner,et al.  A Correction to the Algorithm in Reiter's Theory of Diagnosis , 1989, Artif. Intell..

[3]  Richard W. Weyhrauch.  Prolegomena to a theory of mechanized formal reasoning , 1990 .

[4]  A. Brown.  Metacognition, executive control, self-regulation, and other more mysterious mechanisms , 1987 .

[5]  Valerie J. Shute,et al.  A Large-Scale Evaluation of an Intelligent Discovery World: Smithtown , 1990, Interact. Learn. Environ..

[6]  Richard M. Young,et al.  Errors in Children's Subtraction , 1981, Cogn. Sci..

[7]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[8]  R. Sternberg.  Advances in the psychology of human intelligence , 1982 .

[9]  Heinz Mandl,et al.  Learning Issues for Intelligent Tutoring Systems , 1988, Cognitive Science.

[10]  Lev Vygotsky.  Mind in society , 1978 .

[11]  Henry A. Kautz,et al.  Generalized Plan Recognition , 1986, AAAI.

[12]  Stellan Ohlsson,et al.  Automated Cognitive Modeling , 1984, AAAI.

[13]  F. Weinert,et al.  Metacognition, motivation, and understanding , 1987 .

[14]  John R. Anderson,et al.  Dynamic Student Modelling in an Intelligent Tutor for LISP Programming , 1985, IJCAI.

[15]  Nuel D. Belnap,et al.  Entailment : the logic of relevance and necessity , 1975 .

[16]  David W. Etherington.  Formalizing Nonmonotonic Reasoning Systems , 1987, Artif. Intell..

[17]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[18]  Beverly Park Woolf,et al.  Representing complex knowledge in an intelligent machine tutor , 1987, Comput. Intell..

[19]  Hector J. Levesque,et al.  All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..

[20]  A. Schoenfeld.  Cognitive Science and Mathematics Education , 1987 .

[21]  Allan Collins,et al.  THE COMPUTER AS A TOOL FOR LEARNING THROUGH REFLECTION , 1986 .

[22]  William J. Clancey,et al.  Qualitative student models , 1986 .

[23]  M. Wittrock.  Handbook of research on teaching , 1986 .

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

[25]  John A. Self,et al.  Computational Mathetics: The Missing Link in Intelligent Tutoring Systems Research? , 1992 .

[26]  Michael J. Baker,et al.  Negotiating Goals in Intelligent Tutoring Dialogues , 1992 .

[27]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[28]  A. E. Blandford.  Artificial Intelligence and human learning: Edited by John Self. Chapman & Hall, London. 1988. 800 pp. £37.50 (hardback). , 1989 .

[29]  Barbara Y. White,et al.  Causal Model Progressions as a Foundation for Intelligent Learning Environments , 1990, Artif. Intell..

[30]  J. Hintikka.  Knowledge and belief , 1962 .

[31]  William R. Murray.  Control for Intelligent Tutoring Systems: A Blackboard-based Dynamic Instructional Planer , 1989, AI Commun..

[32]  J. Dewey.  Experience and Education , 1938 .

[33]  Michelene T. H. Chi,et al.  Expertise in Problem Solving. , 1981 .

[34]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[35]  Yorick Wilks,et al.  Multiple Agents and the Heuristic Ascription of Belief , 1987, IJCAI.

[36]  Etienne Wenger,et al.  Artificial Intelligence and Tutoring Systems , 1987 .

[37]  Pattie Maes,et al.  Meta-Level Architectures and Reflection , 1988 .

[38]  Edmund H. Durfee,et al.  Negotiating Task Decomposition and Allocation Using Partial Global Planning , 1989, Distributed Artificial Intelligence.

[39]  Stephen J. Payne,et al.  Algebra Mal‐Rules and Cognitive Accounts of Error , 1990 .

[40]  Lauri Carlson.  Dialogue Games: An Approach to Discourse Analysis , 1982 .

[41]  J. Pollock.  Contemporary theories of knowledge , 1986 .

[42]  Pierre Dillenbourg,et al.  Designing Human-Computer Collaborative Learning , 1995 .

[43]  Gordon I. McCalla,et al.  Using Planning Techniques in Intelligent Tutoring Systems , 1986, Int. J. Man Mach. Stud..

[44]  Rachel Reichman,et al.  Getting computers to talk like you and me , 1985 .

[45]  Alan H. Bond,et al.  Distributed Artificial Intelligence , 1988 .

[46]  Pavel Brazdil,et al.  Integration of Knowledge in Multi-Agent Environments , 1992 .

[47]  John A. Self,et al.  Monitoring Hypertext Users , 1990, Interact. Comput..

[48]  Stephen Muggleton,et al.  Efficient Induction of Logic Programs , 1990, ALT.

[49]  Pierre Dillenbourg,et al.  A Framework for Learner Modelling , 1992, Interact. Learn. Environ..

[50]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

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

[52]  Philip R. Cohen,et al.  Intentions in Communication. , 1992 .

[53]  Kathleen F. McCoy.  Generating Context-Sensitive Responses to Object-Related Misconceptions , 1989, Artif. Intell..

[54]  Stuart C. Shapiro,et al.  A Model for Belief Revision , 1988, Artif. Intell..

[55]  Gordon I. McCalla,et al.  A Computational Framework for Granularity and its Application to Educational Diagnosis , 1989, IJCAI.

[56]  John H. Holland,et al.  Induction: Processes of Inference, Learning, and Discovery , 1987, IEEE Expert.