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
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 108 citations. REVIEW CITATIONS
72 Citations
10 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 72 extracted citations

109 Citations

01020'09'11'13'15'17
Citations per Year
Semantic Scholar estimates that this publication has 109 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 10 references

Toward the extraction of production rules for solving logic proofs, In Proc

  • T. Barnes, J. Stamper
  • 13th Intl. Conf. on Artificial Intelligence in…
  • 2007
Highly Influential
3 Excerpts

Toward the extraction of production rules for solving logic proofs

  • T. Barnes, J. Stamper
  • Proc . 13 th Intl . Conf . on Artificial…
  • 2007

Towards an Intelligent Tutoring System for propositional proof construction

  • M. Croy, T. Barnes, J. Stamper
  • In Brey, P., Briggle, A. & Waelbers, K. (eds…
  • 1998
1 Excerpt

Similar Papers

Loading similar papers…