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

  • Tiffany Barnes
  • John Stamper
Conference paper

DOI: 10.1007/978-3-540-69132-7_41

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5091)
Cite this paper as:
Barnes T., Stamper J. (2008) Toward Automatic Hint Generation for Logic Proof Tutoring Using Historical Student Data. In: Woolf B.P., Aïmeur E., Nkambou R., Lajoie S. (eds) Intelligent Tutoring Systems. ITS 2008. Lecture Notes in Computer Science, vol 5091. Springer, Berlin, Heidelberg

Abstract

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 will be able to provide hints over 80% of the time. Our results also indicate that we can provide valuable tradeoffs between hint specificity and the amount of data used to create an MDP.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Tiffany Barnes
    • 1
  • John Stamper
    • 1
  1. 1.Computer Science DepartmentUniversity of North Carolina at CharlotteCharlotteUSA

Personalised recommendations