高 蕓

(宜春學(xué)院外國語學(xué)院，江西 宜春 336000)

在20世紀(jì)80年代，關(guān)于話語解釋的研究有兩種重要的觀點(diǎn):一是動態(tài)語義學(xué)把話語的內(nèi)容看作是上下文的一種關(guān)系，如Kamp(1981)，Groenendijk和Stokhof(1991);二是基于人工智能的研究證明話語結(jié)構(gòu)是話語解釋的一個必要成分，如Hobbs(1985)，Mann 和 Thompson(1987)，Grosz和Sidner(1986)。雖然兩種觀點(diǎn)都對當(dāng)前句子的解釋如何依靠其先前句子的解釋的模型提出了要求，但是它們的目的和技巧卻各不相同。動態(tài)語義學(xué)關(guān)注各種前指的邏輯結(jié)構(gòu)的作用，通常探討語用現(xiàn)象的相對狹義的集合，其話語結(jié)構(gòu)是由as if，not，every等語言表達(dá)式來決定。建構(gòu)邏輯形式的過程相當(dāng)簡單，或者使用句法和小句的邏輯形式的形式，或者使用一致性和信息增加這樣一些概念。而關(guān)于話語解釋的許多人工智能的研究方法通常試圖做出會話含義的模型，這些理論強(qiáng)調(diào)領(lǐng)域知識和認(rèn)知狀態(tài)等非語言信息的常識推理的作用［1］。分段式話語表現(xiàn)理論(Segmented Discourse Representation Theory，簡稱SDRT)把這兩種研究方法結(jié)合起來，試圖用一種體系的優(yōu)勢改善另一種體系的劣勢。

一、動態(tài)語義學(xué)需要修辭結(jié)構(gòu)

動態(tài)語義學(xué)理論話語表現(xiàn)理論(Discourse Representation Theory，簡稱DRT)刻畫了名詞短語和人稱代詞的照應(yīng)關(guān)系，名詞短語的量化意義以及英語句子系列在時間方面的復(fù)雜性和聯(lián)系性，但相對于自然語言的語義呈現(xiàn)來說，還存在一些局限性，主要表現(xiàn)在以下幾個方面［2］。

1.時間性前指

話語中的語句所描述的事件有相應(yīng)的時間關(guān)系和由此而形成的時間結(jié)構(gòu)，分別稱為話語的時間關(guān)系和時間結(jié)構(gòu)。這個關(guān)系或結(jié)構(gòu)往往是復(fù)雜多樣的，不能僅僅依據(jù)語句的時態(tài)來表達(dá)［2］。如:

(1)Max fell.John helped him up.(馬克斯摔倒了，約翰扶他起來。)

(2)Max fell.John pushed him.(馬克斯摔倒了，約翰推了他。)

話語(1)和(2)有著相同的時態(tài)形式和時體類別，要區(qū)別它們的解釋，僅僅靠組合性的語義形式是不夠的。我們要運(yùn)用與句子的順序、句法和組合性的語義不同的一些信息來計(jì)算話語的時間結(jié)構(gòu)，這些不同的信息就是修辭關(guān)系。話語意義依賴于修辭結(jié)構(gòu)，并與修辭結(jié)構(gòu)相互影響。修辭結(jié)構(gòu)是由修辭關(guān)系組成的，修辭關(guān)系，又稱話語關(guān)系，描繪話語在上下文中所起的修辭作用［2］。修辭關(guān)系將話語的內(nèi)容聯(lián)系在一起。

話語(1)中的兩個句子是按事件發(fā)生的先后順序排列的，第一個句子描述的事件在時間上先于第二個句子所描述的事件，我們稱這種修辭關(guān)系為敘述。這種關(guān)系會影響它所在結(jié)構(gòu)的真值條件的內(nèi)容:馬克斯摔倒發(fā)生在約翰扶他起來之前。在(2)中，第二個句子對第一個句子起著解釋的作用，這種修辭連接有著不同的時間效果:馬克斯的摔倒發(fā)生在約翰推他之后。我們用一種不同的修辭關(guān)系——解釋來表示這種修辭功能。用修辭關(guān)系來表示(1)和(2)的邏輯形式讓我們發(fā)現(xiàn)兩者不同的時間結(jié)構(gòu)，而話語表現(xiàn)理論所能處理的語句序列是有限的，當(dāng)語句序列中各語句所描述的事件不按先后順序排列時，它就無能為力了。

