張旭紅

(哈爾濱師范大學(xué)，哈爾濱150025)

1 引言

Russell主張，一切哲學(xué)問題經(jīng)過分析都是語言問題，而語言問題歸根到底就是邏輯問題。Carnap以及Montague等邏輯語言先驅(qū)們的研究成果也證明了這樣一個事實(shí)，即形式化研究方法可以為抽象的語言研究提供最佳的元語言，使語言研究走出用語言研究語言的困境，使研究者從根本上擺脫自然語言的羈絆。形式化研究方法的目標(biāo)就是盡可能清晰、直觀、明確、簡潔地揭示語言加工過程中的運(yùn)行規(guī)律，盡可能往計(jì)算機(jī)化的方向努力。目前，國內(nèi)學(xué)術(shù)界關(guān)于回指一般理論的研究并不少見，但從形式化視角展開的深層回指的研究卻極為少見，至于本研究所涉及的針對某一形式化語義模型的修正和完善的嘗試則更是很少有人問津。這不能不說是回指研究的一個缺陷。為此，本文擬從回指研究的形式化分析方法入手，展開對以Hans Kamp為代表的、建立在Montague邏輯語用學(xué)基礎(chǔ)上的話語表征理論(Discourse Representation Theory，簡稱DRT)的回指形式方案的研究和修正工作，旨在探索更有效的回指消解途徑，以期在DRT理論框架下解決更多的回指問題，進(jìn)而使 DRT在話語回指消解方面的應(yīng)用更具普遍性。

2 2D-RS對DRS的修正

DRT在模型-理論語義學(xué)的基礎(chǔ)上發(fā)展了一種帶有嵌入函數(shù)的語義模型，同時將話語表征結(jié)構(gòu)(Discourse Representation Structure，簡稱DRS)作為一個心智表達(dá)式引入到模型中來，把傳統(tǒng)模型論單句語義的靜態(tài)研究擴(kuò)展到句子序列的動態(tài)語義研究。然而，針對深層回指現(xiàn)象，DRT則無法給出有效的解釋。鑒于此，本文建構(gòu)了一種基于 DRS(話語表征結(jié)構(gòu))和KRS(Knowledge-Based Representation Structure，知識表征結(jié)構(gòu))的2D-RS語義模型(Two-Dimensional Representation Structure Model，二維表征結(jié)構(gòu)模型)，希望以此模型可以對現(xiàn)有的DRT回指形式方案進(jìn)行修正和完善。

2.1 2D-RS模型的立場

思想上，2D-RS模型所采納的是Fodor的心智計(jì)算理論，主張心理表征過程即是計(jì)算過程。與傳統(tǒng)語義研究的客觀立場不同，2D-RS模型帶有鮮明的形式和認(rèn)知色彩。2D-RS模型實(shí)質(zhì)上是對人腦的認(rèn)知思維過程的模擬。它直觀地展示了人們使用語言理解語言的心理過程，以克服模型—理論語義學(xué)所面臨的心理現(xiàn)實(shí)問題(鄒崇理2000:96)。但這并不意味著2D-RS模型所采用的是語義研究的認(rèn)知立場，因?yàn)槲覀兯?gòu)的2D-RS語義模型仍然將Frege的組合原則作為最核心的描寫手段，并試圖回答什么是句子的意義以及話語的真值條件。應(yīng)該說，2DRS語義模型是邏輯語義學(xué)的繼續(xù)發(fā)展。

本研究所建構(gòu)的2D-RS語義模型的理論目標(biāo)是:揭示自然語言話語理解過程中，受話人是如何利用心智中先設(shè)的知識表征結(jié)構(gòu)(KRS)和話語表征結(jié)構(gòu)(DRS)對NP回指語進(jìn)行消解的心理表征以及加工過程。作為一個語言加工的心智模型，2D-RS必須解決如下問題:(1)話語的深層表達(dá)系統(tǒng)是怎樣的，它們有哪些特點(diǎn);(2)回指消解過程中，受話人常用的心智表征結(jié)構(gòu)是什么，這些心智表征結(jié)構(gòu)模型是如何在表達(dá)系統(tǒng)中被表達(dá)的，這些心智表征結(jié)構(gòu)模型有哪些特點(diǎn);(3)受話人如何運(yùn)用上述心智表征結(jié)構(gòu)模型解決推理問題。

在Fodor(1975)的思想語言理論基礎(chǔ)上，本研究假定:話語的表層結(jié)構(gòu)背后潛在著一個深層語義表達(dá)系統(tǒng)(該系統(tǒng)由 DRS和KRS組成)，在回指消解過程中，受話人把自然語言陳述映射到表達(dá)系統(tǒng)，并在該系統(tǒng)中利用心智表征結(jié)構(gòu)模型推理，然后，再把得到的結(jié)論投射為表層語法結(jié)構(gòu)(參見圖1)。

圖1 自然話語表征結(jié)構(gòu)的二重性

