Title :
Development of a learning system for proving the congruence of two triangles by supporting ‘backward chaining’
Author :
Onda, Ryosuke ; Hirai, Yuki ; Kaneko, Kunihiko
Author_Institution :
Fac. of Eng., Tokyo Univ. of Agric. & Technol., Tokyo, Japan
Abstract :
In this study, we have designed and implemented a system that supports learners to use backward chaining to solve proof problems about the congruence of two triangles. In addition, we have carried out an evaluation experiment in a public junior high school to measure the learning effect of the system. As a result of hypothesis tests, for students with good pre-test scores, the effect of the system was verified. On the other hand, significant increase of the number of occurrences of backward chaining of the experimental participants who used the system was not observed.
Keywords :
geometry; inference mechanisms; learning (artificial intelligence); mathematics computing; theorem proving; PPCTT; backward chaining; learning system; proof problem about the congruence of two triangles; public junior high school; Europe; learning support; learning system; mathematics education;
Conference_Titel :
Student Project Conference (ICT-ISPC), 2014 Third ICT International
Conference_Location :
Nakhon Pathom
Print_ISBN :
978-1-4799-5572-5
DOI :
10.1109/ICT-ISPC.2014.6923204
