DocumentCode
119551
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
fYear
2014
fDate
26-27 March 2014
Firstpage
1
Lastpage
4
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Student Project Conference (ICT-ISPC), 2014 Third ICT International
Conference_Location
Nakhon Pathom
Print_ISBN
978-1-4799-5572-5
Type
conf
DOI
10.1109/ICT-ISPC.2014.6923204
Filename
6923204
Link To Document