汉语部分句式的形式语义分析

【摘要】：本文的研究目的是探讨汉语中部分句式的语义表达问题。这一研究的理论基础是形式语言学的研究方法论。具体地说,本文的理论依托不但包括模型理论、规则对规则假设、逻辑翻译理论和类型理论等形式语言学的经典思想,而且包括的HPSG框架中库柏储存理论、非组合性理论和事件语义学的形式研究方法等新的理论成果。从形式语言学的研究方法出发,我们对语义的描述采用的是逻辑公式的表现手段。本文提出了一种扩充的逻辑语义分析法,并致力于应用这一分析框架来研究汉语部分句式的语义问题。我们所提出的逻辑语义分析法的扩充性主要体现在两个方面:一是加入了(语义)类的重设原则:二是在语义的分析过程坚持把逻辑谓词视作为是承载着整个句式的主要语义信息。这两个方面相辅相成,能够尽可能地保证分析过程的实效性和一致性。 应用逻辑的方法来表现语义,其优势不仅体现为描写本身的严谨性和精确性,并且更进一步地体现在使得语义描写的计算机语言实现成为可能。本文所使用的计算机语言是SICStus版本的Prolog语言,并对汉语部分句式的语义生成过程进行了个案实现。就句式语义的生成过程而言,我们进行分析的主要依据是类型驱动的语义生成思想。这一思想是与我们所提出的扩充的逻辑语义分析法是一致的。 全文共分为八章,各个部分所述内容和结构安排具体如下。 第一章引言,主要总结和概述相关的研究背景,对本文所从事的研究工作的意义和研究工作的基础进行了说明,并对全文的结构安排做了介绍。 第二章形式语义的基本理论及其自动分析的原理,首先介绍模型理论、规则对规则假设、逻辑翻译理论和类型理论等形式语义研究中几个基本理论思想,并指出这些基本理论思想既是本文所提出的语义分析法的基础,也是在Prolog语言中实现个案语义自动分析的基础。接下去重点讨论基于定子句语法的Prolog语言的一些基本概念。 第三章一种扩充的逻辑语义分析法,集中讨论本文应用于语义分析的一种扩充的逻辑语义分析法,特别是这一语义分析法所包含的两条主要原则,即类重设原则和逻辑谓词原则,并在此基础上进一步讨论这一语义分析法的理论内涵和应用特点。