Experimen system of Geometry Inference on Web

点击翻译按钮获取中文摘要

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.