Assistance and Feedback Mechanism in an Intelligent Tutoring System for Teaching Conversion of Natural Language into Logic

被引:24
作者
Perikos I. [1 ]
Grivokostopoulou F. [1 ]
Hatzilygeroudis I. [1 ]
机构
[1] Department of Computer Engineering & Informatics, School of Engineering, University of Patras, Patras
关键词
Answer categorization; Error categorization; Feedback effectiveness evaluation; Feedback framework; Feedback sequencing; Learning analytics; Student assistance;
D O I
10.1007/s40593-017-0139-y
中图分类号
学科分类号
摘要
Logic as a knowledge representation and reasoning language is a fundamental topic of an Artificial Intelligence (AI) course and includes a number of sub-topics. One of them, which brings difficulties to students to deal with, is converting natural language (NL) sentences into first-order logic (FOL) formulas. To assist students to overcome those difficulties, we developed the NLtoFOL system and equipped it with a strong assistance and feedback mechanism. In this work, first, we present that feedback mechanism. The mechanism can provide assistance before an answer is submitted, if requested, but mainly it provides assistance after an answer is submitted. To that end, it characterizes the answer in terms of completeness and accuracy to determine the level of incorrectness, based on an answer categorization scheme, introduced in this paper. The automatically generated natural language feedback sequences grow from general to specific and can include statements on a student’s metacognitive state. Feedback is provided as natural language sentences automatically generated through a template-based natural language generation mechanism. Second, we present an extensive evaluation of the effectiveness of the assistance and feedback mechanism on students’ learning. The evaluation of feedback with students showed that full feedback sequences lead to greater learning gains than sequences consisting of only flag feedback and bottom-out hints (n = 226), and that generic, template-based feedback sequences are comparable to the utility of problem-specific hints generated by human tutors (n = 120). © 2017, International Artificial Intelligence in Education Society.
引用
收藏
页码:475 / 514
页数:39
相关论文
共 70 条
[1]  
Aleven V., Koedinger K.R., Limitations of student control: Do students know when they need help?. In Proceedings of the International Conference on Intelligent Tutoring Systems, (2000)
[2]  
Aleven V., Stahl E., Schworm S., Fischer F., Wallace R., Help seeking and help design in interactive learning environments, Review of Educational Research, 73, 3, pp. 277-320, (2003)
[3]  
Aleven V., Mclaren B., Roll I., Koedinger K., Toward meta-cognitive tutoring: a model of help seeking with a cognitive tutor, International Journal of Artificial Intelligence in Education, 16, 2, pp. 101-128, (2006)
[4]  
Aleven V., Mclaren B.M., Sewall J., Koedinger K.R., The cognitive tutor authoring tools (CTAT): preliminary evaluation of efficiency gains. In Proceedings of the International Conference on Intelligent Tutoring Systems, (2006)
[5]  
Aleven V., Mclaren B.M., Sewall J., Koedinger K.R., A new paradigm for intelligent tutoring systems: example-tracing tutors, International Journal of Artificial Intelligence in Education, 19, 2, pp. 105-154, (2009)
[6]  
Aleven V., Roll I., McLaren B.M., Koedinger K.R., Help helps, but only so much: research on help seeking with intelligent tutoring systems, International Journal of Artificial Intelligence in Education, 26, 1, pp. 205-223, (2016)
[7]  
Alonso J.A., Aranda G.A., Martn-Mateos F.J., KRRT: Knowledge representation and reasoning tutor system. In Computer Aided Systems Theory–EUROCAST, (2007)
[8]  
Anderson J.R., Corbett A.T., Koedinger K.R., Pelletier R., Cognitive tutors: lessons learned, The Journal of the Learning Sciences, 4, 2, pp. 167-207, (1995)
[9]  
Barker-Plummer D., Cox R., Dale R., An empirical study of errors in translating natural language into logic. In Proceedings of the 30th Annual Meeting of the Cognitive Science Society/CogSci, (2008)
[10]  
Barker-Plummer D., Cox R., Dale R., Dimensions of difficulty in translating natural language into first order logic, International Working Group on Educational Data Mining, (2009)