幾何論証ITSのUNIXシステムへの移植と機能の拡張について  [in Japanese] Porting and Upgrading an ITS for Geometric Theorem Proving toward UNIX Computer systems  [in Japanese]

筆者これまでに開発した初等幾何学における定理証明(三角形の合同)を対象としたITS(GEOMEX-II)をUNIXワークステーションに移植し, さらに機能の拡張を含んだ新しい幾何論証ITSシステムを開発することがねらいとされている。 新しい幾何論証システムは, GUI(Graphic User Interface)の機能を用いて, 視覚的な証明の展開が可能になっている。さらに, 学習の途中であっても, 学習者が新たな課題を作図し, システムに入力するためのインターフェイスを有する。学習者モデル診断のための領域知識の一部をシステムの問題解決の経験に基づいて獲得するといった領域知識の自己組織化の機能を有する。本稿では, 新しくシステムに組み込まれた機能を中心に, システムの構成について述べる。

This paper describes an ITS for elementary geometric proof problems. The system has been ported and upgraded from a previous version, called GEOMEX-II, which has developed on a personal computer. The new tutoring system has the following functions;(1)visual proof describing function with a graphic user interface(GUI), (2)geometric figure drawing interface which enables a student to draw an arbitrary figure and give it to a system as a problem, (3)knowledge acquisition function with Explanation Based Learning technique, which automatically acquire a part domain knowledge to diagnose a student model.