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

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