| 摘要 | 第5-6页 |
| abstract | 第6-7页 |
| 第一章 绪论 | 第11-18页 |
| 1.1 研究背景及意义 | 第11-12页 |
| 1.2 研究现状 | 第12-15页 |
| 1.3 研究内容 | 第15-17页 |
| 1.4 论文组织结构 | 第17-18页 |
| 第二章 相关理论与技术 | 第18-33页 |
| 2.1 谓词逻辑 | 第18-20页 |
| 2.1.1 语法和语义 | 第18页 |
| 2.1.2 连词和量词 | 第18-19页 |
| 2.1.3 合式公式 | 第19页 |
| 2.1.4 置换与合一 | 第19-20页 |
| 2.2 产生式系统 | 第20-22页 |
| 2.2.1 产生式规则 | 第20页 |
| 2.2.2 产生式系统 | 第20-22页 |
| 2.3 Drools规则引擎 | 第22-30页 |
| 2.3.1 Drools概况 | 第22页 |
| 2.3.2 Drools规则表示 | 第22-28页 |
| 2.3.3 查询 | 第28页 |
| 2.3.4 域特定语言 | 第28-29页 |
| 2.3.5 Rete算法 | 第29-30页 |
| 2.4 符号计算工具 | 第30-32页 |
| 2.4.1 符号计算系统Maple | 第30-31页 |
| 2.4.2 Gr?ebner基及其应用 | 第31-32页 |
| 2.5 本章小结 | 第32-33页 |
| 第三章 复杂逻辑与计算推理引擎的研究与构建 | 第33-58页 |
| 3.1 概况 | 第33页 |
| 3.2 复杂逻辑推理研究 | 第33-52页 |
| 3.2.1 正向推理 | 第33-35页 |
| 3.2.2 逆向推理 | 第35-37页 |
| 3.2.3 双向推理 | 第37-45页 |
| 3.2.3.1 先正后逆 | 第38-40页 |
| 3.2.3.2 先逆后正 | 第40-42页 |
| 3.2.3.3 正逆同时 | 第42-45页 |
| 3.2.4 复杂逻辑推理引擎构建 | 第45-52页 |
| 3.2.4.1 引擎概况 | 第45-47页 |
| 3.2.4.2 AutoHalt Engine | 第47-50页 |
| 3.2.4.3 Match Engine | 第50-52页 |
| 3.3 复杂逻辑与计算推理研究 | 第52-54页 |
| 3.3.1 计算推理概述 | 第52-53页 |
| 3.3.2 计算推理构建 | 第53-54页 |
| 3.3.3 计算推理性能优化 | 第54页 |
| 3.4 类人解题 | 第54-57页 |
| 3.4.1 类人解题的前提 | 第54-55页 |
| 3.4.2 类人求解的步骤 | 第55-57页 |
| 3.4.2.1 知识实体编号 | 第55-56页 |
| 3.4.2.2 解题过程 | 第56-57页 |
| 3.4.2.3 过滤特殊的规则 | 第57页 |
| 3.5 本章小结 | 第57-58页 |
| 第四章 复杂逻辑与计算引推理擎在函数问题求解中的应用 | 第58-79页 |
| 4.1 系统总体框架 | 第58-59页 |
| 4.2 函数问题中的知识表示 | 第59-65页 |
| 4.2.1 函数实体表示 | 第59-61页 |
| 4.2.2 函数属性表示 | 第61-64页 |
| 4.2.3 函数间的知识表示 | 第64页 |
| 4.2.4 函数问题中的其他知识 | 第64-65页 |
| 4.3 函数问题中的的推理规则 | 第65-72页 |
| 4.3.1 函数的规则流规则 | 第66-69页 |
| 4.3.1.1 分析函数单调性 | 第66-67页 |
| 4.3.1.2 三角函数化简 | 第67-69页 |
| 4.3.2 函数的普通规则 | 第69-72页 |
| 4.3.2.1 逻辑推理规则 | 第69-70页 |
| 4.3.2.2 计算推理规则 | 第70-71页 |
| 4.3.2.3 联想推理规则 | 第71-72页 |
| 4.4 复杂逻辑与计算推理引擎的实现 | 第72-75页 |
| 4.5 符号计算平台的使用 | 第75-78页 |
| 4.6 本章小结 | 第78-79页 |
| 第五章 系统测试与分析 | 第79-87页 |
| 5.1 系统测试 | 第79-85页 |
| 5.1.1 系统展示 | 第79-81页 |
| 5.1.2 系统测试 | 第81-85页 |
| 5.2 系统分析 | 第85-87页 |
| 第六章 总结与展望 | 第87-89页 |
| 6.1 本文的主要研究成果 | 第87页 |
| 6.2 研究中的不足和展望 | 第87-89页 |
| 致谢 | 第89-90页 |
| 参考文献 | 第90-93页 |
| 攻读硕士学位期间参与的项目与获奖情况 | 第93-94页 |