那么受話人是如何運(yùn)用上述心智表征結(jié)構(gòu)模型進(jìn)行回指消解的呢?對此，我們的觀點(diǎn)是:自然語言話語的理解不僅是銜接性的，而且是“連貫”的、遞進(jìn)增值的。話語的隱性連貫是指在顯性語言表達(dá)式的觸發(fā)下，由受話者通過語用推理等手段構(gòu)建起來的意義的一致性。交際過程中，受話者通常首先運(yùn)用語言的詞匯語法等知識手段對所輸入的話語進(jìn)行解碼的處理以此獲取字面信息。但是由于說話人傾向于使用最小的語言形式表達(dá)最多的思想，這就迫使受話人不得不啟用最大的內(nèi)容方案去解讀其中的內(nèi)涵。因此，對于受話人而言，僅僅利用語言表達(dá)形式的解碼手段還遠(yuǎn)遠(yuǎn)不夠，他們必須再結(jié)合特定的語境知識對業(yè)已解碼的詞語信息進(jìn)行追加處理以此來獲得交際涵義。

那么問題的關(guān)鍵是:在這一過程中，受話人是運(yùn)用什么手段進(jìn)行信息追加的呢?我們的答案是“溯因推理”。就邏輯推理而言，在溯因推理提出之前，主要的推理方法有兩種:自然演繹推理和歸納演繹推理。這兩種推理方法在傳統(tǒng)邏輯語義學(xué)中得到了廣泛的應(yīng)用。但是由于上述推理不能導(dǎo)致新知識的產(chǎn)生，因此成為傳統(tǒng)形式化語言研究無法處理語用意義的癥結(jié)所在。上個世紀(jì)50年代由Pierce首次提出的溯因邏輯(abductive logic)打破了傳統(tǒng)形式語義學(xué)的尷尬局面，為語用的形式化提供了可能的方法論。我們認(rèn)為，就邏輯推理而言，目前探討說話人最小語言形式方案和受話人最大內(nèi)容解釋之間的規(guī)律的最為有效的邏輯推理方法便是溯因推理。所謂溯因推理就是從已知的某個結(jié)果或者觀察出發(fā)，試圖求證出該結(jié)果或觀察的最佳解釋(best explanation)。換言之，溯因推理就是用演繹推理的模式生成一個對所觀察到的事實(shí)進(jìn)行解釋的假設(shè)。簡言之，溯因推理即尋求最佳解釋的推理。交際中，由于溯因推理所依賴的常規(guī)期待或缺省知識會因新信息的介入而被推翻，因而具有非單調(diào)邏輯的特點(diǎn)?？梢哉f，沒有溯因推理的參與，話語便無法完成對世界的指稱功能?；诖耍覀冊贒RT系統(tǒng)中引入了基于語義先設(shè)和溯因推理知識表征結(jié)構(gòu)KRS，以此來刻畫話語的隱性連貫。在2D-RS模型中，語段意義的理解被看做是一個漸進(jìn)變化的過程:新句子的語義分析要依賴其已經(jīng)得到處理的上文，但反過來新的分析會更新已獲得的信息內(nèi)容，同時更新過的信息內(nèi)容繼而又成為處理和理解其后續(xù)句子的前提和依據(jù)。

2.2 2D-RS模型中話語回指的工作定義

我們將2D-RS模型中的話語回指定義為:話語回指是構(gòu)建話語連貫性的一種心智表征或認(rèn)知意象。在此過程中，對回指語話語所指uK2的解讀取決于對其先行語話語所指uK1的解讀，回指語只是對其話語所指的重提。定義中，“u”為任意一個變元，代表的是一個話語所指。變元“uK”的下標(biāo)“K”代表的是任意一個話語，“uK1”，“uK2”則代表屬于同一個話語“K”的兩個不同的指稱成分的話語所指，“uK1”為先行語話語所指，“uK2”為回指語話語所指。按照上述話語回指的工作定義，所謂回指消解，即為“uK2”確認(rèn)“uK1”的過程。

本研究借鑒Sag＆Hankarner(1984)的回指分類法，將話語回指分為表層回指和深層回指兩類。表層回指(先行語和回指語都存在于篇章話語內(nèi)的指稱形式)包括Huang回指五分法的前3類，即指稱性回指、變項(xiàng)約束性回指和E-類代詞回指等可以直接通過語法分析而獲得確認(rèn)的回指現(xiàn)象(Huang 2000:5)。表層回指消解是對話語的表層連貫的詮釋。深層回指(先行語和回指語并不直接存在于篇章話語內(nèi)的指稱形式)包括Huang回指五分法的后兩類，即搭橋互參回指和惰性代詞回指(Huang 2000:5)。此外，其他一些無明示先行語的回指類，如零代詞回指、歧義回指以及命題回指等也均屬于此范疇。深層回指消解是對話語的深層連貫的詮釋。由于上述回指現(xiàn)象已經(jīng)超越了語法規(guī)定和解釋的范圍，受話者必須通過溯因推理間接完成對回指的確認(rèn)。本研究的初衷就是解決DRT所乏力解釋的話語中名詞性短語NP的深層回指消解問題。

2.3 2D-RS模型構(gòu)造基礎(chǔ)

2D-RS模型的構(gòu)造主要涉及以下幾個方面的內(nèi)容:(1)2D-RS模型的基本假設(shè);(2)2D-RS模型的形式定義;(3)2D-RS模型;(4)KRS構(gòu)造;(5)KRS算法;(6)2D-RS模型論語義解釋等。

2.31 2D-RS模型的基本假設(shè)

在繼承了DRT基本理論假設(shè)的基礎(chǔ)上，我們構(gòu)建的2D-RS模型增添了如下假設(shè):

