Experimen system of Geometry Inference on Web

提出了一种适用于几何推理系统的快速模式提取方法。该方法是运行在Web上的几何推理引擎的核心部分。用户使用图形用户界面绘制图形，并指定要证明的条件和目标。通过对粗略绘制的图形进行数值逼近，得到了理想的图形。几何推理是基于Koedinger的DC模型方法实现的产生式系统，该方法代表了一个典型的几何图像。这种方法需要精确绘制的图形来检测这种模式。这些模式被用作推理过程中的指导。在这个项目中，我们提出了一种快速的方法来检测给定图形中的这些模式。对于几何初等定理的典型例子，我们证实了该方法的有效性。

We have proposed a fast pattern extraction method for geometric inference system. The method plays a core part of our geometric inference engine which runs on Web. A user draws a figure with GUI and specifies the condition and the goal to prove. The ideal figures are obtained as a result of numerical approximation from the roughly drawn figure. Geometric inference are implemented as a production system based on Koedinger's DC-model method which represents a prototypical geometric image. The method needs a precisely drawn figure to detect such patterns. Those patterns is used as guides in the inference process. In this project, we proposed a fast method to detect these patterns in a given figure. We confirmed the efficiency of our method for typical examples of elementary geometry theorems.