| 摘要 | 第1-6页 |
| ABSTRACT | 第6-12页 |
| 第一章 绪论 | 第12-18页 |
| ·研究背景和意义 | 第12-13页 |
| ·国内外研究现状简介 | 第13-15页 |
| ·基于词法的分析 | 第14页 |
| ·基于生成树的分析 | 第14页 |
| ·基于谓语-参数结构的分析 | 第14页 |
| ·逻辑表达式的分析 | 第14页 |
| ·基于跨对相似性的分析 | 第14页 |
| ·基于对齐的机器学习方法 | 第14-15页 |
| ·目前存在的问题 | 第15-16页 |
| ·研究内容及工作 | 第16页 |
| ·论文内容 | 第16-18页 |
| 第二章 理论基础 | 第18-25页 |
| ·术语 | 第18页 |
| ·成分 | 第18页 |
| ·话题 | 第18页 |
| ·事实 | 第18页 |
| ·领域及本体 | 第18-20页 |
| ·领域知识 | 第19页 |
| ·本体 | 第19页 |
| ·上层本体与领域本体 | 第19-20页 |
| ·自然语言处理 | 第20-21页 |
| ·编辑距离（Levenshtein Distance） | 第20页 |
| ·语义相关性 | 第20-21页 |
| ·索引技术 | 第21-23页 |
| ·权重及排序 | 第21-22页 |
| ·倒排索引（Inverted Index） | 第22-23页 |
| ·蕴含推理 | 第23-24页 |
| ·对齐 | 第23-24页 |
| ·复合性原理 | 第24页 |
| ·本章小结 | 第24-25页 |
| 第三章 相关工作及工具 | 第25-32页 |
| ·蕴含推理技术 | 第25-27页 |
| ·自然逻辑概述 | 第25-27页 |
| ·自然逻辑关系与蕴含关系 | 第27页 |
| ·相关工具 | 第27-31页 |
| ·Stanford CoreNLP | 第28-30页 |
| ·OpenNLP | 第30页 |
| ·Lucene | 第30-31页 |
| ·本章小结 | 第31-32页 |
| 第四章 文本蕴含推理方法研究 | 第32-40页 |
| ·匹配算法 | 第33-37页 |
| ·推理算法 | 第37-39页 |
| ·本章小结 | 第39-40页 |
| 第五章 基于蕴含推理的信息搜索方法研究 | 第40-43页 |
| ·文本的初筛 | 第40-41页 |
| ·蕴含推理的引入 | 第41页 |
| ·本章小结 | 第41-43页 |
| 第六章 系统设计及其实现 | 第43-60页 |
| ·需求分析 | 第43页 |
| ·设计原则 | 第43-45页 |
| ·领域的引入 | 第44页 |
| ·文本推理 | 第44-45页 |
| ·本体的引入 | 第45页 |
| ·定义缺失的问题 | 第45页 |
| ·总体设计 | 第45-46页 |
| ·用户界面 | 第45页 |
| ·后台服务器 | 第45-46页 |
| ·网络服务 | 第46页 |
| ·系统技术方案 | 第46-47页 |
| ·信息检索设计方案 | 第47-48页 |
| ·存储 | 第47页 |
| ·查询 | 第47-48页 |
| ·用户界面 | 第48-50页 |
| ·关系展示模块 | 第48-49页 |
| ·文档管理模块 | 第49页 |
| ·蕴含搜索模块 | 第49-50页 |
| ·蕴含推理实现 | 第50-56页 |
| ·总体结构 | 第50-51页 |
| ·领域本体匹配 | 第51页 |
| ·编辑距离匹配 | 第51-52页 |
| ·Ngram 分布式距离匹配 | 第52页 |
| ·关系连接 | 第52-54页 |
| ·典型处理过程示例 | 第54-56页 |
| ·实验 | 第56-59页 |
| ·本章小结 | 第59-60页 |
| 第七章 结束语 | 第60-62页 |
| ·主要工作和创新点 | 第60页 |
| ·未来工作及展望 | 第60-62页 |
| 参考文献 | 第62-65页 |
| 致谢 | 第65-66页 |
| 攻读硕士学位期间已发表或录用的论文 | 第66页 |