領域知識の極小的解釈による学習者モデルの診断手法について  [in Japanese] Student Model Diagnosis with Circumscription over a Domain Theory  [in Japanese]

問題解決の知的学習支援システムおける学習者モデルの構築を目的とする. 問題解決のルールおよび問題など(領域知識)をその関係を含めて一階述語論理の節形式として記述し,さらに学習者の問題解決過程から観測された事象(課題の正誤および適用された知識)を加えて領域の定理と考える.次に,この定理において、ルールの適用に関する節に対して極小限定式を考えれば,それらのルールの対する学習者の習得状態に関してウ極小モデルに基づく解釈を与えることになる.その上で,特定のあるルールの習得状態に関する仮説を命題とすれば,極小限定の理論における融合(resolution)および演鐸の定理を用いて,その命題が導出されるか否かを判断することができる.問題解決の知識のように,知識が相互に関連しあっている場合には,一般に,個々の知識に関する習得状態を診断することが困難である. ここで提案する手法を用いることにより,領域の問題解決知識に関して,「あるルールを理解していない」という診断仮説に基づいた学習者モデルを構築することが可能となる.本論文では,問題解決に用いられる知識の表現形式について考察し,極小限定の理論の概略を説明した後に,極小限定を用いた学習者モデル診断手法について述べる.

The purpose of this study is to formalize a domain knowledge over the procedural problem solving, and to construct student model with it. In general, student modelling with procedural knowledge is difficult, because the knowledge is in a tangle with each other and it does not have any sense to ask students whether they know some specific knowledge. In this paper, we use the theory of circumscription to formalize a domain knowledge as well as some observations gained from students during the process of problem solving.