A Support System for Solving Problems of Two-Triangle Congruence Using ‘Backward Chaining’

Ryosuke ONDA  Yuki HIRAI  Kay PENNY  Bipin INDURKHYA  Keiichi KANEKO  

IEICE TRANSACTIONS on Information and Systems   Vol.E100-D   No.10   pp.2567-2577
Publication Date: 2017/10/01
Online ISSN: 1745-1361
DOI: 10.1587/transinf.2016EDP7363
Type of Manuscript: PAPER
Category: Educational Technology
secondary education,  interactive learning environments,  learning support system,  problem-solving,  backward chaining,  

Full Text: PDF(1MB)>>
Buy this Article

We developed a system called DELTA that supports the students' use of backward chaining (BC) to prove the congruence of two triangles. DELTA is designed as an interactive learning environment and supports the use of BC by providing hints and a function to automatically check the proofs inputted by the students. DELTA also has coloring, marking, and highlighting functions to support students' attempts to prove the congruence of two triangles. We evaluated the efficacy of DELTA with 36 students in the second grade of a junior high school in Japan. We found that (1) the mean number of problems, which the experimental group (EG) completely solved, was statistically higher than that of the control group on the post-test; (2) the EG effectively used the BC strategy to solve problems; and (3) the students' attempt to use both the forward chaining strategy and the BC strategy led to solving the problems completely.