Evaluation of the Q-Matrix Method in Understanding Student Logic Proofs

Tiffany Barnes

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.

Subjects: 1.3 Computer-Aided Education; 12. Machine Learning and Discovery

Submitted: Feb 14, 2006

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.