(1)回指消解發(fā)生在句法—語用界面上。受話者對回指進(jìn)行消解的過程是人類信息處理普遍現(xiàn)象中的一個特例，因此，它遵循人類信息處理的一般規(guī)律;

(2)回指消解發(fā)生在受話者的心智系統(tǒng)中;

(3)回指消解過程始于句法分析，句法分析的目的是幫助受話者初步確定回指的類型;

(4)回指類型一旦確定，顯性回指交由 DRS負(fù)責(zé)處理，隱性回指則交由KRS和DRS協(xié)同處理;DRS和KRS分別代表在2D-RS形式分析中起不同作用的心理實(shí)體;

(5)受話者心理表征的建構(gòu)過程是線性的，即“自下而上”的數(shù)據(jù)驅(qū)動認(rèn)知過程(始于具體的“回指語或稱觸發(fā)語的識別系統(tǒng)”，止于抽象的“話語表征”);

(6)建立了抽象的話語表征之后，最后一個步驟是將意義的表達(dá)形式翻譯成外部語言意義，即對其進(jìn)行模型論語義解釋，這一過程本質(zhì)上是受概念驅(qū)動的“自上而下”的認(rèn)知過程。

2.32 2D-RS模型的形式定義

在上述假設(shè)基礎(chǔ)上，我們將二維表征的語義模型的基本特征定義為:2D-RS模型是對受話者對話語因果心智表征內(nèi)容的直觀形式化刻畫。2D-RS是個 ＜Uφ，Cφ＞配對二元組，其中“φ”是話語所指，“Uφ”是“φ”的論域，即“Uφ”是話語所指集合;“Cφ”是“φ”的解釋函數(shù)，即“Cφ”是與之配套的制約條件集合。當(dāng)前話語中的所有話語所指均受系統(tǒng)潛在的存在量化?φ的約束。作為回指確認(rèn)語境的2D-RS模型預(yù)設(shè)一個臨時的知識表征結(jié)構(gòu)和一個話語表征結(jié)構(gòu)。DRS專司話語中顯性銜接語句的表征;KRS專司語句間的隱性銜接，以此來解釋人們在話語交際中是如何通過推理補(bǔ)償來獲得話語思路的一致性的問題。

2.33 2D-RS模型

回指消解的實(shí)證研究(Haviland＆Clark 1974，Dell et al.1983，Gernsbacher 1989，Garrod et al.1994，Garrod ＆Sanford 1994)表明，回指消解發(fā)生在兩個不同的階段。第一階段是對先行語進(jìn)行識別、復(fù)原。所謂復(fù)原是指受話者在頭腦中為已識別出的先行語所引入的話語所指構(gòu)建心理表征的過程，這種心理表征通常被描寫成話語世界模型或話語模型。接下來便進(jìn)入第二個階段:將第一階段構(gòu)建的心理表征的相關(guān)信息與話語的其余信息進(jìn)行整合以便完成整個話語的理解。據(jù)此，在本節(jié)中，我們將分別從表層回指和深層回指兩個方面來介紹2D-RS語義模型的構(gòu)建。我們所定義的2D-RS模型如圖2所示。

在2D-RS模型中，“CR”(Construction Rules)代表DRS-構(gòu)造規(guī)則;“AR”(Abductive Reasoning)代表溯因推理;“Binding”指約束消解，即出現(xiàn)在先行語的轄域內(nèi)的回指語，其語義解釋依賴于先行語，但要注意，先行語只對其轄域內(nèi)出現(xiàn)的回指語有約束作用，對其轄域外的回指語則沒有約束作用，因此當(dāng)話語所指沒有出現(xiàn)在 DRSP中時，回指消解就不能通過約束來完成，而須要通過先行語的“納入”來完成;“Accom.”(accommodation)是指將一個新的話語所指(未在DRSP中出現(xiàn)過的話語所指)引入到DRSP中來;DRSP(Provisional Discourse Representation Structure)指臨時的話語表征結(jié)構(gòu);“TC”(Truth Condition)真值條件，即模型論語義解釋。

圖2 2D-RS模型

