声明
第一章 绪论
1.1 研究工作的背景与意义
1.2 国内外研究情况
1.2.1 知识的自动推理
1.2.2 产生式系统和专家系统
1.2.3 归纳学习
1.2.4 机器学习与归纳学习的应用
1.3 论文的研究内容
1.4 论文组织结构
第二章 相关理论与技术
2.1 自动推理技术
2.1.1 推理引擎和推理引擎
2.1.2 Drools
2.1.3 计算工具
2.2 归纳学习
2.3 本章小结
第三章 自动解题系统
3.1 系统结构
3.2 知识表示
3.3 知识的自动推理
3.3.1 知识库与规则库
3.3.2 辅助计算系统
3.3.3 训练系统
3.4 自动解题系统的优化
3.4.1 矛盾停机规则
3.4.2 归纳法推理和验证
3.5 本章小结
第四章 基于归纳学习的知识发现与应用
4.1 设计思想
4.2 数据的选取与收集
4.3 数据的整理和表示
4.4 知识发现与应用
4.5 本章小结
第五章 系统测试与分析
5.1 系统测试
5.1.1 系统解题展示
5.1.2 知识发现与应用成果
5.2 测试结果分析
5.3 本章小结
第六章 总结与展望
6.1 总结
6.2 展望
致谢
参考文献
攻读硕士期间参与获奖情况