Intelligent tutoring system for symbolic calculation

Abstract

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.