內容提要
本書的研究目的是探討漢語中部分句式的語義表達問題。具體地說，本文的理論依託不但包括模型理論、規則對規則假設、邏輯翻譯理論和類型理論等形式語言學的經典思想，而且包括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語言的主要算法
附錄二漢一英術語對照表
附錄三問卷調查表
