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 refinement to automatically construct a student model from correct domain knowledge and sample student behavior.