2.代詞前指

話語表現(xiàn)理論對代詞前指有所涉及，但處理得仍不周全。如:

(3)a.馬克斯昨晚過得很愉快。

b.他美餐了一頓。

c.他吃了三文魚。

d.他還贏了一場跳舞比賽。

e.它是一種美麗的桃紅色。

話語表現(xiàn)理論對前指的確認(rèn)主要是建立在對句子的邏輯結(jié)構(gòu)，特別是量化特征詞的分析上。這個話語系列沒有什么量化特征詞，根據(jù)語義特征，話語表現(xiàn)理論會把(3e)中“它”的先行詞確認(rèn)為(3c)中的“三文魚”。但事實(shí)上，(3e)在這個話語系列中會產(chǎn)生融貫方面的問題，認(rèn)為“它”是先前話語中的某個個體更是難以接受，而修辭關(guān)系能夠解決這個問題。根據(jù)右邊界限制，話語代詞的先行詞必須由前一句話語或者在話語結(jié)構(gòu)中統(tǒng)制該話語的話語引入。這就解釋了為什么(3c)中的三文魚是不可及的，因?yàn)樗窃?3c)中引入的，而(3c)不是(3e)的右邊界。

3.搭橋推理

搭橋是在話語中所引入的、沒有明確陳述卻又相互關(guān)聯(lián)的兩個物體或事件之間建立聯(lián)系的一種推理［3］。搭橋常常反映了自然語言中整體與局部的關(guān)系。如:

(4)王珍有一棟新房子，前門是藍(lán)色的。

顯然，我們會將(4)中的前門理解為王珍新房子的前門，這便是王珍的新房子與王珍新房子的前門之間的整體與部分的聯(lián)系在起作用。這種指涉DRT也不能處理。

4.動詞短語的省略

動詞短語的省略也是一種照應(yīng)現(xiàn)象。如:(5)李平說王珍哭了，但是是劉強(qiáng)。

(6)李平說王珍哭了，劉強(qiáng)也是。

人們常常把(5)中“是劉強(qiáng)”解釋為“是劉強(qiáng)哭了”，而(6)中的“劉強(qiáng)也是”解釋為“劉強(qiáng)也說王珍哭了”，產(chǎn)生這一差異的原因是“但是”和“也”的不同的語義效果?！暗恰狈从车氖菍Ρ鹊男揶o關(guān)系，而“也”反映的是并列的修辭關(guān)系，這一差異在話語表現(xiàn)理論中是反映不出來的。

DRT能解決的前指現(xiàn)象其實(shí)很有限，主要是典型的代詞、無定名詞短語、有定名詞短語等在有量化特征詞的話語中的前指，但無法解釋或者錯誤解釋話語中出現(xiàn)的更復(fù)雜的前指現(xiàn)象。為了研究更廣泛意義上的話語現(xiàn)象，Asher和Lascarides認(rèn)為，在傳統(tǒng)的分析句子邏輯式的基礎(chǔ)上，還應(yīng)該關(guān)注語句與語句之間的修辭關(guān)系。他們提出了一種超越DRT的新的語義理論——分段式話語表現(xiàn)理論，這標(biāo)志著動態(tài)語義學(xué)進(jìn)入了一個新的發(fā)展階段［2］。SDRT包含了兩種邏輯，一種是解釋話語邏輯形式的邏輯，另一種是建構(gòu)邏輯形式的邏輯，前者稱為信息內(nèi)容的邏輯，后者稱為粘著邏輯(glue logic)。

二、信息內(nèi)容的邏輯

