文摘
英文文摘
第一章绪论
1.1研究背景和意义
1.1.1问题的提出
1.1.2国内外动态，水平
1.1.3研究意义
1.2人工智能技术的引入
1.3本文主要工作
第二章人工智能基础
2.1人工智能介绍
2.1.1概念的提出
2.1.2实现方法分析
2.1.3发展现状与问题
2.1.4前景展望
2.2专家系统简介
2.2.1专家系统概述
2.2.2专家系统的基本结构和特征
2.3本课题所用相关技术
第三章系统概述
3.1引言
3.2总体功能和结构
3.2.1运行环境
3.2.2整体方案拓扑结构
3.2.3系统功能结构
3.3子系统功能和结构
3.3.1管理系统功能和结构
3.3.2教师系统功能和结构
3.3.3学生系统功能和结构
3.4本章小结
第四章知识表示
4.1知识表示简介
4.2学科理论知识的表示
4.2.1外部形式
4.2.2内部形式
4.3学科专家知识的表示
4.4本章小结
第五章知识获取
5.1知识获取的一般途径
5.2学科理论知识的获取
5.2.1题目参考答案知识的获取
5.2.2公式编辑器的设计
5.3学科专家知识的获取
5.4本章小结
第六章结构变换
6.1引言
6.2总体设计
6.2.1设计目标
6.2.2系统流程图
6.2.3类关系图
6.3详细设计
6.3.1预处理
6.3.2一次变换
6.3.3语法检查
6.3.4还原变换
6.3.5二次变换
6.4本章小结
第七章知识利用
7.1推理机制概述
7.1.1从逻辑基础上的分类
7.1.2从推理方法上的分类
7.2学科理论知识的利用
7.2.1比较模型
7.2.2控制策略
7.2.3基于比较模型的推理
7.3学科专家知识的利用
7.4本章小结
结论
致谢
参考文献
附录1非单一变量类型左边界结构的主体移出细则
攻读硕士学位期间发表的论文
