Toward automatic hint generation for logic proof tutoring using historical student data

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5091 LNCS, Issue , 2008, Pages 373-382

  Barnes, Tiffany ^a   Stamper, John ^a  

^a University of North Carolina at Charlotte   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED INSTRUCTION; INTELLIGENT VEHICLE HIGHWAY SYSTEMS; MARKOV PROCESSES; REINFORCEMENT LEARNING;

GENERATING FUNCTIONS; INTELLIGENT TUTORS; LOGIC PROOFS; MARKOV DECISION PROCESSES; NOVEL APPLICATIONS; REINFORCEMENT LEARNING TECHNIQUES;

COMPUTER CIRCUITS;

EID: 70349863112     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69132-7_41     Document Type: Conference Paper

References (10)

1. McKendree, J.: Effective Feedback Content for Tutoring Complex Skills. Human- Computer Interaction 5(4), 381-413 (1990)
2. Murray, T.: Authoring intelligent tutoring systems: An analysis of the state of the art. Intl. J. Artificial Intelligence in Education 10, 98-129 (1999)
3. Mitrovic, A., Koedinger, K., Martin, B.: A comparative analysis of cognitive tutoring and constraint-based modeling. User Modeling, 313-322 (2003)
4. Koedinger, K.R., Aleven, V., Heffernan., T., McLaren, B., Hockenberry, M.: Opening the door to non-programmers: Authoring intelligent tutor behavior by demonstration. In: 7th Intelligent Tutoring Systems Conference, Maceio, Brazil, pp. 162-173 (2004)
5. McLaren, B., Koedinger, K., Schneider, M., Harrer, A., Bollen, L.: Bootstrapping Novice Data: Semi-automated tutor authoring using student log files. In: Lester, J.C., Vicari, R.M., Paraguaçu, F. (eds.) ITS 2004. LNCS, vol.3220. Springer, Heidelberg (2004)
6. Beck, J., Woolf, B.P., Beal, C.R.: ADVISOR: A Machine Learning Architecture for Intelligent Tutor Construction. In: 7th National Conference on Artificial intelligence, pp. 552- 557. AAAI Press / The MIT Press (2000)
7. Merceron, A., Yacef, K.: Educational Data Mining: a Case Study. In: 12th Intl. Conf. on Artificial Intelligence in Education. IOS Press, Amsterdam (2005)
8. Barnes, T., Stamper, J.: Toward the extraction of production rules for solving logic proofs. In: Proc. 13th Intl. Conf. on Artificial Intelligence in Education, Educational Data Mining Workshop, Marina del Rey (2007)
9. Croy, M., Barnes, T., Stamper, J.: Towards an Intelligent Tutoring System for propositional proof construction. In: Brey, P., Briggle, A., Waelbers, K. (eds.) European Computing and Philosophy Conference. IOS Publishers, Amsterdam (2007)
10. Sutton, S., Barto, A.: Reinforcement Learning: An Introduction. MIT Press, Cambridge (1998)