Abstract
An intermediate representation for an intelligent tutoring system for elementary combinatorics is presented. The representation appears to satisfy both the requirements for a relevant environment for students' problem solving and for adequate diagnosis of student actions for the domain of interest. We present these ideas in the context of a tutor currently under development.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Anderson, J. R., Boyle, C. F., and Yost, G. "The geometry tutor". Proceedings of the International Joint Conference on Artificial Intelligence, 1985, pp. 1–7.
Bonar, J. "Intelligent tutoring with intermediate representations". Proceedings of the International Conference on Intelligent Tutoring Systems, 1988, pp. 25–32.
Buchanan, B. G., and Shortliffe, E. H. Rule-Based expert systems: the MYCIN experiments of the Stanford Heuristic Programming Project. Addison-Wesley, 1984.
Burton, R. R., and Brown, J. S. "An investigation of computer coaching for informal learning activities". In Intelligent Tutoring Systems (eds.) Sleeman, D. and Brown, J. S. Academic Press, 1982, pp. 79–98.
Fischer, G., and Morch, A. "CRACK: A critiquing approach to kitchen design". Proceedings of the International Conference on Intelligent Tutoring Systems, 1988, pp.176–185.
Langley, P., and Ohlsson, S. "Automated cognitive modeling". Proceedings of the National Conference on Artificial Intelligence, 1984, pp. 193–197.
Miller, J. R. "The role of human-computer interaction in intelligent tutoring systems". In Foundations of Intelligent Tutoring Systems (eds.) Polson, M. C., and Richardson, J. J. Lawrence Erlbaum Associates, 1988.
Reiser, B. J., Anderson, J. R., and Farrell, R. G. "Dynamic student modeling in an intelligent tutor for LISP programming". Proceedings of the International Joint Conference on Artificial Intelligence, 1985, pp. 8–14.
Schank, R. C. "Conceptual dependency: A theory of natural language understanding". Cognitive Psychology 3, pp. 552–631.
Self, J. A. "Bypassing the intractable problem of student modeling". Proceedings of the International Conference on Intelligent Tutoring Systems, 1988, pp. 18–24.
Weber, G. "Cognitive diagnosis and episodic modeling in an intelligent LISP-tutor". Proceedings of the International Conference on Intelligent Tutoring Systems, 1988, pp. 207–214.
VanLehn, K. "Student Modeling". In Foundations of Intelligent Tutoring Systems (eds.) Polson, M. C., and Richardson, J. J. Lawrence Erlbaum Associates, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Koegel, J.F., Lakshmipathy, N., Schlesinger, J. (1989). An intermediate representation for mathematical problem solving. In: Maurer, H. (eds) Computer Assisted Learning. ICCAL 1989. Lecture Notes in Computer Science, vol 360. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51142-3_65
Download citation
DOI: https://doi.org/10.1007/3-540-51142-3_65
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51142-7
Online ISBN: 978-3-540-46163-0
eBook Packages: Springer Book Archive