【获奖情况】2009年获高等学校科学研究优秀成果奖（人文社会科学）语言学类三等奖

【出版信息】北京语言大学出版社，2007年

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

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

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

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

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

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

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

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

  第六章“NP + 在 + 处所 + VP”句式的事件语义分析，是在逻辑语言Le和汉语部分语法系统Ce进行的范围内展开讨论的，它们相应地又是对上一章中逻辑语言Lq和汉语部分语法Cq的扩充。本章重点对“NP + 在 + NP_loc + Vt + NP”的句式进行了分析。本章把这个句式从事件语义分析的角度区分作简单处所事件和复合处所事件，并认为这个句式能够体现为复合处所事件的充分必要条件有两个：一是主语论元必须具有[+ 原点处所]的语义特征；二是处所事件在所发生的持续时间内实际包孕着另一个通常是非处所性质的事件。

  第七章再谈若干句式的事件语义分析，把在前文中已讨论过的各种句式重新统一地置于事件语义的逻辑分析框架之中。从形式化的事件语义角度出发，对相关的句式做出事件语义类型的一致性分类。本章研究试图表明，运用事件语义的逻辑分析方法，有可能使我们从一个新的视角出发对汉语句式的语义性质有更为深入的理解。

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

  此外，在各个主要章节（第2章～第7章）中，我们对一些重要的句式格式都做了在Prolog语言环境下典型个案实现的演示。

  陆俭明、沈家煊、赵世开、邹崇理、袁毓林、鲁川和刘群等学者也对本书做出了较高的评价（详见本书的序言部分）。以上学者中既有语言学家，也有语言逻辑学家，还有计算语言学家以及人工智能专家，他们从各自的研究专长出发充分地肯定了本书研究内容的价值。

  本书已先后被浙江大学语言学及应用语言学方向和逻辑学方向、中山大学逻辑与认知研究所（教育部人文社科重点基地）自然语言逻辑方向、中国社会科学院哲学所自然语言逻辑方向，以及中国科学院计算技术研究所自然语言处理方向指定为博士研究生必读专业书目（详见相关证明材料）。

成果社会反映 
　本书2007年4月出版后，2008年1月第2次印刷（见本书的版权页）。