對信息內(nèi)容的邏輯指派動態(tài)的語義解釋，運(yùn)用語境變化潛在性，SDRT和動態(tài)語義學(xué)結(jié)合起來。通過對修辭關(guān)系指派精確的動態(tài)語義，SDRT拓展了先前的關(guān)于話語結(jié)構(gòu)的工作。

(一)SDRS-公式

SDRT引入了兩個新的表達(dá)式:言語行為話語所指和修辭關(guān)系。前者標(biāo)記小句或語段的內(nèi)容，后者使言語行為話語所指相互關(guān)聯(lián)。所產(chǎn)生的結(jié)構(gòu)就是分段式話語表現(xiàn)結(jié)構(gòu)(Segmented Discourse Representation Structure，簡稱 SDRS)。

定義1 SDRS-公式

合式公式SDRS-公式是從以下的詞匯中建構(gòu)的:

①DRSs的詞匯;

② 標(biāo)記或者言語行為話語所指 π，π1，π2，…

③ 話語關(guān)系的關(guān)系符號集:R，R1，R2，…

合式SDRS-公式集Φ定義如下:

①DRSs的集合;

②如果R是一個二元修辭關(guān)系符號，π1和π2是標(biāo)記，則 R(π1，π2)是 SDRS-公式;

③ 如果φ和φ'是SDRS-公式，那么 (φ∧φ')和﹁φ也是SDRS-公式，其中∧和﹁都動態(tài)地被解釋。

(二)SDRS或話語結(jié)構(gòu)

定義2 SDRS或話語結(jié)構(gòu)

任何一個SDRS或一個話語結(jié)構(gòu)都是一個三元組〈A，F(xiàn)，LAST〉，其中:

①A是言語行為話語所指的集合;

②LAST是A中的一個成員(直觀上看，這是加在邏輯形式中的最后一個小句的內(nèi)容的標(biāo)記);

③F是函項(xiàng)，該函項(xiàng)對A中的每一成員指派一個SDRS-公式。

在不會混淆的情況下，三元組〈A，F(xiàn)，LAST〉也可寫作〈A，F(xiàn)〉。

