Abstract
Since the early sixties the use of computers in education (computer aided instruction, CAI) has aimed to individualize instruction, i.e., tailor study procedures to the needs and characteristics of the individual student. However, although some progress has been made, CAI is still a long way off from achieving this goal. In practice, with CAI systems the student has a passive role, being exposed to a fixed set of problems that have been stored together with a corresponding set of pre-canned solutions. The tutoring path is rigid, with one-way teaching interaction only and with very little individualization. The possibility to get over the limits of the traditional CAI came from studies on cognitive psychology and artificial intelligence, with particular attention paid to the interaction between teacher and student. These researches led to the development of new educational systems, called intelligent computer aided instruction (ICAI) systems or intelligent tutoring systems (ITS), where artificial intelligence techniques are largely applied.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aiello, L., Micarelli, A. (1990): SEDAF: an intelligent educational system for mathematics. Appl. Art. Intell. 4: 15–36.
Aiello, L., Colagrossi, A., Micarelli, A., Miola, A. (1993): Building the expert module for ITS in mathematics: a general reasoning apparatus. In: Nwana, H. S. (ed.): Mathematical intelligent learning environments. Intellect Books, Oxford, pp. 35–51.
Anderson, J. R., Boyle, C. F., Yost, G. (1985): The geometry tutor. In: Joshi, A. (ed.): Proceedings of the 9th International Joint Conference on Artificial Intelligence. Morgan Kaufmann, Los Altos, CA, pp. 1–7.
Bertoli, P., Cioni, G., Colagrossi, A., Terlizzi, P. (1997): A sequent calculus machine for symbolic computation systems. In: Miola, A., Temperini, M. (eds.): Advances in the design of symbolic computation systems. Springer, Wien New York, pp. 217–229 (this volume).
Bonamico, S., Cioni, G., Colagrossi, A. (1993): An enhanced sequent calculus for reasoning in a given domain. In: Miola, A. (ed.): Design and implementation of symbolic computation systems. Springer, Berlin Heidelberg New York Tokyo, pp. 369–373 (Lecture notes in computer science, vol. 722).
Brown, J. S., Burton, R. R. (1978): Diagnostic models for procedural bugs in basic mathematical skills. Cogn. Sci. 2: 155–192.
Burton, R. R., Brown, J. S. (1979): An investigation of computer coaching for informal learning activities. Int. J. Man Machine Stud. 11: 5–24.
Char, B. W., Geddes, K. O., Gonnet, G. H., Monagan, M. B., Watt, S. M. (1991): Maple V language reference manual. Springer, New York Berlin Heidelberg.
Cioni, G., Colagrossi, A., Miola, A. (1992): A desktop sequent calculus machine. In: Calmet, J., Campbell, J. A. (eds.): Artificial intelligence and symbolic mathematical computing. Springer, Berlin Heidelberg New York Tokyo, pp. 224–236 (Lecture notes in computer science, vol. 737).
Cioni, G., Colagrossi, A., Miola, A. (1995): A sequent calculus for symbolic computation systems. J. Symb. Comput. 19: 175–199.
Cioni, G., Colagrossi, A., Miola, A. (1997): Deduction and abduction using a sequent calculus. In: Miola, A., Temperini, M. (eds.): Advances in the design of symbolic computation systems. Springer, Wien New York, pp. 198–216 (this volume).
Limongelli, C., Miola, A., Temperini, M. (1991): Design and implementation of symbolic computation systems. In: Gaffney, P. W., Houstis, E.N. (eds.): Proceedings IFIP TC2/WG2.5 Working Conference on Programming Environments for High Level Scientific Problem Solving, Karlsruhe, Germany, Sept. 23–27, 1991. North-Holland, Amsterdam, pp. 217–226.
Moses, J. (1975): A MACSYMA primer. Math Lab Memo no. 2, Computer Science Laboratory, Massachusetts Institute of Technology, Cambridge, MA.
O’Shea, T. (1982): A self-improving quadratic tutor. In: Sleeman, D. H., Brown, J. S. (eds.): Intelligent tutoring systems. Academic Press, London, pp. 309–336.
Sleeman, D. H. (1983): Inferring student models for intelligent computer-aided instruction. In: Michalski, R. S., Carbonell, J. C., Mitchell, T. M. (eds.): Machine learning: an artificial intelligence approach. Springer, Berlin Heidelberg New York Tokyo, pp. 483–510.
Sleeman, D. H. (1987): PIXIE: a shell for developing intelligent tutoring systems. In: Yazdani, M. (eds): Artificial intelligence and education: learning environments and tutoring systems. Ablex, Norwood, pp. 239–265.
Sleeman, D. H., Brown, J. S. (eds.) (1982): Intelligent tutoring systems. Academic Press, London.
Vivet, M. (1987): Systemes experts pour enseigner: meta-eonnaissances et explications. In: Proceedings Congres International MARI/COGNITIVA 87, Paris, France, May, 1987, pp. 18–22.
Wenger, E. (1987): Artificial intelligence and tutoring systems. Morgan Kaufmann, San Mateo.
Wolfram, S. (1991): Mathematica: a system for doing mathematics by computer, 2nd edn. Addison-Wesley, Reading, MA.
Yazdani, M. (1986): Intelligent tutoring systems: an overview. Expert Syst. 3: 154–162.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag Wien
About this chapter
Cite this chapter
Colagrossi, A., Micarelli, A. (1997). A general reasoning apparatus for intelligent tutoring systems in mathematics. In: Miola, A., Temperini, M. (eds) Advances in the Design of Symbolic Computation Systems. Texts and Monographs in Symbolic Computation. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6531-7_15
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6531-7_15
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82844-1
Online ISBN: 978-3-7091-6531-7
eBook Packages: Springer Book Archive