Using edit distance to analyse errors in a natural language to logic translation corpus

Proceedings of the 5th International Conference on Educational Data Mining, EDM 2012

Volumn , Issue , 2012, Pages

  Barker Plummer, Dave ^a   Dale, Robert ^b   Cox, Richard ^c   Romanczuk, Alex ^a  

^a STANFORD UNIVERSITY   (United States)

^b MACQUARIE UNIVERSITY   (Australia)

^c MONASH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; DATA MINING; FORMAL LOGIC; GRADING; STUDENTS; TRANSLATION (LANGUAGES);

AUTOMATIC GRADING; CORRECT SOLUTION; EDIT DISTANCE; ERROR TYPES; LARGE CORPORA; NATURAL LANGUAGES; PROPOSITIONAL LOGIC; SUBJECT MATTERS;

ERRORS;

EID: 85084012124     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. D. Barker-Plummer, R. Cox, and R. Dale. Dimensions of difficulty in translating natural language into first order logic. In Second International Conference on Educational Data Mining, pages 220–229. Cordoba Spain, 2009.
2. D. Barker-Plummer, R. Cox, and R. Dale. Student Translations of Natural Language into Logic: The Grade Grinder Corpus Release 1.0. In Proceedings of The 4th International Conference on Educational Data Mining, pages 51–60, 6th–8th July 2011.
3. D. Barker-Plummer, R. Cox, R. Dale, and J. Etchemendy. An empirical study of errors in translating natural language into logic. In V. Sloutsky, B. Love, and K. McRae, editors, Proceedings of the 30th Annual Cognitive Science Society Conference, pages 505–510. Lawrence Erlbaum Associates, 2008.
4. D. Barker-Plummer, R. Dale, and R. Cox. Impedance effects of visual and spatial content upon language-to-logic translation accuracy. In C. Hoelscher, T. F. Shipley, and L. Carlson, editors, Proceedings of the 32nd Annual Cognitive Science Society Conference, pages 3259–3264. Lawrence Erlbaum Associates, 2011.
5. T. Barnes, J. Stamper, L. Lehmann, and M. Croy. A pilot study on logic proof tutoring using hints generated from historical student data. In T. B. R. Baker and J. Beck, editors, Proceedings of the 1st International Conference on Educational Data Mining (EDM 2008), pages 197–201. International Educational Data Mining Society, 2008.
6. J. Barwise, J. Etchemendy, G. Allwein, D. Barker-Plummer, and A. Liu. Language, Proof and Logic. CSLI Publications and University of Chicago Press, September 1999.
7. P. Bille. A survey on tree edit distance and related problems. Theoretical Computer Science, 337:217–239, 2003.
8. J. Clement, J. Lochhead, and G. Monk. Translation difficulties in learning mathematics. The American Mathematical Monthly, 88(4):286–290, 1981.
9. R. Cox, R. Dale, J. Etchemendy, and D. Barker-Plummer. Graphical revelations: Comparing students’ translation errors in graphics and logic. In G. Stapleton, J. Howse, and J. Lee, editors, Proceedings of the Fifth International Conference on the Theory and Application of Diagrams. Lecture Notes in Computer Science LNAI 5223, Berlin: Springer Verlag, 2008.
10. F. Damerau. A technique for computer detection and correction of spelling errors. Communications of the ACM, 7(3):171–176, 1964.
11. P. N. Klein. Computing the edit-distance between unrooted ordered trees. In Proceedings of the 6th Annual European Symposium on Algorithms (ESA), pages 91–102. Springer-Verlag, 1998.
12. V. Levenshtein. Binary codes capable of correcting deletions, insertions, and reversals. Soviet Physics Doklady, 10:707–710, 1966.
13. D. Pimm. Speaking Mathematically. Routledge and Kegan Paul, 1987.
14. J. Reason. Human Error. Cambridge University Press, 1990.
15. L. Verschaffel, B. Greer, and E. de Corte. Making Sense of Word Problems. Swets and Zeitlinger, 2000.