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 条
  • [1] Automatic Assessment of Student Answers for Geometric Construction Questions
    Wijeweera, Buddhima
    Dias, Gihan
    Ranathunga, Surangika
    [J]. 2017 IEEE 17TH INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES (ICALT), 2017, : 238 - 242
  • [2] Cancellation Patterns in Automatic Geometric Theorem Proving
    Apel, Susanne
    Richter-Gebert, Juergen
    [J]. AUTOMATED DEDUCTION IN GEOMETRY, 2011, 6877 : 1 - 33
  • [3] QUESTIONS AND ANSWERS + STUDENT RECITAL
    CLARK, F
    [J]. CLAVIER, 1977, 16 (08): : 56 - 56
  • [4] Automatic Assessment of Student Answers Consisting of Venn and Euler Diagrams
    Wijesinghe, Diunuge B.
    Kadupitiya, Jcs
    Ranathunga, Surangika
    Dias, Gihan
    [J]. 2017 IEEE 17TH INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES (ICALT), 2017, : 243 - 247
  • [5] ARTIFICIAL INTELLIGENCE AND AUTOMATIC THEOREM PROVING
    HICKS, J
    [J]. COMPUTERS AND PEOPLE, 1976, 25 (01): : 34 - 35
  • [6] Abductive theorem proving for analyzing student explanations
    Jordan, PW
    Makatchev, M
    VanLehn, K
    [J]. ARTIFICIAL INTELLIGENCE IN EDUCATION: SHAPING THE FUTURE OF LEARNING THROUGH INTELLIGENT TECHNOLOGIES, 2003, 97 : 73 - 80
  • [7] AUTOMATIC THEOREM-PROVING .2.
    VORONKOV, AA
    DEGTYAREV, AI
    [J]. CYBERNETICS, 1987, 23 (04): : 547 - 556
  • [8] An application of automatic theorem proving in computer vision
    Bondyfalat, D
    Mourrain, B
    Papadopoulo, T
    [J]. AUTOMATED DEDUCTION IN GEOMETRY, PROCEEDINGS, 1999, 1669 : 207 - 231
  • [9] Telescope guidance via automatic theorem proving
    Cherkashin, E
    Vassilyev, S
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 1439 - 1444
  • [10] AUTOMATIC THEOREM-PROVING .1.
    VORONKOV, AA
    DEGTYAREV, AI
    [J]. CYBERNETICS, 1986, 22 (03): : 290 - 297
12345