在標(biāo)準(zhǔn)DRT理論階段，DRS-構(gòu)造和回指消解是在同一過程中完成的。與標(biāo)準(zhǔn) DRT模型不同，我們重新定義的2D-RS模型借鑒了 Van der Sandt(1992)約束論對先設(shè)的消解方法，將DRS-構(gòu)造和表層回指消解分成兩個步驟完成:(1)首先進(jìn)行DRSP構(gòu)造;(2)然后將DRSP轉(zhuǎn)換成2D-RS，回指消解在2D-RS中進(jìn)行。我們所定義的2DRS模型對表層回指消解和深層回指消解采取不同的處理方法。表層回指消解的具體步驟如下:首先通過DRS-構(gòu)造規(guī)則構(gòu)建一個臨時的話語表征結(jié)構(gòu)(DRSP)，此步驟不對回指進(jìn)行消解處理;第二個步驟將此 DRSP與先設(shè)表征結(jié)構(gòu)(Presupposition Discourse Representation Structure，我們將其簡稱為P-DRSP)合并，合并所得的新 DRSP即為2D-RS，回指消解在2D-RS中進(jìn)行。也就是說，回指消解發(fā)生在2D-RS構(gòu)造之后，最后通過模型論語義解釋完成回指消解過程。2D-RS對表層回指消解的過程可以概括為如下邏輯推導(dǎo)式:［DRSP∧P-DRSP］→2D-RS→AR.在處理深層回指消解時，2D-RS所采取的第一個步驟與表層回指消解基本相同，即通過DRS-構(gòu)造規(guī)則構(gòu)建一個臨時的話語表征結(jié)構(gòu)(DRSP)，在此步驟也同樣不對回指進(jìn)行消解處理;2D-RS對深層回指和表層回指的處理方法的不同主要體現(xiàn)在第二個步驟的處理上。在 DRSP構(gòu)造完成后，我們還須要通過溯因推理(“AR”)構(gòu)造一個臨時的知識表征結(jié)構(gòu)(KRSP)，將其納入到DRSP與 P-DRSP合并(模型中我們用算子“8 ”表示合并)所獲得的新 DRSP的適切位置，由此構(gòu)造的 DRSP即為2D-RS.KRSP在系統(tǒng)中的引入就是為了有效地解決標(biāo)準(zhǔn) DRT對橋式回指、惰性代詞回指等深層回指消解失效的問題。此過程推導(dǎo)的邏輯公式為:［DRSP∧P-DRSP∧KRSP］→2D-RS→AR.

簡言之，受話者在接受話語輸入之后，首先要對該話語進(jìn)行句法分析。SPS(syntactic parse of the sentence)代表受話者對所接受的話語進(jìn)行句法解析的句法解析層，這個心理過程是受話者對任何類型回指進(jìn)行消解的基礎(chǔ)，它相當(dāng)于一個話語過濾裝置，通過句法解析將表層銜接的話語與深層銜接的話語分離開來處理。與標(biāo)準(zhǔn)DRT模型不同，2D-RS模型對回指消解過程進(jìn)行刻畫時，不單單以SPS為前提，而且還有另外一個必要前提，那就是對先設(shè)消解過程的刻畫。而先設(shè)表征結(jié)構(gòu)本質(zhì)上屬于知識表征結(jié)構(gòu)。也就是說，無論對表層回指消解過程的刻畫還是對深層回指消解過程的刻畫，2D-RS都是通過話語表征結(jié)構(gòu)(語言語境)和知識表征結(jié)構(gòu)(百科知識語境)等二個維度的表征結(jié)構(gòu)來刻畫的。這就是為什么我們將此模型定義為二維表征結(jié)構(gòu)模型的原因。

2.34 2D-RS模型構(gòu)造規(guī)則

2D-RS構(gòu)造規(guī)則由 DRS-構(gòu)造規(guī)則和 KRS-構(gòu)造規(guī)則組成。在2D-RS模型系統(tǒng)中，就 DRS的構(gòu)造而言，有關(guān)其基本結(jié)構(gòu)、構(gòu)造規(guī)則、構(gòu)造算法、可及性原則均沿襲DRT的有關(guān)規(guī)定。就KRS的構(gòu)造而言，它是我們引入到DRT中的一個全新的表征層面，它負(fù)責(zé)處理以常規(guī)關(guān)系為基礎(chǔ)的常規(guī)意義的推導(dǎo)，并最終把回指語與其先行語所表達(dá)的概念匹配關(guān)系表達(dá)式納入到2D-RS中。KRS是對標(biāo)準(zhǔn)DRS的修正和完善，也是本研究的創(chuàng)新所在。

從構(gòu)造 KRS的特定目的出發(fā)，我們借鑒 Josephson(轉(zhuǎn)引自熊學(xué)亮 2007:79)提出的溯因推理公式(［D∧(H→D)］→H)和Hobbs(1987)關(guān)于規(guī)約涵義信息的推導(dǎo)方案((P∧R)→ Q)，提出如下 KRS構(gòu)造公式:(PD∧SD)→IR.公式中，下標(biāo)“D”(Data)表示回指語所出現(xiàn)的顯性語言表達(dá)式(或稱可觀察的語料);公式中“PD”(presuppositional reasoning of the Data)表示該語言表達(dá)式的語義先設(shè)推理;公式中“SD”(stereotypical relation implied by the Data)表示該語言表達(dá)式所蘊(yùn)含的常規(guī)關(guān)系;公式中“IR”(the implicature required)表示出現(xiàn)在顯性語言表達(dá)式中的蘊(yùn)涵信息，該信息即回指消解所需的常規(guī)關(guān)系信息。簡言之，這一構(gòu)造公式可以解釋為:假定一個含有回指語的顯性語言表達(dá)式的語義先設(shè)為 PD，且 SD是 PD的最佳常規(guī)范式，那么IR就是不言而喻的。下面舉例說明:

① If John buys a car，he checks the motor first.

