“吴方法”的几何CAI系统的开发与研究

Development and Research of "Wu-method" Geometry CAI System

把吴方法引入几何CAI体系,收集整理某一范畴的所有几何知识(包括对象、关系、定理、问题等),进行详尽的分解归类细化,抽象出几何知识的最小元素,进而完全形式化,建立形式化的几何知识数据结构库,最终实现几何命题关系能够利用代数方程来描述;构造机械化为特色的算法体系,据此形成一种新的通用几何CAI设计方案。

The Wu method is introduced into geometry CAI system, to collect and collate a single category of all the knowledge of geometry （including objects, relationships, theorems, problems, etc.）, to conduct a detailed decomposition of classification refinement abstract geometrical knowledge of the smallest element, and thus completely formalized the establishment of formal knowledge of geometry, data structure libraries, and ultimately the relationship between the geometric propositions can use algebraic equations to describe; structural features of the algorithm is mechanized system, whereby the formation of a new common geometric CAI design.