Toward Automatic Hint Generation for Logic Proof Tutoring Using Historical Student Data

@inproceedings{Barnes2008TowardAH,
title={Toward Automatic Hint Generation for Logic Proof Tutoring Using Historical Student Data},
author={Tiffany Barnes and John C. Stamper},
booktitle={Intelligent Tutoring Systems},
year={2008}
}

We have proposed a novel application of Markov decision processes (MDPs), a reinforcement learning technique, to automatically generate hints for an intelligent tutor that learns. We demonstrate the feasibility of this approach by extracting MDPs from four semesters of student solutions in a logic proof tutor, and calculating the probability that we will be able to generate hints at any point in a given problem. Our results indicate that extracted MDPs and our proposed hint-generating functionsâ€¦Â CONTINUE READING