Intelligent tutoring system for symbolic calculation

  • Mao Yibin
  • Lin Jianxiang
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 608)


In this paper, an ITS-DIITS, which helps student to learn calculus, is introduced as a prototype. The whole tutoring procedure of DIITS is divided into three phases: basic, advanced and exploratory exercise. In different phrases, the system provides problems embodying skills or strategies of different levels and allows operations of corresponding levels for student to use. When the student solves a problem step by step on the exercise interface, the system corrects his errors in intermediate steps in basic exercise phase, or makes advice and comments on his problem solving strategies in advanced phase. The domain knowledge, which is represented in the form of an AND/OR graph of skills, directs the search process of the problem solver, and provides template for student modeling and reference for problem generation.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    J. R. Anderson; C. F. Boyle; and B. J. Reiser (1985) Intelligent tutoring system. Science, Vol. 288, No. 4698, pp. 456–462Google Scholar
  2. 2.
    Y. Anzai & H. A. Simon (1979) The theory of learning by doing. Psychology Review, 86, 124–140Google Scholar
  3. 3.
    Lin Jianxiang (1990) Progressing to ITS, Proc. of the First Annual Meeting of the National CBE SocietyGoogle Scholar
  4. 4.
    J. W. Rickel (1989) Intelligent computer-aided instruction: a survey organized around system components, IEEE Tran. On Sys., Man and Syb., Vol. 19, No. 1, pp. 40–55Google Scholar
  5. 5.
    D. H. Sleeman & J. S. Brown (Eds.) Intelligent tutoring system. Academic Press, London, 1982Google Scholar
  6. 6.
    E. Wenger (1987) Artificial intelligence and tutoring systems, Morgan Kaufmann Publishers, Inc.Google Scholar
  7. 7.
    B. P. Woolf & D. D. McDonald (1984) Building a computer tutor: design issues, IEEE Computer, Vol. 17, No. 9, pp. 61–73Google Scholar
  8. 8.
    K. Vanlehn (1987) Learning one subprocedure per lesson. Artificial Intelligence, Vol. 31, No. 1, pp. 1–40.Google Scholar
  9. 9.
    Mao Yibin (1991) The theoretical issues and design of intelligent tutoring system for mathematical calculations, MS dissertation, Peking UniversityGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Mao Yibin
    • 1
  • Lin Jianxiang
    • 2
  1. 1.ICAI Research LaboratoryInstitute of Computer Science and Technology Peking UniversityBeijingP.R. China
  2. 2.ICAI Research LaboratoryInstitute of Computer Science and Technology Peking UniversityBeijingP.R. China

Personalised recommendations