Intelligent tutoring studies the use of AI techniques in computer-aided
instruction. An important aspect concerns building a model of the student's
current understanding of the domain in order to direct the tutoring process.
Our work in the area has focused on using theory
to automatically construct a student model from correct
domain knowledge and sample student behavior.