论文信息 - Automatic assessment of student answers for geometric theorem proving questions

Automatic assessment of student answers for geometric theorem proving questions

In this paper, we present a system to automatically assess multi-step answers for geometric theorem proving questions in high school Mathematics. The system is capable of allocating partial marks for steps considering a marking rubric. Moreover, the system evaluates the natural language reasoning part in each step. Currently, 30 theorems related to straight lines have been implemented as inference rules. The system has been tested with 100 student answers for two geometric theorem proving questions.

[1] Sumit Gulwani,et al. Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System , 2015, ArXiv.

[2] Surangika Ranathunga,et al. Sinhala Short Sentence Similarity Calculation using Corpus-Based and Knowledge-Based Similarity Measures , 2016, WSSANLP@COLING.

[3] Martin Henz,et al. Automated Generation of Geometry Questions for High School Mathematics , 2014, CSEDU.

[4] Iyad A. Ajwa,et al. Grobner Bases Algorithm , 1995 .

[5] Hyung Joon Kook. Geometry Tutoring Supported by an Intelligent Drawing Interface and Automatic Problem Solving , 2010 .

[6] Steven G. Johnson,et al. The Design and Implementation of FFTW3 , 2005, Proceedings of the IEEE.

[7] Ivan Petrović,et al. Formalization and Implementation of Algebraic Methods in Geometry , 2011, THedu.

[8] GulwaniSumit,et al. Synthesizing geometry constructions , 2011 .

[9] Sumit Gulwani,et al. Synthesizing geometry constructions , 2011, PLDI '11.

[10] Joran M. Elias. Automated Geometric Theorem Proving: Wu's Method , 2006, The Mathematics Enthusiast.

[11] Jacques D. Fleuriot,et al. Combining Dynamic Geometry, Automated Geometry Theorem Proving and Diagrammatic Proofs , 2005 .

[12] Richard G. Baraniuk,et al. Mathematical Language Processing: Automatic Grading and Feedback for Open Response Mathematical Questions , 2015, L@S.