另外，以下的限制被強(qiáng)加在 A上:只有在F(π)包含 R(π'，π″)或 R(π″，π')的情況下，Succ(π，π')才有效(Succ又被稱為直接主導(dǎo)(immediate dominance))。那么A上的一個偏序Succ是傳遞封閉的，并且有一個唯一的上確界π0∈A。

我們用例(2)來闡述SDRS的定義。(2')是(2)的SDRS:

(2')〈A，F(xiàn)，LAST 〉，其中:

A={π0，π1，π2}

F(π1)= 〈{x，eπ1}，{Max(x)，fall(eπ1，x)，eπ1〈 n}〉

F(π2)= 〈{y，eπ2}，{John(y)，push(eπ2，y，x)，eπ2〈 n}〉

F(π0)=解釋(π1，π2)

LAST=π2

eπ1和 eπ2之間的時間關(guān)系沒有明確地表達(dá)出來，但是從F(π0)的語義可知，約翰推馬克斯這一事件發(fā)生在馬克斯摔倒這一事件之前。

(三)可及性

定義3 可及性

令〈A，F(xiàn)，LAST 〉是一個 SDRS，Kβ(我們標(biāo)記Kβ為β)是新信息。那么用某種修辭關(guān)系，β可以粘貼到:

①標(biāo)記α=LAST;②任何標(biāo)記γ使得

(a)Succ(γ，α);或者

(b)對于標(biāo)記 λ，F(xiàn)(λ)=R(γ，α)，其中 R是從屬話語關(guān)系，如詳述、解釋等。

我們把這個注釋成α〈γ。

③ 傳遞封閉:通過標(biāo)記 γ1，…，γn的序列統(tǒng)制α 的任何標(biāo)記 γ，使得 α 〈 γ1，γ1〈 γ2，…，γn〈 γ。

令Kβ包括一個前指條件φ，那么可及的先行詞是:

①在Kβ中和在φ可及的DRS中;或者

②在Kα中，在Kα中任何條件可及的DRS中，并且在SDRS中有條件R(α，γ)，使得γ=β或者outscopes(γ，β)(其中R不是結(jié)構(gòu)話語關(guān)系)。

這個定義確保前指的先行詞一定是話語結(jié)構(gòu)右邊界上可及的DRS，這就表明例(3)中(3e)是不可接受的。被三文魚引入的話語所指是在Kπ3中，而π3不是(3e)的右邊界，因此(3e)不可粘貼到Kπ3。因此，關(guān)于前指的限制，SDRT比DRT處理得更加精確。

(四)SDRSs的動態(tài)語義

通過對所有的SDRS-公式提供真定義，我們能夠?qū)紽(π0)指派解釋，其中標(biāo)記π0轄域覆蓋SDRS中其他所有的標(biāo)記。通常F(π0)是形如R(πi，πj)的公式的結(jié)合。根據(jù) Kπi和 Kπj(即 F(πi)和 F(πj))，我們也定義了 R(πi，πj)的解釋。解釋小句的內(nèi)容，能夠遞歸地揭示SDRS的語義。

我們對修辭關(guān)系指派語義，真實(shí)修辭關(guān)系滿足以下圖式:

(w，f)［R(π1，π2)］M(w'，g)當(dāng)且僅當(dāng)(w，f)［Kπ1∧Kπ2∧φR(π1，π2)］M(w'，g)

其中“∧”是動態(tài)合取式，φR(π1，π2)表達(dá)了與特定的修辭關(guān)系R(π1，π2)相關(guān)的語義限制，因此R(π1，π2)是真的當(dāng)且僅當(dāng) Kπ1，Kπ2和 φR(π1，π2)是真的。

真實(shí)關(guān)系包括敘述、解釋、詳述、背景、平行和對比等，這個圖式確保這些關(guān)系衍推它們所連接的兩個命題。修辭關(guān)系如同復(fù)雜的更新算子，它們的解釋反映了修辭關(guān)系對它們所連接的命題所產(chǎn)生的特殊的語義影響。

對于各種各樣的關(guān)系R，解釋SDRSs涉及定義 φR(π1，π2)的值。對于大多數(shù)關(guān)系來說，是根據(jù)Kπ1和Kπ2或者在它們中被引入的話語所指來定義φR(π1，π2)的。如 φ敘述(π1，π2)表示 Kπ1中主要事件 eπ1的終點(diǎn)在空間和時間上與Kπ2中主要事件eπ2的始點(diǎn)交迭。這就確保只要例(1)的邏輯形式包含了敘述(π1，π2)，這種邏輯形式的解釋就衍推了事件的時間進(jìn)展，即馬克斯摔倒發(fā)生在約翰扶他起來之前。

φ解釋(π1，π2)衍推 eπ2引起了 eπ1，例(2)的邏輯形式衍推約翰推的動作引起了馬克斯摔倒的動作。我們來看看例(2)是如何被解釋的。這個SDRS使輸入變元指派函數(shù)f和g相聯(lián)系，當(dāng)且僅當(dāng)f［Kπ0］Mg，其 中 Kπ0是 解 釋 (π1，π2)。因 此，f［Kπ0］Mg當(dāng)且僅當(dāng) f［解釋(π1，π2)］Mg。根據(jù)解釋的定義，f［解釋(π1，π2)］Mg有效當(dāng)且僅當(dāng):

①有一個 h，使得 f［Kπ1］Mh，并且

② 有一個 i，使得 h［Kπ2］Mi，并且

③ i［引起(eπ2，eπ1)］Mg。

式①有效當(dāng)且僅當(dāng)對于x和eπ1來說，h被定義，并且 〈h(eπ1)，h(x)〉 ∈IM(fall)等。式②有效當(dāng)且僅當(dāng) i擴(kuò)展 h，使得 〈 i(eπ2)，i(y)，i(x)〉∈IM(push)等。式③有效當(dāng)且僅當(dāng)i=g并且〈i(eπ2)，i(eπ1)〉 ∈IM(原因)。也就是說，馬克斯摔倒，約翰推馬克斯，“約翰推馬克斯”引起“馬克斯摔倒”。

三、建構(gòu)邏輯形式

為了從概念上清楚地描述如何推斷話語結(jié)構(gòu)和建構(gòu)邏輯形式，SDRT區(qū)分了話語結(jié)構(gòu)本身和描述話語結(jié)構(gòu)的語言。當(dāng)試圖重建話語預(yù)期的邏輯形式時，我們一定會遇到許多歧義，比如由于語義轄域歧義，語法和詞匯語義通常不足以確定預(yù)期的邏輯形式、代詞和預(yù)設(shè)等各種前指和詞匯歧義等。SDRT包含了一種描述語言Lulf(ulf表示未具體化的邏輯形式)，這種語言允許我們對這種未確定性進(jìn)行分析和推理。SDRT的粘著邏輯定義了解決語義未具體化陳述的語用上更可取的方法。

(一)語義未具體化陳述的語言Lulf

語義未具體化陳述的語言部分地描述了SDRSs的形式，它允許我們表達(dá)語法是如何產(chǎn)生內(nèi)容的部分信息。我們以小句為例。

(7)Many problems preoccupy every politician.(許多問題使每一個政治家著迷。)

句(7)的兩種可能的邏輯形式是:

(7')a.many(x，problem(x)，?(y，politician(y)，preoccupy(x，y)))

b.?(y，politician(y)，many(x，problem(x)，preoccupy(x，y)))

令l1標(biāo)記廣義量詞 many problemsx，l2標(biāo)記every politiciany，l3標(biāo)記 preoccupy(x，y)，并且在這些標(biāo)記中給出轄域覆蓋的限制:outscopes(l1，l3)和outscopes(l2，l3)。outscopes(li，lj)指的是 li標(biāo)記內(nèi)容的語義轄域覆蓋了lj標(biāo)記內(nèi)容的語義轄域。其結(jié)果就是基礎(chǔ)語言中邏輯形式的部分描述。說它是部分的，是因?yàn)樗鼪]有確定outscopes(l1，l2)是真的，也沒有確定outscopes(l2，l1)是真的。量詞的轄域不是由語法確定的，轄域覆蓋的順序可能是l1-l2-l3或者可能是l2-l1-l3。

然而，標(biāo)記邏輯形式和提供標(biāo)記的部分轄域覆蓋順序并不足以表示未具體化表征的特性。我們不知道m(xù)any problems和every politician的相關(guān)轄域，也不知道這些廣義量詞核心轄域的值。換言之，基本邏輯形式包括many(x，problem(x)，px)和?(y，politician(y)，py)，但是語法沒有完全確定px和py的值。既然兩個轄域歧義和未消解的前指涉及到自變量的值是未知的條件，那么在邏輯形式的部分描述中我們需要一種表征這樣的空位(holes)的方法。

假如自變量有一個未知的值，那么我們用一個標(biāo)記標(biāo)示空位所在的位置。標(biāo)記標(biāo)示一個空位，是因?yàn)檎Z法不能認(rèn)定它與任何標(biāo)示邏輯形式的標(biāo)記一致。實(shí)際上，這樣的自變量標(biāo)記是標(biāo)記上的變元。未具體化的邏輯形式和它的解釋把限制放在這些標(biāo)記變元可能是什么值上。例如，句(7)的未具體化的邏輯形式包括l1:many(x，problem(x)，l4)，其中l(wèi)4是變元;l4不等同于實(shí)際上標(biāo)記著內(nèi)容的任何其他的未具體化邏輯形式標(biāo)記，這表明量詞的核心轄域的內(nèi)容目前是未知的。為了使邏輯形式的部分描述轉(zhuǎn)變?yōu)橐粋€完全的描述，被語法產(chǎn)生的轄域覆蓋關(guān)系足以確定標(biāo)記變元能被哪些標(biāo)記常元所代替。句(7)的未具體化邏輯形式是(7″):

