Graphic interface design and deductive proof construction
Journal of Computers in Mathematics and Science Teaching
Toward Automatic Hint Generation for Logic Proof Tutoring Using Historical Student Data
ITS '08 Proceedings of the 9th international conference on Intelligent Tutoring Systems
Hi-index | 0.00 |
Our research goal is to use data-driven methods to generate the basic functionalities of intelligent tutoring systems. In open procedural problem solving environments, the tutor gives users a goal with little to no restrictions on how to reach it. Knowledge components refer to not only skill application, but also applicable skill-opportunity recognition. Syntax and logic errors further confound the results with ambiguity in error detection. In this work, we present a domain independent method of assessing skill-opportunity recognition. The results of this method can be used to provide automatic feedback to users as well as to assess users problem solving abilities.