將此方案應(yīng)用到例①中，話語顯性表達(dá)the motor的先設(shè)PD=There is a motor.但事實(shí)上，the motor不僅先設(shè)PD，而且還蘊(yùn)涵著規(guī)約信息 IR=The motor is the automotive part of the car John buys.這個蘊(yùn)涵信息可以從常規(guī)關(guān)系SD=A motor is an automotive part of a car推理得出。正是因?yàn)镾D為交際雙方所共識的常規(guī)關(guān)系，因此由它們推斷出來的規(guī)約信息也被說話者給“經(jīng)濟(jì)”掉了。然而，由于我們的研究是受話者視角的研究，這就要求我們對其進(jìn)行溯因還原，以便準(zhǔn)確地解釋受話者是如何理解話語的深層信息的。這也是我們研究“納入”消解的真正原因所在。事實(shí)上，KRS的構(gòu)造主要涉及對話語的先設(shè)信息和通過溯因推理所推導(dǎo)出的規(guī)約信息的納入處理問題。

那么在溯因推理過程中，什么樣的常規(guī)關(guān)系假設(shè)是受話者進(jìn)行溯因推理的最佳候選?還以前面的例①為例，我們知道，對于motor的常規(guī)假設(shè)不僅僅包括A car has a motor/A motor is an automotive part of a car，但為什么偏偏這個假設(shè)會被選為此處的推理依據(jù)呢?對于這個問題的回答，我們接受Sanford＆Garrod的觀點(diǎn):指稱確認(rèn)過程是一個迅速而又自動的過程，聽話者一般無須在整個知識框架中作出搭橋式推理(Sanford＆Garrod 1981:151)。由于人類工作記憶是有限的，在理解話語時，只有那些被焦點(diǎn)化(focused)或主題化(topicalized)的一小部分心智表征才是容易可及的(accessible)。換言之，被激活的常規(guī)關(guān)系假設(shè)是處于焦點(diǎn)之中的常規(guī)關(guān)系。處于焦點(diǎn)中的常規(guī)關(guān)系假設(shè)會自動制約受話者的溯因推導(dǎo)過程，把其他常規(guī)關(guān)系假設(shè)推到可及度小的邊緣位置。表征焦點(diǎn)可分為兩類:顯性焦點(diǎn)(explicit focus)和隱性焦點(diǎn)(implicit focus)。顯性焦點(diǎn)是指在文本或話語中明示的信息內(nèi)容，隱性焦點(diǎn)則指在文本中隱含的信息。顯性焦點(diǎn)由話語表征組成;隱性焦點(diǎn)的結(jié)構(gòu)要復(fù)雜些，它與相關(guān)的信息共同建構(gòu)起由諸多話語顯性表示空缺成分組成的知識表征結(jié)構(gòu)。

2.35 知識表征結(jié)構(gòu)的構(gòu)造

我們之所以把知識表征結(jié)構(gòu)翻譯成英文Knowledge-Based Representation Structure(KRS)，是因?yàn)橐氲?KRS中的信息均為說話者“省力”掉的共識信息。它們沒有顯性的語言表達(dá)形式，是一種須要受話者在常規(guī)關(guān)系基礎(chǔ)上通過溯因推理推導(dǎo)出來的、用于補(bǔ)足話語顯性信息空缺的信息。在交際中，由于這部分信息被說話者假定為交接雙方不言自明的，因此它成為了成功交際的前提。正因?yàn)槿绱耍覀儗⑵涮幚頌榕R時的心理表征形式，一旦回指所需的先設(shè)信息和關(guān)系函數(shù)表達(dá)式被納入到適切的2D-RS中，該表征便不再參與回指的消解。就結(jié)構(gòu)本身而言，KRS是以語義先設(shè)、規(guī)約涵義為出發(fā)點(diǎn)給出的基本分析單位。2D-RS系統(tǒng)中，KRS是個臨時待投射的(underspecified)結(jié)構(gòu)，或稱為?-結(jié)構(gòu)?！?”是個投射算子，其論域是前后兩個 KRS.表達(dá)式“?x”的意思是說，算子“?”要把變元“x”映射到先行語的話語所指，以便確認(rèn)對應(yīng)關(guān)系。內(nèi)容上，KRS刻畫的是語境信息的漸進(jìn)增值性;形式上，KRS構(gòu)造采用的是框圖(box format)表達(dá)式。下面以一個話語 K為例，該話語的 KRSK以KRS-框圖表達(dá)式的形式給出，由兩部分組成:

(i)話語所指的集合，稱作KRS的論域(universe)，記為 UK，置于方框圖的上方;所謂論域即話語所指對象的集合，通常表示為:{UK:x，y，z，u，v，w…}

(ii)KRS-制約條件的集合，記為 ConK，置于方框圖中論域的下方。與DRS不同，KRS制約條件由先設(shè)和常規(guī)蘊(yùn)涵納入。

2.36 KRS算法

借鑒Van der Sandt的納入消解方法，KRS納入操作從確認(rèn)觸發(fā)語開始，分5步完成。具體操作步驟如下:

步驟1.在話語顯性表達(dá)式中尋找觸發(fā)語，并確定其所觸發(fā)的先設(shè)內(nèi)容。將該先設(shè)信息引入到一個臨時的KRS-框圖表達(dá)式(待投射的?x-結(jié)構(gòu))。如果先設(shè)在語境中得到滿足，略過步驟2，直接進(jìn)行步驟3至5的操作。如果先設(shè)在語境中未得到滿足，依次完成后面2至5步驟。

步驟2.確定常規(guī)關(guān)系假設(shè)，根據(jù)溯因推理公式(PD∧SD)→IR推導(dǎo)出話語的規(guī)約涵義，將其引入到?x-結(jié)構(gòu)作為一個新的制約條件。

