浅谈面向对象知识表示构建平面几何CAI

摘要

文章采用面向对象的方法,给出了建立在平面几何学科知识范围内的知识库系统模型:规则-元件体系及其推理规程.知识库系统是智能教育平台的主体.并采用层次模型建立知识的分类结构,给出了其形式化的数据结构.问题求解系统则是通过构造正向、逆向或双向的推理机,在状态空间中进行搜索求解.