本書的研究目的是探討漢語(yǔ)中部分句式的語(yǔ)義表達(dá)問(wèn)題。這一研究的 理論基礎(chǔ)是形式語(yǔ)言學(xué)的研究方法論。具體地說(shuō)，本文的理論依托不但包 括模型理論、規(guī)則對(duì)規(guī)則假設(shè)、邏輯翻譯理論和類型理論等形式語(yǔ)言學(xué)的 經(jīng)典思想，而且包括HPSG框架中的庫(kù)柏儲(chǔ)存理論、非組合性理論和事件語(yǔ) 義學(xué)的形式研究方法等新的理論成果。從形式語(yǔ)言學(xué)的研究方法出發(fā)，我 們對(duì)語(yǔ)義的描述采用的是邏輯公式的表現(xiàn)手段。本書提出了一種擴(kuò)充的邏 輯語(yǔ)義分析法，并致力于應(yīng)用這一分析框架來(lái)研究漢語(yǔ)部分句式的語(yǔ)義問(wèn) 題。我們所提出的邏輯語(yǔ)義分析法的擴(kuò)充性主要體現(xiàn)在兩個(gè)方面：一是加 入了(語(yǔ)義)類重設(shè)原則；二是在語(yǔ)義的分析過(guò)程中堅(jiān)持把邏輯謂詞視為承 載著整個(gè)句式的主要語(yǔ)義信息。這兩個(gè)方面相輔相成，能夠盡可能地保證 分析過(guò)程的實(shí)效性和一致性。
     運(yùn)用邏輯的方法來(lái)表現(xiàn)語(yǔ)義，其優(yōu)勢(shì)不僅體現(xiàn)為描寫本身的嚴(yán)謹(jǐn)性和 **性，并且*進(jìn)一步地體現(xiàn)在使得語(yǔ)義描寫的計(jì)算機(jī)語(yǔ)言實(shí)現(xiàn)成為可能 。本書所使用的計(jì)算機(jī)語(yǔ)言是SICStus版本的Prolog語(yǔ)言，并對(duì)漢語(yǔ)部分句 式的語(yǔ)義生成過(guò)程進(jìn)行了個(gè)案實(shí)現(xiàn)。就句式語(yǔ)義的生成過(guò)程而言，我們進(jìn) 行分析的主要依據(jù)是類型驅(qū)動(dòng)的語(yǔ)義生成思想。這一思想與我們所提出的 擴(kuò)充的邏輯語(yǔ)義分析法是一致的。
     全書主體部分分為八章，各章所述內(nèi)容和結(jié)構(gòu)安排具體如下。
     **章引言，主要總結(jié)和概述相關(guān)的研究背景，對(duì)本書所從事的研究 工作的意義和研究工作的基礎(chǔ)進(jìn)行了說(shuō)明，并對(duì)全書的結(jié)構(gòu)安排做了介紹 。
     第二章形式語(yǔ)義的基本理論及其自動(dòng)分析的原理，首先介紹模型理論 、規(guī)則對(duì)規(guī)則假設(shè)、邏輯翻譯理論和類型理論等形式語(yǔ)義研究中的幾個(gè)基 本理論思想，并指出這些基本理論思想既是本書所提出的語(yǔ)義分析法的基 礎(chǔ)，也是在Prolog語(yǔ)言中實(shí)現(xiàn)個(gè)案語(yǔ)義自動(dòng)分析的基礎(chǔ)。接下去重點(diǎn)討論 基于定子句語(yǔ)法的Prolog語(yǔ)言的一些基本概念。
     第三章一種擴(kuò)充的邏輯語(yǔ)義分析法，集中討論書中應(yīng)用于語(yǔ)義分析的 一種擴(kuò)充的邏輯語(yǔ)義分析法，特別是這一語(yǔ)義分析法所包含的兩條主要原 則，即類重設(shè)原則和邏輯謂詞原則，并在此基礎(chǔ)上進(jìn)一步討論這一語(yǔ)義分 析法的理論內(nèi)涵和應(yīng)用特點(diǎn)。
     第四章論元控制謂詞與非論元控制謂詞的邏輯語(yǔ)義分析與計(jì)算，是在 邏輯語(yǔ)言Lt和漢語(yǔ)部分語(yǔ)句系統(tǒng)Ct的范圍內(nèi)進(jìn)行的。本章首先把漢語(yǔ)中由 動(dòng)詞充當(dāng)謂詞的情況歸納為論元控制謂詞和非論元控制謂詞，其中，論元 控制謂詞又分為主語(yǔ)論元控制謂詞和賓語(yǔ)論元控制謂詞，并對(duì)這幾類謂詞 的語(yǔ)義性質(zhì)進(jìn)行了形式化的定義。此外，還對(duì)賓語(yǔ)論元控制謂詞做出了進(jìn) 一步的次類區(qū)分和歸納。
     第五章量化句的邏輯語(yǔ)義分析與計(jì)算，先是對(duì)比并分析了生成量化句 的邏輯語(yǔ)義表達(dá)式的四種方案，接著討論了如何借助于HPSG的語(yǔ)法框架中 有關(guān)量詞儲(chǔ)存的理論來(lái)描寫漢語(yǔ)量詞轄域歧義的現(xiàn)象。本章的后半部分主 要討論了漢語(yǔ)中的存在量詞、能夠視為典型的存在量化句的“有”字句和 周遍性主語(yǔ)句分析作全稱量化句的條件。本章的邏輯語(yǔ)義分析是在上一章 邏輯語(yǔ)言Lt和漢語(yǔ)部分語(yǔ)句系統(tǒng)Ct基礎(chǔ)上所相應(yīng)地?cái)U(kuò)充的邏輯語(yǔ)言Lq和漢 語(yǔ)部分語(yǔ)句系統(tǒng)Cq的范圍內(nèi)進(jìn)行的。
     第六章“NP+在+處所+VP”句式的事件語(yǔ)義分析，是在邏輯語(yǔ)言Le和漢 語(yǔ)部分語(yǔ)句系統(tǒng)Ce進(jìn)行的范圍內(nèi)展開(kāi)討論的，它們相應(yīng)地又是對(duì)上一章中 邏輯語(yǔ)言Lq和漢語(yǔ)部分語(yǔ)句系統(tǒng)Cq的擴(kuò)充。本章重點(diǎn)對(duì)“NP+在 +NP_loc+Vt+NP”句式進(jìn)行了分析。本章把這個(gè)句式從事件語(yǔ)義分析的角度 區(qū)分為簡(jiǎn)單處所事件和復(fù)合處所事件，并認(rèn)為這個(gè)句式能夠體現(xiàn)為復(fù)合處 所事件的條件是處所事件在所發(fā)生的持續(xù)時(shí)間內(nèi)包孕著另一個(gè)通常是非處 所性質(zhì)的事件。
     第七章再談若干句式的事件語(yǔ)義分析，把在前文中已討論過(guò)的各種句 式重新統(tǒng)一地置于事件語(yǔ)義的邏輯分析框架之中。從形式化的事件語(yǔ)義角 度出發(fā)，對(duì)相關(guān)的句式做出事件語(yǔ)義類型的一致性分類。本章研究試圖表 明，運(yùn)用事件語(yǔ)義的邏輯分析方法，有可能使我們從一個(gè)新的視角出發(fā)對(duì) 漢語(yǔ)句式的語(yǔ)義性質(zhì)有*為深入的理解。
     第八章結(jié)語(yǔ)，是對(duì)全書研究工作的小結(jié)，指出了研究中仍存在的問(wèn)題 ，并對(duì)后續(xù)的研究工作做了展望。
     此外，在各個(gè)主要章節(jié)(第二章至第七章)中，我們對(duì)一些重要的句式 格式都做了在Prolog語(yǔ)言環(huán)境下典型個(gè)案實(shí)現(xiàn)的演示。