(7″)?l4?l5(l1:many(x，problem(x)，l4)∧

l2:?(y，politician(y)，l5)∧

l3:preoccupy(x，y)∧

outscopes(l1，l3)∧outscopes(l2，l3))

用真值代替標(biāo)記變元的限制確保(7″)中轄域限制恰恰通過兩個解決方案得到滿足:1)l4=l3且l5=l1;或2)l4=l2且 l5=l3。(7″)能看作是(7)的邏輯形式的部分描述，說它是部分的，是因?yàn)樗诨A(chǔ)的、未加標(biāo)記的語言中沒有區(qū)別兩種可能的邏輯形式。

(二)粘著邏輯

為了把小句的邏輯形式粘貼在一起形成話語邏輯形式，我們用粘著語言進(jìn)行推理，因此這種邏輯被稱為粘著邏輯。粘著語言的詞匯包括來自SDRSs的標(biāo)記、修辭關(guān)系符號和表達(dá)邏輯形式部分描述的方法。粘著語言擴(kuò)展了未具體化邏輯形式的基本詞匯:它增加了一個模態(tài)連接詞〉，A〉B表示“如果A，那么通常B”。這就表達(dá)了關(guān)于未具體化條件的語用上更可取的值的信息。

粘著邏輯定義了非單調(diào)的推斷關(guān)系|～g，連同最大化話語融貫性原則，粘著邏輯定義了未具體化邏輯形式的語用上更可取的解釋。最大化話語融貫性原則指的是話語的邏輯形式總是偏序中值最大的那個邏輯形式［4］。話語中修辭關(guān)系越多，更可取的修辭關(guān)系越多，未具體化陳述的條件越少，結(jié)構(gòu)越簡單，話語解釋就越融貫。一般來說，語用上更可取的解釋是可能解釋的一個子集。