步驟3.在先設(shè)被觸發(fā)的DRS中確定回指語與先行語的等同(或部分等同)關(guān)系。注意，與 DRS不同，KRS的回指消解不是通過等同條件式(如x=y)來確定先行語，而是通過x到y(tǒng)的關(guān)系函數(shù)式f(x)→y來為回指語話語所指確定先行語。

步驟4.將?x投射到其所屬 DRS.

步驟5.將關(guān)系函數(shù)式f(x)→y合并到適切的2DRS-框圖表達(dá)式中，刪除臨時的 KRS-框圖表達(dá)式，KRS操作完成。下面我們舉例來說明這個操作過程。

②He walked into a restaurant.The waitress was a lovely girl.

步驟1.確定先設(shè)觸發(fā)語為the waitress，有定名詞短語the waitress觸發(fā)存在先設(shè)信息:There was a waitress，且該先設(shè)在語境中未得到滿足，該先設(shè)是待投射的?-結(jié)構(gòu):

圖3.1 例②KRS K1

圖3.1中，表達(dá)式“x=?”中的變元“x”是待消解的回指語話語所指。我們須要尋找常規(guī)關(guān)系，并在此基礎(chǔ)上為其納入一個顯性的先行項(xiàng)。

步驟2.根據(jù)先設(shè)信息PD:There was a girl waitress和常規(guī)關(guān)系SD:A waitress works in restaurants，以及溯因推理公式:(PD∧SD)→IR，得到我們需要的規(guī)約涵義IR:There was a waitress working there when he walked into the restaurant.將此規(guī)約涵義引入到先設(shè) ?-結(jié)構(gòu)，我們得到如下KRS-框圖表達(dá)式:

圖3.2 例②KRS K2

步驟3.將?x投射到其所屬的 DRS，我們得到如下DRS-框圖表達(dá)式:

圖3.3 例②KRS K3

步驟4.在先設(shè)被觸發(fā)的 DRS中確定回指語與先行語的關(guān)系函數(shù)式:

圖3.4 例②KRS K4

步驟5.通過合并，刪除KRS結(jié)構(gòu):

圖3.5 例②KRS K5

此時KRS投射完成，并被清空刪除。這里我們是把KRS的 UK和 ConK移入到了其被觸發(fā)的框圖中(中間投射)，當(dāng)然，這并不是唯一的選擇，至少還可以將其移至其自身所處的框圖中(局部納入)以及主框圖中(整體納入)。因此，我們須要為KRS的著陸點(diǎn)制定合理的規(guī)則，這就是所謂的“納入規(guī)則”(Accommodation Rules，AR)。上面的框圖還可以進(jìn)一步合并簡化，得到如下更為簡約的2D-RS-框圖表達(dá)式:

圖3.6 例②2D-RS-框圖表達(dá)式

圖3.6中，關(guān)系函數(shù)式“works in(x，y)”的納入是回指消解的關(guān)鍵。注意，納入操作到此結(jié)束，但是回指消解并沒有完成。我們還須要對此作出模型論語義解釋。簡單地說，上述框圖可以非形式化地解釋為:He walked into a restaurant.There was a waitress working in the restaurant.The waitress was a lovely girl.這種解釋符合我們的語感，waitress回指the girl waitress who was working there when he walked into the restaurant，回指消解有效(參見2.5“2D-RS模型論語義解釋”)。

2.361 納入規(guī)則

