[論文レビュー] Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System

Chris Alvin, Sumit Gulwani+2 more|arXiv (Cornell University)|Oct 29, 2015

Intelligent Tutoring Systems and Adaptive Learning参考文献 10被引用数 5

ひとこと要約

本稿では、与えられた図形とその性質から、自動的に個人に適合したユークリッド幾何学の証明問題とその解答を合成する知能型チューティングシステム、GeoTutorを提示する。幾何的推論のハイパーグラフ表現とヒューリスティックフィルタリングを用い、155の教科書問題あたり約8,000の興味深い問題と約3,000の逆問題を生成し、1問題あたり4秒未塔で生成可能である。

ABSTRACT

This paper presents an intelligent tutoring system, GeoTutor, for Euclidean Geometry that is automatically able to synthesize proof problems and their respective solutions given a geometric figure together with a set of properties true of it. GeoTutor can provide personalized practice problems that address student deficiencies in the subject matter.

研究の動機と目的

• 学生のパフォーマンスと背景に応じて、自動的に個人に適合した幾何証明問題を生成できる知能型チューティングシステムの開発。
• 与えられた幾何図形とその固有の性質から、直接的および逆の証明問題を自動合成可能にする。
• 難易度、興味度、類似性に基づいて生成された問題を分類し、的確な練習と不正行為の低減を支援する。
• 幾何学チューティング環境において、学生が提出した証明に対して自動フィードバック、ヒント、採点を提供する。
• 教育者が手動で問題を作成する負担を軽減し、必要に応じて新規で学習課程に適合した問題を即時生成可能にする。

提案手法

• 基本的な幾何的命題をノードとし、ユークリッド公理から導かれる推論をハイパーエッジとするハイパーグラフとして幾何図形を表現する。
• 学生固有の仮定を組み込み、ヒューリスティックを用いて推論のハイパーグラフを走査し、関連する証明問題をフィルタリングして生成する。
• 与えられたすべての仮定を必要とする「興味深い問題」と、非自明な推論を要する「厳密に興味深い問題」に分類するためのメトリクスを適用し、自明または代数的問題を回避する。
• 元の問題における仮定と目的の役割を入れ替えることで逆問題を生成する。
• 構造的および解法の類似性に基づいて類似問題を同定し、成績が芳しくない生徒のための的確な練習を支援する。
• LiveGeometryと統合し、Webおよびタブレット向けにデプロイ可能にし、インタラクティブな問題解決と即時のフィードバックを可能にする。

実験結果

リサーチクエスチョン

• RQ1 知能型チューティングシステムは、与えられた幾何図形とその性質から、自動的に個人に適合した幾何証明問題を合成できるか？
• RQ2 論理的および教育的基準に基づいて、興味深い問題と無関心な問題をどのように区別できるか？
• RQ3 自動生成された問題が、既存の問題に対して類似性や逆転関係にある程度まで分類可能か、これにより適応学習がどの程度支援できるか？
• RQ4 正しさと教育的関連性を保証しつつ、難易度の異なる問題を生成できるか？
• RQ5 このようなシステムは、スケールを考慮して高品質で学習課程に適合した問題をどの程度の効率で生成できるか？

主な発見

• GeoTutorは155の教科書問題から約8,307の問題を合成し、そのうち4,120件が「興味深い問題」と分類され、2,168件が「厳密に興味深い問題」と分類された。
• 約3,097件の逆問題が生成され、すべてが「興味深い」と評価された。これは、元の問題の論理的逆転を効果的に探索できることを示している。
• 平均して、1図形あたり3.90秒で問題が生成された。これは、リアルタイム教育用途における高いスケーラビリティを示している。
• 「興味深い問題」の平均証明幅は4.85、「厳密に興味深い問題」では6.10であり、より高い興味度分類に伴い複雑性が増していることを示している。
• 「興味深い問題」の平均証明長は4.67ステップ、「厳密に興味深い問題」では5.53ステップであり、より深い推論要件を反映している。
• 平均して、教科書問題1件あたり19.7件の「厳密に興味深い問題」が同定された。これは、高品質で非自明な演習問題を強力に生成可能である可能性を示している。