自然语言理解中的语义形式化研究
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-8页 |
| 第一章 绪论 | 第8-20页 |
| ·自然语言理解概述 | 第8-10页 |
| ·国外发展脉络和研究成果 | 第10-14页 |
| ·汉语自然语言理解发展概况与成果 | 第14-19页 |
| ·汉语的特点以及计算机处理的特殊性 | 第14-15页 |
| ·汉语自然语言理解技术发展概况和成果 | 第15-19页 |
| ·本论文研究内容和结构 | 第19-20页 |
| 第二章 语义理解的认知科学基础 | 第20-39页 |
| ·认知模型的建立 | 第20-23页 |
| ·语言相关的哲学，逻辑学，心理学讨论 | 第23-37页 |
| ·哲学话题 | 第23-30页 |
| ·逻辑学话题 | 第30-36页 |
| ·心理学话题 | 第36-37页 |
| ·小结 | 第37-39页 |
| 第三章 基于知识图的自然语言语义表示研究 | 第39-57页 |
| ·引言 | 第39-40页 |
| ·知识图理论在自然语言语义理解技术中的作用 | 第39页 |
| ·形式化对象和方法 | 第39-40页 |
| ·知识图理论简介 | 第40-43页 |
| ·概述 | 第40-41页 |
| ·图形表示 | 第41-43页 |
| ·对语义本身的形式化研究 | 第43-48页 |
| ·节点的改进 | 第43-45页 |
| ·弧的改进 | 第45-46页 |
| ·新的标准化定义 | 第46页 |
| ·知识图嵌套结构的展开 | 第46-48页 |
| ·语义和语言表达间对应关系的形式化研究 | 第48-56页 |
| ·词和概念的对应关系形式化 | 第48-54页 |
| ·语法和结构间对应关系的形式化 | 第54-56页 |
| ·小结 | 第56-57页 |
| 第四章 基于概念图的自然语言语义推理研究 | 第57-69页 |
| ·引言 | 第57页 |
| ·基于汉语平台的概念图表示方法 | 第57-61页 |
| ·图形表示 | 第57-59页 |
| ·规范图及概念图的投影 | 第59-60页 |
| ·语境及递归语境 | 第60-61页 |
| ·语义推理机制 | 第61-64页 |
| ·形式演绎 | 第62页 |
| ·模型理论 | 第62-63页 |
| ·基于概念图的汉语推理机制 | 第63-64页 |
| ·基于博弈树搜索的语义推理算法 | 第64-67页 |
| ·问题描述 | 第64-66页 |
| ·基本思想、搜索策略和算法 | 第66-67页 |
| ·小结 | 第67-69页 |
| 第五章 结论与展望 | 第69-72页 |
| (一)概论 | 第69页 |
| (二)认知研究 | 第69-70页 |
| (三)语义形式化 | 第70页 |
| (四)存在的问题 | 第70-72页 |
| 参考文献 | 第72-76页 |
| 附录一 攻读硕士学位期间参加的科研项目 | 第76-77页 |
| 附录二 攻读硕士学位期间发表和完成的论文 | 第77-78页 |
| 致谢 | 第78-79页 |