2D-RS的“合并規(guī)則”包括兩種不同類型:“納入合并”和“約束合并”?！凹s束合并”是標(biāo)準(zhǔn) DRT的操作方法，為了與“約束”(binding)區(qū)分開來，我們這里引入納入(accommodation)的概念。在DRT中，所謂“約束”是指回指語跟其可及的顯性先行語之間的關(guān)系。也就是說，回指語要與其顯性先行語同指，并且它們必須處于相同的約束語域內(nèi)(binding domain)。通過約束關(guān)系來為回指語確定先行語，須要先行語有明確的語言表達(dá)式。以例①為例，句中回指代詞he與其可及先行語John就是約束關(guān)系，通過約束對回指語進(jìn)行的消解叫做“約束消解”。而例①中另外一個回指語the motor在此句中就沒有明確的先行語表達(dá)式，因此，它只能通過語用推理的方式來建立與其“回指錨點(diǎn)”(a car)之間的約束關(guān)系。我們把通過先設(shè)及溯因推理等語用手段來建立回指語與錨點(diǎn)之間的回指關(guān)系的方法稱為“納入”。通過納入方法對回指語進(jìn)行消解稱為“納入消解”。因此所謂“納入”就是指把先設(shè)和規(guī)約信息引入到話語語境中的過程?！凹{入”為我們提供了一個先行成分，幫助我們改變一個語境以滿足先設(shè)以及規(guī)約信息。但要注意的是，“納入”只是為了更改語境以使先設(shè)和規(guī)約信息有一個解讀，它并不起更新語境的作用。它可以被看做是一種對約束的修補(bǔ)策略。

2.362 納入可及性規(guī)則

2D-RS系統(tǒng)中，一個KRS的可及路徑是它所能進(jìn)入的全部語境。我們沿著可及路徑開始搜尋，直到找到一個先行語的著陸點(diǎn)(landing site)為止。我們對2D-RS的納入著陸點(diǎn)作了如下的規(guī)定:

(1)受話者假定SD為交際雙方的不言而喻的共識;

(2)當(dāng)前話語 D存在先設(shè)，或者先設(shè)和規(guī)約蘊(yùn)涵PD∨ (PD∧IR)(Presupposition or Presupposition and Implicature)，并且 PD∨(PD∧IR)在 SD中不被滿足，即 SD+P∨(P∧I)=? (?=empty set);

(3)當(dāng)前話語 D中沒有可觀察到的不尋常事件 Ds(Data Surprise or D-surprise)使受話者懷疑PD∨(PD∧IR)的可接受性;

(4)將PD∨(PD∧IR)納入到“適切”的 2D-RS中，PD∨(PD∧IR)在 SD中得到滿足，即 D的顯現(xiàn)空缺得到補(bǔ)足。這里所謂“適切”納入(accommodation felicity)要滿足以下兩個制約條件:有效性制約條件和一致性制約條件。有效性制約條件(validity condition)是納入最基本的制約條件。所謂有效的2D-RS是說該2D-RS中不能存在未被消解的?-結(jié)構(gòu);一致性制約條件(consistency condition)是對整體納入的限制條件，換言之，只有在保證當(dāng)前話語語義一致的前提下，整體納入才具有優(yōu)先性。

2.4 約束規(guī)則

完成了KRS的構(gòu)造，接下來我們還須要對DRT原有的部分DRS-構(gòu)造規(guī)則進(jìn)行修正。其中主要包括代詞構(gòu)造規(guī)則和反身代詞構(gòu)造規(guī)則。下面請看例句:

③Jones1supports Peter2.He1admires him2.(Kamp＆Reyle 1993:235)

如果我們假定代詞“He”回指的是先行語“John”，那么“him”回指的到底是“Jones”還是“Peter”?按照CR.PRO規(guī)定，只要是處于可及域內(nèi)并與該代詞在性、數(shù)等句法特征方面一致的話語所指均可以作為該代詞的先行語。但根據(jù)語感，如果我們假定代詞“He”回指“John”，那么“him”的回指語就只能有一個，即“Peter”。但問題是，當(dāng)前 DRT所定義的 CR.PRO并不能阻止“him”與“John”的回指關(guān)系。因此，如何阻止賓語位置上的非反身代詞對其語段內(nèi)部的主語和與之相等價(jià)的NP的回指照應(yīng)，是當(dāng)前話語表征理論所忽視的一個技術(shù)問題。

針對此問題，本文提出利用Chomsky的約束原則作為解決方案。我們的具體做法是將DRS構(gòu)造和回指消解分成兩個環(huán)節(jié)來完成，構(gòu)造在先，消解在后。限于篇幅，我們將構(gòu)造過程省略，直接進(jìn)入消解步驟。消解運(yùn)算時，通過引入約束原則 B(代詞在管轄域內(nèi)是自由的)，便可得出一個制約條件，即“u(he)≠v(him)”。換言之，應(yīng)用約束原則，我們已經(jīng)有效地阻止了賓語位置上的非反身代詞“him”對其語段內(nèi)部的主語“He”和與之相等價(jià)的“John”的回指照應(yīng)。再根據(jù) CR.PRO的規(guī)定，我們得到制約條件等式:“v=x(John)=y(Peter)”，但由于我們假定了“u=x”，那么此句中的代詞“him”的先行語就只能是“Peter”，這和我們的語感相同。下面是我們修正后的CR.PRO［Refl=-］:“在 DRS中引入一個待消解話語所指v;用v替換動詞賓語的觸發(fā)構(gòu)形中的 NP成分;引入一個話語所指y，用 y替換主語觸發(fā)構(gòu)形中的 NP成分，且 y處于v的管轄范疇內(nèi);根據(jù)約束原則B，在DRS-框圖表達(dá)式中引入一個新的條件v≠y.”

現(xiàn)在假如我們把例③改成:“John1supports Peter2.He1admires himself1.”那么我們須要引入約束原則A(照應(yīng)詞在管轄域內(nèi)受約束)，得到制約條件“u(he)=v(him)”。由于我們假定“u(he)=x(John)”，因此，此句中的代詞“himself”的先行語則不會是“Peter”(“Peter”不在管轄域內(nèi))，而只能是“John”.至此，通過約束原則的引入，我們有效地解決了標(biāo)準(zhǔn)DRT無法解決的此類回指消解問題。下面是我們修正后的 CR.PRO［Refl=+］:“在DRS中引入一個待消解話語所指v;用v替換動詞賓語的觸發(fā)構(gòu)形中的NP成分;引入一個話語所指y，用y替換主語觸發(fā)構(gòu)形中的NP成分，且y處于v的管轄范疇內(nèi);根據(jù)約束原則A，在DRS中引入一個新的條件v=y.”

2.5 2D-RS模型論語義解釋

2D-RS算法的最后一個步驟就是通過2D-RS模型論語義解釋完成回指消解，即在模型中計(jì)算當(dāng)前話語的真值。在2D-RS模型中對回指進(jìn)行消解就是說從話語的形式表達(dá)式映射到外部世界。2D-RS就像是可能世界或其模型的部分圖像，取真值就意味著它對可能世界或其模型的一部分進(jìn)行了正確的描寫，或者說這幅圖像是嵌入在該可能世界中的，而起決定作用的便是賦值函數(shù)(embedding function)。以一個任意話語 K為例，2D-RS的真值定義如下:一個2D-RS K在模型 M中為真，當(dāng)且僅當(dāng)在模型M中至少存在一個該2D-RS的“合適嵌入函數(shù)”f.這里“合適嵌入函數(shù)”是指一個賦值函數(shù) f.具體來說，它是從話語所指到可能個體的集合中的要素的賦值函數(shù)，該函數(shù)f使得2D-RS中的所有條件為真，其表達(dá)為:［f，k.

除了簡單話語，2D-RS復(fù)合條件還包括否定、析取、和蘊(yùn)涵，下面是復(fù)合條件的真值定義:

(1)2D-RS否定復(fù)合條件真值:一個┐□在模型 M中為真，當(dāng)且僅當(dāng)在模型M中不存在一個該2D-RS的合適嵌入賦值函數(shù)f.

(2)2D-RS析取復(fù)合條件真值:一個□∨□在模型M中為真，當(dāng)且僅當(dāng)在模型M中至少對于其中一個析取的2D-RS來說，存在一個合適嵌入賦值函數(shù) f’，且 f’擴(kuò)展 f并且驗(yàn)證那個2D-RS中的所有條件。

3 結(jié)束語

為了解決深層回指的DRT消解無效問題，本文提出，如果用DRT來解釋深層回指這類語用色彩更強(qiáng)的語篇現(xiàn)象，則必須考慮在系統(tǒng)中引入一個新的知識表征結(jié)構(gòu)KRS，借此將DRS在DRT系統(tǒng)中所起的兩種不同功能分開來處理，使其各負(fù)其責(zé)。DRS負(fù)責(zé)處理顯性銜接語篇，KRS負(fù)責(zé)處理隱性銜接語篇，以此來解釋人們在話語交際中是如何通過推理補(bǔ)償來獲得語篇思路的一致性問題的。在此基礎(chǔ)上，我們將先設(shè)、常規(guī)關(guān)系、溯因推理引入到DRT系統(tǒng)中，提出了一個2D-RS擴(kuò)展模型，并將其應(yīng)用到無顯性表達(dá)式的話語回指消解的分析中，展示了2DRS模型對DRS的修正作用。

本文的研究工作是對深層回指的形式化消解問題的一次新的探索。眾所周知，語用因素在語義模型中的處理問題始終是最棘手的語言研究課題之一。語用能否形式化一直是很具有爭議性的問題。我們提出2D-RS語義模型目的在于彌補(bǔ)DRT的不足，希望在進(jìn)一步的實(shí)踐中能對深層回指現(xiàn)象提供有效的解釋。隨著研究的繼續(xù)深入，這一模型可以結(jié)合具體的應(yīng)用被進(jìn)一步完善和修正。知難而上，大膽創(chuàng)新，為語篇回指尋找一個更新的研究視角正是本文研究的初衷所在。

熊學(xué)亮.語言使用中的推理［M］.上海:上海外語教育出版社，2007.

張韌弦.形式語用學(xué)導(dǎo)論［M］.上海:復(fù)旦大學(xué)出版社，2008.

鄒崇理.自然語言邏輯研究［M］.北京:北京大學(xué)出版社，2000.

Dell，G.，et al.The Activation of Antecedent Information during the Processing of Anaphoric Reference in Reading［J］.Journal of Verbal Learning and Verbal Behavior，1983(22).

Fodor，J.A.The Language of Thought［M］.New York:Crowell，1975.

Fodor，J.A.The Modularity of Mind:An Essay on Faculty Psychology［M］.Cambridge，MA:MIT Press，1983.

Garrod，S.＆ A.J.Sanford.Resolving Sentences in a Discourse Context:How Discourse Representation Affects LanguageUnderstanding［A］. In M.Gernsbacher(ed.).Handbook of Psycholinguistics［C］.New York:Academic Press，1994.

Gernsbacher，M.Mechanisms that Improve Referential Access［J］.Cognition，1989(32).

Haviland，S.E. ＆ H.H.Clark.What’s New?Acquiring New Information as a Process in Comprehension［J］.Journal of Verbal Learning and Verbal Behavior，1974(13).

Hobbs，J.R.Implicature and Definite Reference［M］.Stanford:Report No.CSLI.，1987.

Huang，Y.Anaphora:A Cross-Linguistic Study［M］.Oxford:Oxford University Press，2000.

Kamp，H.＆ U.Reyle.From Discourse to Logic:Introduction to Model Theoretic Semantics of Natural Language，F(xiàn)ormal Logic and Discourse Representation Theory［M］.Dordrecht:Kluwer Academic Press，1993.

Kamp，H.A Theory of Truth and Semantic Representation［A］.In Groenendijk，J.＆ Stokhof，M.(eds.).Formal Methods in the Study of Language:Part 1［C］.Amsterdam:Mathematisch Centrum，1981.

Sag，I.A.＆ J.Hankarner.Toward a Theory of Anaphoric Processing［J］.Linguistics and Philosophy，1984(7).

Van der Sandt，R.Presupposition Projection as Anaphora Resolution ［J］.Journal of Semantics，1992(9).