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

• ONDA Ryosuke

  Faculty of Engineering, Tokyo University of Agriculture and Technology

• HIRAI Yuki

  Institute of Engineering, Tokyo University of Agriculture and Technology

• PENNY Kay

  The Business School, Edinburgh Napier University

• INDURKHYA Bipin

  Institute of Philosophy, Jagiellonian University

• KANEKO Keiichi

  Institute of Engineering, Tokyo University of Agriculture and Technology

抄録

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.

収録刊行物

• IEICE Transactions on Information and Systems

  IEICE Transactions on Information and Systems E100.D (10), 2567-2577, 2017

  一般社団法人 電子情報通信学会

キーワード

• secondary education
• interactive learning environments
• learning support system
• problem-solving
• backward chaining

詳細情報

• CRID: 1390001204379612928
• NII論文ID: 130006110229
• DOI: 10.1587/transinf.2016edp7363
• ISSN: 17451361
• ISSN: 09168532
• Web Site: https://www.jstage.jst.go.jp/article/transinf/E100.D/10/E100.D_2016EDP7363/_pdf
• 本文言語コード: en
• データソース種別:
  • JaLC
  • Crossref
  • CiNii Articles
  • KAKEN
• 抄録ライセンスフラグ: 使用不可