摘要
阐述了如下内容：①自动推理的发展与教育技术；②教育软件智能平台的基本构成；③教育软件智能平台应有的功能，并进行了教育软件智能平台实例演示．
The paper discusses some contets as the following: (1) The developmend of automatic inference and educa- tion technology; (2) The basic structure of Educational Intelligent Platform; (3) The adequate functions for Educational Intelligent Platform. Some cases to demonstrate the Educational Intelligent Platform are shown.
关键词
自动推理
教育软件智能平台
教育技术
解析几何
立体几何
物理
Automated Reasoning
intelligence platform for education software
education technology
analytic geom- etry
solid geometry
phyics
