Automatic Assessment of Student Answers for Geometric Theorem Proving Questions

被引：0
|
作者：
Mendis, Chamupathi [1 ]
Lahiru, Dhanushka [1 ]
Pamudika, Naduni [1 ]
Madushanka, Supun [1 ]
Ranathunga, Surangika [1 ]
Dias, Gihan [1 ]
机构：
[1] Univ Moratuwa, Dept Comp Sci & Engn, Katubedda 10400, Sri Lanka
来源：
2017 3RD INTERNATIONAL MORATUWA ENGINEERING RESEARCH CONFERENCE (MERCON) | 2017年
关键词：
geometric theorem proving; automatic assessment; multi-step answers; partial marks; marking rubric; knowledge based approach; inference engine;
D O I：
暂无
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
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.
引用
收藏
页码：413 / 418
页数：6
相关论文
共 50 条
  • [31] HUMAN ORIENTED LOGIC FOR AUTOMATIC THEOREM-PROVING
    NEVINS, AJ
    [J]. JOURNAL OF THE ACM, 1974, 21 (04) : 606 - 621
  • [32] A new approach for automatic theorem proving in real geometry
    Dolzmann, A
    Sturm, T
    Weispfenning, V
    [J]. JOURNAL OF AUTOMATED REASONING, 1998, 21 (03) : 357 - 380
  • [33] EXPLOITING SMALL CLAUSES IN AUTOMATIC THEOREM-PROVING
    LEE, SJ
    [J]. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1993, 12 (03): : 209 - 228
  • [34] ZAPATO: Automatic theorem proving for predicate abstraction refinement
    Ball, T
    Cook, B
    Lahiri, SK
    Zhang, LT
    [J]. COMPUTER AIDED VERIFICATION, 2004, 3114 : 457 - 461
  • [35] GEOMETRIC THEOREM-PROVING BY INTEGRATED LOGICAL AND ALGEBRAIC REASONING
    MATSUYAMA, T
    NITTA, T
    [J]. ARTIFICIAL INTELLIGENCE, 1995, 75 (01) : 93 - 113
  • [36] Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
    Marinkovic, Vesna
    Janicic, Predrag
    Schreck, Pascal
    [J]. AUTOMATED DEDUCTION IN GEOMETRY, 2015, 9201 : 72 - 93
  • [37] THE PARALLEL NUMERICAL-METHOD OF PROVING THE CONSTRUCTIVE GEOMETRIC THEOREM
    DENG, MK
    [J]. CHINESE SCIENCE BULLETIN, 1989, 34 (13): : 1066 - 1070
  • [38] Projective geometric theorem proving with Grassmann-Cayley algebra
    Li, Hongbo
    [J]. HERMANN GRASSMANN: FROM PAST TO FUTURE: GRASSMANN'S WORK IN CONTEXT, 2011, : 275 - 285
  • [39] Algebraic representation, elimination and expansion in automated geometric theorem proving
    Li, HB
    [J]. AUTOMATED DEDUCTION IN GEOMETRY, 2004, 2930 : 106 - 123
  • [40] A case of automatic theorem proving in Euclidean geometry: The Maclane 8(3) theorem
    Conti, P
    Traverso, C
    [J]. APPLIED ALGEBRA, ALGEBRAIC ALGORITHMS AND ERROR-CORRECTING CODES, 1995, 948 : 183 - 193
12345