本書致力於運用當代形式語言學的理論對一部分漢語句式做出語義解釋，並在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語言的主要算法
附錄二 漢一英術語對照表
附錄三 問卷調查表