許多粘著邏輯公理是形如(8)的圖式，其中α，β 和 λ 是 SDRS-標(biāo)記 π1、π2等的元變元:

(8)(?(α，β，λ)∧Info(α，β，λ))〉R(α，β，λ)

式(8)表達(dá)的是:用一種修辭關(guān)系把β和α聯(lián)系起來，其結(jié)果標(biāo)記為λ，并且關(guān)于α，β和λ的信息有效，那么這種修辭關(guān)系通常是R。

我們來看看敘述公理。

(9)(?(α，β，λ)∧occasion(α，β))〉Narration(α，β，λ)

式(9)表示如果β和α聯(lián)系起來，并且α引起β，那么修辭關(guān)系通常是敘述。那么我們?nèi)绾瓮普搊ccasion(α，β)?如果兩個事件類型(φ和ψ)相互關(guān)聯(lián)，那么誘因(occasion)通常能夠被推論:

(?(α，β，λ)∧φ(α)∧ψ(β))〉occasion(α，β)

比如，我們假設(shè)“x摔跤”和“y扶x起來”是相互聯(lián)系的，那么前者是后者的誘因。

(三)話語更新

話語更新是一系列簡單的、單調(diào)遞減的更新運(yùn)算+，+是在粘著邏輯推斷關(guān)系|～g方面被定義的。簡單更新運(yùn)算研究話語結(jié)構(gòu)集σ(σ表示舊信息)和一些新信息。描述話語結(jié)構(gòu)集的未具體化邏輯形式在Lulf中是σ理論，寫作Th(σ)。新信息或者是一個未具體化的邏輯形式Kβ，或者是關(guān)于粘貼的假設(shè)?(α，β，λ)，其中 Th(σ)╞lKβ，l是Lulf的簡寫，即Kβ是邏輯形式描述的部分。

定義4 簡單更新+

令σ是一個完全明確的話語結(jié)構(gòu)集，ψ或者是未具體化的邏輯形式Kβ，或者是關(guān)于粘貼的公式?(α，β，λ)，其中 Th(σ)╞lKβ，那么 σ +ψ 是被定義為如下的話語結(jié)構(gòu)集:

