Model-based reasoning about learner behaviour

Artificial Intelligence

Volumn 117, Issue 2, 2000, Pages 173-229

  De Koning, Kees ^a   Bredeweg, Bert ^a   Breuker, Joost ^a   Wielinga, Bob ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED INSTRUCTION; COMPUTER SIMULATION; INTERACTIVE COMPUTER SYSTEMS; MATHEMATICAL MODELS;

QUALITATIVE REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 0033888621     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(99)00106-X     Document Type: Article

References (80)

1. Anderson J.R. Rules of the Mind. 1993;Lawrence Erlbaum Associates, Hillsdale, NJ.
2. Anderson J.R., Boyle C.F., Corbett A.T., Lewis M. Cognitive modeling and intelligent tutoring. Artificial Intelligence. Vol. 42:1990;7-49.
3. Barr A., Beard M., Atkinson R.C. The computer as a tutorial laboratory: The Stanford BIP project. Internat. J. Man-Machine Studies. Vol. 8:1976;567-596.
4. Beller S., Hoppe H.U. Deductive error reconstruction and classification in a logic programming framework. Brna P., Ohlsson S., Pain H. Proc. World Conference on Artificial Intelligence in Education, Charlottesville, VA. 1993;433-440 AACE.
5. Benjamins V.R. Problem solving methods for diagnosis, Ph.D. Thesis. 1993;University of Amsterdam.
6. Bonar J.G., Soloway E. Preprogramming knowledge: A major source of misconceptions in novice programmers. Human Computer Interaction. Vol. 1:(2):1985;133-161.
7. Bredeweg B. Introducing meta-levels to qualitative reasoning. Appl. Artificial Intelligence. Vol. 3:(2):1989;85-100.
8. Bredeweg B. Expertise in qualitative prediction of behaviour, Ph.D. Thesis. 1992;University of Amsterdam.
9. Bredeweg B., Breuker J.A. 'Device Models' for model-based diagnosis of student behaviour. Brna P., Ohlsson S., Pain H. Proc. World Conference on Artificial Intelligence in Education, Charlottesville, VA. 1993;441-448 AACE.
10. Bredeweg B., de Koning K., Schut C. Modelling the influence of non-changing quantities. Wainer J., Carvalho A. Advances in Artificial Intelligence. 1995;131-140 Springer, Berlin.
11. Bredeweg B., Schut C. Cognitive plausibility of a conceptual framework for modeling problem solving expertise. Proc. Cognitive Science Society Conference. 1991;473-479 Lawrence Erlbaum Associates, Hillsdale, NJ.
12. Bredeweg B., Winkels R.G.F. Qualitative models in interactive learning environments: An introduction. Interactive Learning Environments. Vol. 5:(1):1998;1-18.
13. Breuker J.A. EUROHELP: Developing Intelligent Help Systems. 1990;EC, Amsterdam.
14. Breuker J.A. Components of problem solving. Steels L., Schreiber A.Th., van de Velde W. A Future for Knowledge Acquisition: Proceedings of the European Knowledge Acquisition Workshop-94. 1994;118-136 Springer, Berlin.
15. Breuker J.A., Wielinga B.J. Model-driven knowledge acquisition. Guida P., Tasso G. Topics in the Design of Expert Systems. 1989;265-296 North-Holland, Amsterdam.
16. Brown J.S. Uses of AI and advanced computer technology in education. Seidel R.J., Rubin M. Computers and Communications: Implications for Education. 1977;Academic Press, New York.
17. Brown J.S., Burton R.R. Diagnostic models for procedural bugs in basic mathematical skills. Cognitive Sci. Vol. 2:1978;155-192.
18. Brown J.S., van Lehn K. Repair theory: A generative theory of bugs in procedural skills. Cognitive Sci. Vol. 4:1980;379-426.
19. Burton R.R. Diagnosing bugs in a simple procedural skill. Sleeman D.H., Brown J.S. Intelligent Tutoring Systems. 1982;Academic Press, London.
20. Bylander T., Allemang D., Tanner M.C., Josephson J.R. The computational complexity of abduction. Artificial Intelligence. Vol. 49:1991;25-60.
21. Carbonell J.R. AI in CAI: An artificial intelligence approach to computer-assisted instruction. IEEE Trans. Man-Machine Systems. Vol. 11:(4):1970;190-202.
22. Carr B., Goldstein I.P. Overlays: A theory of modeling for computer aided instruction, AI Memo 406. 1977;AI Laboratory, Massachusetts Institute of Technology, Cambridge, MA.
23. Clancey W.J. The epistemology of a rule based system - A framework for explanation. Artificial Intelligence. Vol. 20:1983;215-251.
24. Clancey W.J. Qualitative student models. Traub J.F. Annual Review of Computer Science, Vol. 1. 1986;381-450 Annual Review Inc, Palo Alto, CA.
25. Collins A., Stevens A.L. Goals and strategies for inquiry teachers. Glaser R. Advances in Instructional Psychology, Vol. II. 1982;Lawrence Erlbaum Associates, Hillsdale, NJ.
26. de Jong T., Sarti L. Design and Production of Multimedia and Simulation-Based Learning Material. 1994;Kluwer, Dordrecht, the Netherlands.
27. de Kleer J. Focusing on probable diagnoses. Proc. AAAI-91, Anaheim, CA. 1991;842-848.
28. de Kleer J., Brown J.S. A qualitative physics based on confluences. Artificial Intelligence. Vol. 24:1984;7-83.
29. de Kleer J., Brown J.S. Model-based diagnosis in SOPHIE III. Hamscher W.C., Console L., de Kleer J. Readings in Model-Based Diagnosis. 1992;179-205 Morgan Kaufmann, San Mateo, CA.
30. de Kleer J., Williams B.C. Diagnosing multiple faults. Artificial Intelligence. Vol. 32:1987;97-130.
31. de Koning K. Model-Based Reasoning about Learner Behaviour. 1997;IOS Press, Amsterdam.
32. de Koning K., Bredeweg B. A framework for teaching qualitative models. Cohn A. Proc. 11th European Conference on Artificial Intelligence. 1994;197-202 Wiley, New York.
33. de Koning K., Bredeweg B. Qualitative reasoning in tutoring interactions. J. Interactive Learning Environments. Vol. 5:1998;65-80.
34. de Koning K., Bredeweg B., Schut C., Breuker J.A. Dynamic model progression. Proc. East-West Conference on Computer Technologies in Education, Moscow, International Center for Scientific and Technical Information. 1994;136-141.
35. Dillenbourg P., Self J.A. A framework for learner modelling. Interactive Learning Environments. Vol. 2:1992;111-137.
36. Elsom-Cook M. Guided Discovery Tutoring: A Framework for ICAI Research. 1990;Paul Chapman, London.
37. Falkenhainer B.C., Forbus K.D. Compositional modeling: Finding the right model for the job. Artificial Intelligence. Vol. 51:1991;95-143.
38. Forbus K.D. Qualitative process theory. Artificial Intelligence. Vol. 24:1984;85-168.
39. Forbus K.D. The qualitative process engine. Weld D.S., de Kleer J. Readings in Qualitative Reasoning about Physical Systems. 1990;220-235 Morgan Kaufmann, San Mateo, CA.
40. Forbus K.D. Towards tutor compilers: Self-explanatory simulations as an enabling technology. Birnbaum L. Proc. 3rd Internat. Conference on the Learning Sciences, Evanston, IL. 1991.
41. Forbus K.D. Using qualitative physics to create articulate educational software. IEEE Expert. Vol. 12:(3):1997;32-41.
42. Gautier P.O., Gruber T.R. Generating explanations of device behavior using compositional modeling causal ordering. Proc. AAAI-96, Portland, OR. 1996;264-270 MIT Press, Cambridge, MA.
43. Genesereth M.R. The use of design descriptions in automated diagnosis. Artificial Intelligence. Vol. 24:1984;411-436.
44. Gentner D.R. Toward an intelligent computer tutor. O'Neil H. Procedures for Instructional Systems Development. 1979;Academic Press, New York.
45. Greer J.E., McCalla G.I. Student Modelling: The Key to Individualized Knowledge-Based Instruction. Series F: Computer and System Sciences. Vol. 125:1994;Springer, Berlin.
46. Hamscher W.C., Console L., de Kleer J. Introduction to Chapter 7: Hierarchies. Readings in Model-Based Diagnosis. 1992;Morgan Kaufmann, San Mateo, CA.
47. Hamscher W.C., Console L., de Kleer J. Readings in Model-Based Diagnosis. 1992;Morgan Kaufmann, San Mateo, CA.
48. Hoppe H.U. Deductive error diagnosis and inductive error generalization for intelligent tutoring systems. J. Artificial Intelligence in Education. Vol. 5:(1):1994;27-49.
49. Huang X., McCalla G.I., Neufeld E. Using attention in belief revision. Proc. AAAI-91, Anaheim, CA. 1991;275-280.
50. Johnson W.L., Soloway E. PROUST: An automatic debugger for pascal programs. Kearsley G. Artificial Intelligence and Instruction: Applications and Methods. 1987;49-67 Addison-Wesley, Reading, MA.
51. Kamsteeg P. Teaching problem solving by computer, Ph.D. Thesis. 1994;University of Amsterdam.
52. Laird J.E., Newell A., Rosenbloom P.S. SOAR: An architecture for general intelligence. Artificial Intelligence. Vol. 33:1987;1-64.
53. Laird J.E., Rosenbloom P.S., Newell A. Chunking in SOAR: The anatomy of a general learning mechanism. Machine Learning. Vol. 1:1986;11-46.
54. Levy A.Y., Iwasaki Y., Motoda H. Relevance reasoning to guide compositional modelling. Proc. 6th International Workshop on Qualitative Reasoning about Physical Systems, Edinburgh, Scotland, Heriot-Watt University. 1992;7-21.
55. Mallory R.S., Porter B.W., Kuipers B.J. Comprehending complex behavior graphs through abstraction. Iwasaki Y., Farquhar A. Proc. 10th International Workshop on Qualitative Reasoning. 1996;137-146 AAAI Press, Menlo Park, CA. AAAI Technical Report WS-96-01.
56. Mitchell T.M. Generalization as search. Artificial Intelligence. Vol. 18:1982;203-226.
57. Mozetic I. Hierarchical model-based diagnosis. Internat. J. Man-Machine Studies. Vol. 35:(3):1991;329-362.
58. Ohlsson S. Some principles of intelligent tutoring. Instructional Science. Vol. 14:1986;293-326.
59. Papert S. Mindstorms: Children, Computers, and Powerful Ideas. 1980;Basic Books, New York.
60. Reiter R. A theory of diagnosis from first principles. Artificial Intelligence. Vol. 32:1987;57-96.
61. Schut C., Bredeweg B. Automatic enhancement of model parsimony. Weld D.S. Proc. 7th International Workshop on Qualitative Reasoning about Physical Systems, Seattle, WA, University of Washington. 1993;194-203.
62. Self J.A. Model-based cognitive diagnosis. User Modeling and User-Adapted Interaction. Vol. 3:1993;86-106.
63. Self J.A. Formal approaches to student modelling. McCalla G.I., Greer J. Student Modelling: The Key to Individualized Knowledge-Based Instruction. 1994;295-352 Springer, Berlin.
64. Sime J.A., Leitch R.R. A learning environment based on multiple qualitative models. Frasson G., Gauthier G., McCalla G.I. Proc. 2nd International ITS Conference, Edinburgh, Scotland, UK. Lecture Notes in Computer Science. Vol. 608:1992;116-123 Springer, Berlin.
65. Sleeman D.H. Inferring student models for intelligent computer-aided instruction. Michalski R.S., Carbonell J.G., Mitchell T.M. Machine Learning: An Artificial Intelligence Approach, Vol. 1. 1983;483-510 Morgan Kaufmann, Palo Alto, CA.
66. Subramanian D., Genesereth M.R. The relevance of irrelevance. Proc. IJCAI-87, Milan, Italy. 1987;416-422.
67. Twidale M.B. Coping with the variety of student actions in simulations. Proc. EARLI Conference, Aix en Provence. 1993.
68. van de Velde W. An overview of CommonKADS. Breuker J.A., van de Velde W. The CommonKADS Library for Expertise Modelling, Chapter 2. 1994;9-30 IOS Press, Amsterdam.
69. van der Hulst A. Cognitive tools, Ph.D. Thesis. 1996;University of Amsterdam.
70. van Harmelen F. Meta-level Inference Systems, Research Notes in AI. 1991;Pitmann/Morgan Kaufmann, London/San Mateo, CA.
71. van Someren M., Barnard Y.F., Sandberg J.A.C. The Think Aloud Method: A Practical Guide to Modelling Cognitive Processes. 1994;Academic Press, London.
72. van Lehn K. Learning one subprocedure per lesson. Artificial Intelligence. Vol. 31:(1):1987;1-40.
73. Weld D.S. Approximation reformulations. Proc. AAAI-90, Boston, MA. 1990;407-412 AAAI Press/MIT Press, Menlo Park, CA.
74. Weld D.S., Addanki S. Task-driven model abstraction. Faltings B., Struss P. Recent Advances in Qualitative Physics. 1992;MIT Press, Cambridge, MA.
75. Wenger E. Artificial Intelligence and Tutoring Systems. 1987;Morgan Kaufmann, Los Altos, CA.
76. White B.Y., Frederiksen J.R. Causal model progressions as a foundation for intelligent learning environments. Artificial Intelligence. Vol. 42:1990;99-157.
77. Wielemaker J. SWI-Prolog 2.8: Reference Manual, Social Science Informatics (SWI), University of Amsterdam. 1997;. http://www.swi.psy.uva.nl/usr/jan/SWI-Prolog/Manual/Title.html.
78. Wielinga B.J., Breuker J.A. Models of expertise. Proc. ECAI-86, Brighton, UK. 1986;306-318.
79. Wielinga B.J., Schreiber A.Th., Breuker J.A. KADS: A modelling approach to knowledge engineering. Knowledge Acquisition J. Vol. 4:(1):1992;5-53.
80. Winkels R.G.F. Explorations in Intelligent Tutoring and Help. 1992;IOS Press, Amsterdam.