Summary: | 碩士 === 雲林科技大學 === 資訊工程研究所 === 96 === With advanced technologies of natural language processing, can be very user-friendly interactions between computer and human. Recently, humans can use their language to manage computers in applications of NLP on many domains, especially in learning. In this paper, an authoring tool has been proposed to help students learn geometry proof. This tool is based on Java Sketchpad an object of geometer’s sketchpad, and InfoMap, which is a knowledge engine. By using the tool, teachers can edit a geometry proof problem with a client browser, and then analyze the problem with knowledge engine. Finally, the interpretive program produces a script for drawing a dynamic geometry figure within Java Sketchpad, and then translates the online materials into a XML format (eXtensible Markup Language); moreover, students can learn these materials by loading the XML files repeatedly. This tool also provides dynamic geometry figure to help students discover and understand the process of solving geometry proof. Furthermore, an evaluation for the performance of knowledge engine shows that it can understand about 77%.
|