①假如結(jié)果不是空集，那么σ+ψ={τ:如果Th(σ)，ψ|～gφ，那么 τ╞lφ};

② 否則σ+ψ=σ。

實(shí)際上，話語結(jié)構(gòu)是未具體化邏輯形式邏輯的模型。τ╞lφ表示φ部分地描述τ。因此簡單更新定義了滿足話語邏輯形式部分描述的話語結(jié)構(gòu)集，部分描述是|～g-推斷的聯(lián)言支。簡單更新定義了以限制為主建構(gòu)邏輯形式的一種方法:它運(yùn)用舊信息和新信息逐漸增加話語結(jié)構(gòu)形式的限制，這種形式最終表示已更新話語的解釋。

假設(shè)對于新信息β，A是舊信息σ中可及粘貼點(diǎn)的集合，那么冪集P(A)表示β粘貼到σ中的標(biāo)記αi所有可能的選擇。話語更新對P(A)的哪一個成員是正確的選擇保持中立，因?yàn)樵捳Z更新是對于P(A)的每一個成員的一系列簡單更新而產(chǎn)生的話語結(jié)構(gòu)的合并。話語更新是根據(jù)簡單更新而被定義的，所以話語更新也是一個單調(diào)遞減函數(shù)，解釋話語相當(dāng)于信息單調(diào)地逐漸增加。

在話語處理過程中，如果想解釋話語，我們需要建立滿足描述的所有的語用上更可取的話語結(jié)構(gòu)。粘著邏輯使用語用信息來計(jì)算修辭關(guān)系，因此確保簡單更新消除了一些語用上不允許的邏輯形式。根據(jù)最大化話語融貫性原則以及我們更喜歡最少標(biāo)記的話語結(jié)構(gòu)，我們在更新中排列模型的順序。更新中排列在最前的模型是:最少的標(biāo)記，最多的修辭聯(lián)系，最少的未解決的語義歧義(包括前指條件)以及沒有不一致性。

四、結(jié)束語

SDRT不同于其他的動態(tài)語義理論。SDRT包括了修辭關(guān)系，使邏輯形式更加豐富。SDRT對修辭關(guān)系指派語義，使修辭關(guān)系成為復(fù)雜的更新算子。實(shí)際上，所有的邏輯形式都是組合地、動態(tài)地被解釋。

SDRT使用語義未具體化陳述的語言Lulf來描述話語的邏輯形式，Lulf盡管知道話語結(jié)構(gòu)的形式，卻不知道它的動態(tài)解釋。我們可以用這種語言表達(dá)關(guān)于語義未具體化陳述的信息，Lulf的推論關(guān)系抓住了未具體化邏輯形式和所有可能的解釋之間的關(guān)系。通過粘著邏輯和最大化話語融貫性原則，話語更新定義了未具體化邏輯形式和語用上更可取的解釋之間的關(guān)系。

目前SDRT在國際邏輯學(xué)界、語言學(xué)界和人工智能界得到了充分的肯定并產(chǎn)生了深遠(yuǎn)的影響，已成為關(guān)于研究處理自然語言的新方向和前沿領(lǐng)域。筆者希望起著拋磚引玉的作用，漢語中的許多語義問題能在這種理論的指導(dǎo)下得到更妥善的解決。

［1］Alex Lascarides，Nicholas Asher.Segmented Discourse Representation Theory:Dynamic Semantics with Discourse Structure［EB/OL］.［2012-08-16］.available from http://homepages.inf.ed.ac.uk/alex/papers/iwcs4.pdf，2009.

［2］高蕓.從SDRT的視角探析漢語話語結(jié)構(gòu)的修辭格式［D］.重慶:西南大學(xué)，2011.

［3］Nicholas Asher，Alex Lascarides.Logics of Conversation［M］.Cambridge:Cambridge University Press，2003.

［4］夏年喜.從DRT到SDRT——動態(tài)語義理論的新發(fā)展［J］.哲學(xué)動態(tài)，2006(6):52-56.

(責(zé)任編輯 張佑法)