An algorithm for automatic checking of exercises in a dynamic geometry system: iGeom

被引:21
|
作者
Isotani, Seiji [1 ]
Brandao, Leonidas de Oliveira [2 ]
机构
[1] Osaka Univ, Dept Knowlcdge Syst, Inst Sci & Ind Res, Osaka 5670047, Japan
[2] Univ Sao Paulo, Inst Math & Stat, BR-05508090 Sao Paulo, Brazil
关键词
dynamic geometry; automatically checking exercises; distance education; geometry; iGeom;
D O I
10.1016/j.compedu.2007.12.004
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
One of the key issues in e-learning environments is the possibility of creating and evaluating exercises. However, the lack of tools supporting the authoring and automatic checking of exercises for specifics topics (e.g., geometry) drastically reduces advantages in the use of e-learning environments on a larger scale, as usually happens in Brazil. This paper describes an algorithm, and a tool based on it, designed for the authoring and automatic checking of geometry exercises. The algorithm dynamically compares the distances between the geometric objects of the student's solution and the template's solution, provided by the author of the exercise. Each solution is a geometric construction which is considered a function receiving geometric objects (input) and returning other geometric objects (output). Thus, for a given problem, if we know one function (construction) that solves the problem, we can compare it to any other function to check whether they are equivalent or not. Two functions are equivalent if, and only if, they have the same output when the same input is applied. If the student's solution is equivalent to the template's solution, then we consider the student's solution as a correct solution. Our software utility provides both authoring and checking tools to work directly on the Internet, together with learning management systems. These tools are implemented using the dynamic geometry software, iGeom, which has been used in a geometry course since 2004 and has a successful track record in the classroom. Empowered with these new features, iGeom simplifies teachers' tasks, solves non-trivial problems in student solutions and helps to increase student motivation by providing feedback in real time. (c) 2008 Elsevier Ltd. All rights reserved.
引用
收藏
页码:1283 / 1303
页数:21
相关论文
共 50 条
  • [1] Automatic Annotating and Checking of Dynamic Ownership
    Hu, Tingting
    Liu, Haiyang
    Zhang, Ke
    Qiu, Zongyan
    PROGRAMMING LANGUAGES (SBLP 2016), 2016, 9889 : 78 - 94
  • [2] A SYSTEM FOR AUTOMATIC GENERATION OF EXERCISES
    Lopez-Moreno, Antonio-Jesus
    Jodar Reyes, J.
    Ruiz-Ruiz, J. F.
    Garcia-Munoz, M. A.
    Ordonez-Canada, C.
    INTED2014: 8TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, 2014, : 1855 - 1861
  • [3] AUTOMATIC EQUIPMENT CHECKING SYSTEM
    CHALMERS, DA
    ELECTRONIC ENGINEERING, 1975, 47 (573): : 19 - &
  • [4] Surface illumination controlling system for surface checking of automatic vehicle by using PSO algorithm
    Lu, Cheng
    Xiao, Haitao
    Ogai, Harutoshi
    2014 PROCEEDINGS OF THE SICE ANNUAL CONFERENCE (SICE), 2014, : 1555 - +
  • [5] Automatic Recognition of Misconceptions in Visual Algorithm Simulation Exercises
    Korhonen, Ari
    Seppala, Otto
    Sorva, Juha
    FRONTIERS IN EDUCATION CONFERENCE (FIE), 2015, 2015, : 143 - 147
  • [6] AUTOMATIC SYSTEM FOR CHECKING THE ACCURACY OF ANGLE TRANSDUCERS
    MITROFANOV, SS
    MEASUREMENT TECHNIQUES USSR, 1985, 28 (11): : 962 - 964
  • [7] AUTOMATIC CHECKING SYSTEM FOR FERROPROBE TUBE TESTERS
    KHVATOV, LA
    KALININ, YS
    GERASIMOV, EN
    SOVIET JOURNAL OF NONDESTRUCTIVE TESTING-USSR, 1978, 14 (09): : 842 - 844
  • [8] A FULLY-AUTOMATIC HOMEWORK CHECKING SYSTEM
    SCIARONE, AG
    IRAL-INTERNATIONAL REVIEW OF APPLIED LINGUISTICS IN LANGUAGE TEACHING, 1995, 33 (01): : 35 - 46
  • [9] AUTOMATIC CHECKING AND CORRECTION OF TEXTS - THE SYSTEM VORTEX
    PERENNOU, G
    DAUBEZE, P
    LAHENS, F
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1986, 5 (04): : 285 - 305
  • [10] Automatic Refinement Checking for Formal System Models
    Seiter, Julia
    Wille, Robert
    Kuehne, Ulrich
    Drechsler, Rolf
    PROCEEDINGS OF THE 2014 FORUM ON SPECIFICATION & DESIGN LANGUAGES (FDL), 2014,