导　　师： 张景中;李传中

学科专业： D0102

授予学位： 硕士

作　　者： ;

机构地区： 广州大学

摘　　要： 本文分五章:第一章是绪论.简要介绍了计算机自动推理的历史和发展,自动推理在当前教育软件方面的应用,并说明了本文的工作.第二章对系统作了总体介绍,说明了谓词和规则的选取.第三章是全文的核心部分,详细介绍了作者的工作思路,本系统的推理思想及具体方法,对推理系统模型、工作过程等进行了描述,指出基于前向推理的平面解析几何自动推理系统的程序主要包括三个类:信息类、推理规则类和推理类,其中推理类是整个系统的核心程序.最后一节用实际例子分析了具体推理过程.第四章继续用一些实例分析了推理系统的工作过程,说明了系统对于一些关键问题采用的处理技术.第五章是结论部分,给出了本文工作的意义及今后的工作方向.

关 键 词： 解析几何 前向推理 解方程 中学数学教学 教育软件 自动推理系统

领　　域： [文化科学] [文化科学] [文化科学] [自动化与计算机技术] [自动化与计算机技术]