Sciweavers

Share
FLAIRS
2006

Evaluation of the q-matrix Method in Understanding Student Logic Proofs

10 years 5 months ago
Evaluation of the q-matrix Method in Understanding Student Logic Proofs
In building intelligent tutoring systems, it is critical to be able to understand and diagnose student responses in interactive problem solving. We present a novel application of the q-matrix method, an educational data mining technique, to the problem of analyzing formal proofs. Our results indicate that automated analysis of formal proof data can provide an intelligent tutoring system with useful diagnostic information for generating feedback and guiding ITS design.
Tiffany Barnes
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2006
Where FLAIRS
Authors Tiffany Barnes
Comments (0)
books