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={T. 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… Expand
128 Citations
A pilot study on logic proof tutoring using hints generated from historical student data
  • 42
  • PDF
Unsupervised MDP Value Selection for Automating ITS Capabilities.
  • 7
An Improved Data-Driven Hint Selection Algorithm for Probability Tutors
  • PDF
Experimental Evaluation of Automatic Hint Generation for a Logic Tutor
  • 82
  • PDF
Enhancing the Automatic Generation of Hints with Expert Seeding
  • 32
  • PDF
Autonomously Generating Hints by Inferring Problem Solving Policies
  • 83
  • PDF
Automatic Generation of Deductive Logic Proof Problems
  • 1
Effects of Automatically Generated Hints on Time in a Logic Tutor
  • PDF
Generating Data-driven Hints for Open-ended Programming
  • 41
  • PDF
Enhancing the Automatic Generation of Hints with Expert Seeding
  • 3
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 17 REFERENCES
Towards an Intelligent Tutoring System for Propositional Proof Construction
  • 27
  • PDF
Opening the Door to Non-programmers: Authoring Intelligent Tutor Behavior by Demonstration
  • 196
  • PDF
ADVISOR: A Machine Learning Architecture for Intelligent Tutor Construction
  • 118
  • PDF
A Comparative Analysis of Cognitive Tutoring and Constraint-Based Modeling
  • 190
  • PDF
Authoring Intelligent Tutoring Systems: An analysis of the state of the art
  • 749
  • PDF
Effective Feedback Content for Tutoring Complex Skills
  • 147
  • PDF
Reinforcement Learning: An Introduction
  • 28,262
  • PDF
Introduction to Reinforcement Learning
  • 5,400
...
1
2
...