自然语言理解中的语义形式化研究

摘要

自然语言理解是人工智能的核心课题之一，其本质是对语言问题的方方面面在计算机当中的形式化研究。其中最突出的问题就是语义的形式化问题，它成为制约自然语言理解发展的瓶颈问题。本文的研究重点就是将语义问题以数学的方法在语言学上加以形式化。由于图是最接近人类思维结构的一种数学形式，因此，我们以知识图理论和概念图理论为平台，来研究语义的形式化问题。本文从“语义表示的形式化”和“语义推理的形式化”两个方面对自然语言语义理解技术进行了研究，并在讨论具体的形式化方法之前，对自然语言(语义)相关的人类认知过程进行了讨论。由于语言的问题不可避免的涉及到人类的思维，因此对于自然语言的语义理解来说，认知科学的研究是非常关键和必要的，甚至可以说是决定性的。 首先，本文将认知科学中的信息加工理论和心理模型理论融合在一起，建立了认知模型(Cognitive-Model)。然后，在此模型基础上围绕“信息”和“心理模型”讨论了与语言和语义相关的哲学话题、逻辑学话题和心理学话题，为具体的语义形式化方法提供了指导。 然后，基于知识图理论，本文研究了“语义表示形式化的问题”。一个基本观点是：人们在意识中有一种结构化的表达，即心理模型，语义就是语言所代表的心理模型，它是由概念构建的一种结构。随后，本文以汉语为平台，具体从概念、结构、词与概念的对应关系，语法与结构的对应关系这四个方面进行了知识图形式化的研究。 最后，基于概念图理论，本文研究了“语义推理形式化的问题”。从形式演绎和模型理论两个方面讨论了概念图的语义推理机制。随后，针对封闭世界模型下的概念图推理过程提出了一种基于博弈树的求解算法，该算法可以实现对封闭世界模型下任一个概念图或概念图集“真值”的识别。

目录

文摘

英文文摘

西北工业大学学位论文知识产权声明书及西北工业大学学位论文原创性声明

第一章 绪论

1.1自然语言理解概述

1.2国外发展脉络和研究成果

1.3汉语自然语言理解发展概况与成果

1.3.1汉语的特点以及计算机处理的特殊性

1.3.2汉语自然语言理解技术发展概况和成果

1.4本论文研究内容和结构

第二章 语义理解的认知科学基础

2.1认知模型的建立

2.2语言相关的哲学，逻辑学，心理学讨论

2.2.1哲学话题

2.2.2逻辑学话题

2.2.3心理学话题

2.3小结

第三章 基于知识图的自然语言语义表示研究

3.1引言

3.1.1知识图理论在自然语言语义理解技术中的作用

3.1.2形式化对象和方法

3.2知识图理论简介

3.2.1概述

3.2.2图形表示

3.3对语义本身的形式化研究

3.3.1节点的改进

3.3.2弧的改进

3.3.3新的标准化定义

3.3.4知识图嵌套结构的展开

3.4语义和语言表达间对应关系的形式化研究

3.4.1词和概念的对应关系形式化

3.4.2语法和结构间对应关系的形式化

3.5小结

第四章 基于概念图的自然语言语义推理研究

4.1引言

4.2基于汉语平台的概念图表示方法

4.2.1图形表示

4.2.2规范图及概念图的投影

4.2.3语境及递归语境

4.3语义推理机制

4.3.1形式演绎

4.3.2模型理论

4.3.3基于概念图的汉语推理机制

4.4基于博弈树搜索的语义推理算法

4.4.1问题描述

4.4.2基本思想、搜索策略和算法

4.5小结

第五章 结论与展望

参考文献

附录一攻读硕士学位期间参加的科研项目

附录二攻读硕士学位期间发表和完成的论文

致谢