画法几何中自动求解技术的研究

Research on the Automatic Resolving Technology in Descriptive Geometry

简述了智能CAI是计算机辅助教学发展的趋势,并通过分析画法几何习题的特点,提出了自动解题的解决方案。通过自然语言理解从文本中提取信息,并且根据画法几何中投影特点从图形中得到图元的几何信息,采用产生式表示法+过程性表示来表示画法几何习题的求解知识,并以此建立数据库,最后利用正向推理方式对习题进行自动求解。

This paper gives an outline introduction that intelligent CAI is the development tendency of CAI. It also analyzes the characteristics of the praxis in Descriptive Geometry and puts forward its particular problem automatic solving project. The author has adopted natural language understanding to extract information from the text. And it also gets geometric info from the drawing according as the characteristics of the projection. And the paper adopts generative rules + process to represent knowledge on problem solving. In the end, it realizes the automation of solving problem.