本书致力于运用当代形式语言学的理论对一部分汉语句式做出语义解释，并在Prolog语言的环境下演示个案实现的过程。本书研究工作的主体理论框架是定义三种逻辑语言Lt、Lq和Le，并在这三种逻辑语言中分别建立起汉语部分语句系统Ct、Cq和Ce。在这三种逻辑语言的范围内，书中分别着重讨论了汉语中的“NP1+V1(+NP2)+V2”的句式、量化句句式和“NP+在+NP_locc+Vt+NP”句式。从研究方法来说，作者提出了语义类重设原则和逻辑谓词原则。此外，书中不仅应用到了形式语言学理论的经典理论思想，而且也充分借鉴了形式化的事件语义学这一新的理论框架。作者试图对不同句式的事件语义类型做出统一模式的归纳，并在此基础上对这些语义类型的语义性质做深入的分析。

本书的研究目的是探讨汉语中部分句式的语义表达问题。这一研究的理论基础是形式语言学的研究方法论。具体地说，本文的理论依托不但包括模型理论、规则对规则假设、逻辑翻译理论和类型理论等形式语言学的经典思想，而且包括HPSG框架中的库柏储存理论、非组合性理论和事件语义学的形式研究方法等新的理论成果。从形式语言学的研究方法出发，我们对语义的描述采用的是逻辑公式的表现手段。本书提出了一种扩充的逻辑语义分析法，并致力于应用这一分析框架来研究汉语部分句式的语义问题。我们所提出的逻辑语义分析法的扩充性主要体现在两个方面：一是加入了(语义)类重设原则；二是在语义的分析过程中坚持把逻辑谓词视为承载着整个句式的主要语义信息。这两个方面相辅相成，能够尽可能地保证分析过程的实效性和一致性。

运用逻辑的方法来表现语义，其优势不仅体现为描写本身的严谨性和精确性，并且更进一步地体现在使得语义描写的计算机语言实现成为可能。本书所使用的计算机语言是SICStus版本的Prolog语言，并对汉语部分句式的语义生成过程进行了个案实现。就句式语义的生成过程而言，我们进行分析的主要依据是类型驱动的语义生成思想。这一思想与我们所提出的扩充的逻辑语义分析法是一致的。

全书主体部分分为八章，各章所述内容和结构安排具体如下。

第一章引言，主要总结和概述相关的研究背景，对本书所从事的研究工作的意义和研究工作的基础进行了说明，并对全书的结构安排做了介绍。

第二章形式语义的基本理论及其自动分析的原理，首先介绍模型理论、规则对规则假设、逻辑翻译理论和类型理论等形式语义研究中的几个基本理论思想，并指出这些基本理论思想既是本书所提出的语义分析法的基础，也是在Prolog语言中实现个案语义自动分析的基础。接下去重点讨论基于定子句语法的Prolog语言的一些基本概念。

第三章一种扩充的逻辑语义分析法，集中讨论书中应用于语义分析的一种扩充的逻辑语义分析法，特别是这一语义分析法所包含的两条主要原则，即类重设原则和逻辑谓词原则，并在此基础上进一步讨论这一语义分析法的理论内涵和应用特点。

第四章论元控制谓词与非论元控制谓词的逻辑语义分析与计算，是在逻辑语言Lt和汉语部分语句系统Ct的范围内进行的。本章首先把汉语中由动词充当谓词的情况归纳为论元控制谓词和非论元控制谓词，其中，论元控制谓词又分为主语论元控制谓词和宾语论元控制谓词，并对这几类谓词的语义性质进行了形式化的定义。此外，还对宾语论元控制谓词做出了进一步的次类区分和归纳。

第五章量化句的逻辑语义分析与计算，先是对比并分析了生成量化句的逻辑语义表达式的四种方案，接着讨论了如何借助于HPSG的语法框架中有关量词储存的理论来描写汉语量词辖域歧义的现象。本章的后半部分主要讨论了汉语中的存在量词、能够视为典型的存在量化句的“有”字句和周遍性主语句分析作全称量化句的条件。本章的逻辑语义分析是在上一章逻辑语言Lt和汉语部分语句系统Ct基础上所相应地扩充的逻辑语言Lq和汉语部分语句系统Cq的范围内进行的。

