NotesFAQContact Us
Search Tips
Peer reviewed Peer reviewed
Direct linkDirect link
ERIC Number: EJ880070
Record Type: Journal
Publication Date: 2010
Pages: 10
Abstractor: As Provided
Reference Count: 19
ISSN: ISSN-1436-4522
Automatic Hint Generation for Logic Proof Tutoring Using Historical Data
Barnes, Tiffany; Stamper, John
Educational Technology & Society, v13 n1 p3-12 2010
In building intelligent tutoring systems, it is critical to be able to understand and diagnose student responses in interactive problem solving. However, building this understanding into a computer-based intelligent tutor is a time-intensive process usually conducted by subject experts. Much of this time is spent in building production rules that model all the ways a student might solve a problem. In our prior work, we proposed a novel application of Markov decision processes (MDPs) 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 for students at any point in a given problem. Our past results indicated that extracted MDPs and our proposed hint-generating functions will be able to provide hints over 80% of the time. Our results also indicated that we can provide valuable tradeoffs between hint specificity and the amount of data used to create an MDP. (Contains 12 tables and 1 figure.)
International Forum of Educational Technology & Society. Athabasca University, School of Computing & Information Systems, 1 University Drive, Athabasca, AB T9S 3A3, Canada. Tel: 780-675-6812; Fax: 780-675-6973; Web site:
Publication Type: Journal Articles; Reports - Research
Education Level: Higher Education
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A
Identifiers - Location: North Carolina