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
相关论文
共 33 条
  • [1] Aleven V, 1998, LECT NOTES COMPUT SC, V1452, P364
  • [2] ANDERSON J, 1993, RULES MIND HILLSDALE
  • [3] BOTANA F, 2002, COMPUT EDUC, V49, P27
  • [4] Brandao LD, 2004, LECT NOTES COMPUT SC, V3220, P791
  • [5] BRANDAO LO, 2005, BRAZ J INF ED, V14, P41
  • [6] BRANDAO LO, 2003, P BRAZ COMP SOC C CA, P1476
  • [7] A deductive database approach to automated geometry theorem proving and discovering
    Chou, SC
    Gao, XS
    Zhang, JZ
    [J]. JOURNAL OF AUTOMATED REASONING, 2000, 25 (03) : 219 - 246
  • [8] FOURREY E, 1924, PROCEDES ORIGINAUX I, P86
  • [9] Gallier JeanH., 2003, LOGIC COMPUTER SCI F
  • [10] Gao XS, 1999, PROCEEDINGS OF THE FOURTH ASIAN TECHNOLOGY CONFERENCE IN MATHEMATICS, P153