第六章“NP+在+处所+VP”句式的事件语义分析，是在逻辑语言Le和汉语部分语句系统Ce进行的范围内展开讨论的，它们相应地又是对上一章中逻辑语言Lq和汉语部分语句系统Cq的扩充。本章重点对“NP+在+NP_loc+Vt+NP”句式进行了分析。本章把这个句式从事件语义分析的角度区分为简单处所事件和复合处所事件，并认为这个句式能够体现为复合处所事件的条件是处所事件在所发生的持续时间内包孕着另一个通常是非处所性质的事件。  第七章再谈若干句式的事件语义分析，把在前文中已讨论过的各种句式重新统一地置于事件语义的逻辑分析框架之中。从形式化的事件语义角度出发，对相关的句式做出事件语义类型的一致性分类。本章研究试图表明，运用事件语义的逻辑分析方法，有可能使我们从一个新的视角出发对汉语句式的语义性质有更为深入的理解。

第八章结语，是对全书研究工作的小结，指出了研究中仍存在的问题，并对后续的研究工作做了展望。

此外，在各个主要章节(第二章至第七章)中，我们对一些重要的句式格式都做了在Prolog语言环境下典型个案实现的演示。

序

致谢

内容提要

Abstract

第一章 引言

1.1相关的研究现状

1.2研究意义和研究基础

1.2.1研究意义

1.2.2研究基础

1.3本书的结构安排

第二章 形式语义的基本理论及其自动分析的原理

2.1形式语义研究的基本理论思想

2.1.1模型理论

2.1.2规则对规则假设

2.1.3逻辑翻译理论

2.1.4类型理论

2.2Prolog语言环境下的自动分析原理

2.2.1基于定子句语法的Prolog语言的基本概念

2.2.2分析的策略和本书算法的选择

第三章 一种扩充的逻辑语义分析法

3.1“中国需要进口钢材”的语义分析实例

3.2扩充的逻辑语义分析法的含义及理论内涵

3.2.1类重设原则与逻辑谓词原则

3.2.2扩充的逻辑语义分析法的解释力：可预测性

3.2.3扩充的逻辑语义分析法的理论内涵

3.3扩充的逻辑语义分析法的应用特点

第四章 论元控制谓词与非论元控制谓词的逻辑语义分析与计算

4.1动词后续成分问题的研究背景

4.2句法格式的分化：我们的观点

4.2.1“NP1+V1(+NP2)+V2”格式小类分化的汉、英对比

4.2.2三类动词的统计分布

4.3论元控制谓词与非论元控制谓词

4.3.1论元控制谓词与非论元控制谓词的真值语义条件

4.3.2“让”类谓词的次类的语义分析

4.4逻辑语言Lt和汉语部分语句系统Ct

4.5Prolog语言的个案实现示例

第五章 量化旬的逻辑语义分析与计算

5.1量化句的研究方案

5.1.1及物动词的类提升方案

5.1.2动词词组的类提升方案

5.1.3宾语的类提升方案

5.1.4及物动词的类重设方案

5.1.5我们的选择及：Prolog语言的个案实现示例

5.2汉语中的量词与量化句

5.2.1对量词辖域歧义的初步分析

5.2.2汉语中的存在量词

5.2.3汉语中的量化句和量化歧义句

5.3量词辖域歧义的逻辑语义分析

5.3.1句法的单层次分析与库柏储存

5.3.2库柏储存在Prolog语言中的实现

5.4逻辑语言Lq和汉语部分语句系统Cq

第六章 “NP+在+处所+VP”句式的事件语义分析

6.1研究对象和研究背景

6.2Parsons的事件语义学

6.3句式"NP+在+NP_loc+Vt+NP"事件语义类型的分化

6.4Prolog语言对个案语义自动分析的实现

6.5逻辑语言Le和汉语部分语句系统Ce

第七章 再谈若干句式的事件语义分析

7.1句式的事件语义类型

7.2论元控制谓词句和命题谓词句的事件语义分析

7.3“在+处所”句的事件语义再分析

第八章 结语

8.1本书研究工作的小结

8.2存在的问题和下一步研究工作的设想

参考文献

附录一 本书执行Prolog语言的主要算法

附录二 汉一英术语对照表

附录三 问卷调查表