基于范疇類型邏輯的漢語反身代詞指代歧義的消解

張曉君

(四川師范大學 哲學研究所， 四川 成都 610066)

一、引言

指代是常見的自然語言現(xiàn)象，它具有簡化表述、銜接上下文、連貫意義的作用(1)張曉君：《指代消解的主要方法及其機制》，《畢節(jié)學院學報》2012年第10期。。在自然語言中，指代詞(anaphor)所指的對象和內(nèi)容稱為先行詞，為指代詞確定先行詞的過程叫做指代消解(anaphora resolution)。典型的具有指代現(xiàn)象的自然語言語句如：

(a)我家狗狗叫點點，我特別喜歡它。

(b)我兒子上學了，他周末才回來。

這里語句(a)中的“它”與“點點”具有指代關(guān)系，“它”是指代詞，“點點”是先行詞；類似地，語句(b)中的“我兒子”與“他”之間也具有指代關(guān)系，“他”是指代詞，“我兒子”是先行詞。

指代詞與先行詞之間的照應(yīng)關(guān)系是語篇意義連貫的基礎(chǔ)，準確快速地為指代詞找到回指的先行詞是語篇理解的基礎(chǔ)和關(guān)鍵。指代消解在機器翻譯、信息抽取、文本摘要、自然語言接口和問答系統(tǒng)等人工智能領(lǐng)域有著重要的作用(2)張曉君：《指代消解的主要方法及其機制》。，是自然語言信息處理研究的重點和難點領(lǐng)域之一，國內(nèi)外計算語言學界、心理學界、語言學界和邏輯學界等領(lǐng)域的學者從不同的視角對其進行了鍥而不舍的長期研究。

據(jù)筆者所知，僅僅在自然語言邏輯領(lǐng)域，能夠進行英語進行指代消解的自然語言邏輯理論就有十多種(3)張曉君：《指代消解的主要方法及其機制》。，比如：動態(tài)謂詞邏輯(Dynamic Predicate Logic，簡稱DPL)(4)J.Groenendijk，M.Stokhof，“Dynamic Predicate Logic”，Linguistics and Philosophy，Vol.14,1991,pp.39-100.、動態(tài)蒙太格語法(Dynamic Montague Grammar，簡稱DMG)(5)J.Groenendijk，M.Stokhof，“Dynamic Montague Grammar”，in L.Klmn，L.Pólos，eds.，Papers from the Second Symposium on Logic and Language，Budapest：Akadémiai Kiadó，1990，pp.3-48.、話語表現(xiàn)理論(Discourse Representation Theory，簡稱DRT)(6)H.Kamp，U.Reyle，F(xiàn)rom Discourse to Logic，Dordrecht：Kluwer Academic Publisher，1993.、范疇類型邏輯(Categorical Type Logic，簡稱CTL)(7)G.J?ger，Anaphora and Type Logical Grammar，Dordrech：Springer，2005.、組合范疇語法(Compostional Category Grammar，簡稱CCG)(8)溫雪：《從轉(zhuǎn)換生成語法看范疇類型邏輯的基本思想》，《重慶理工大學學報》(社會科學)2015年第8期。等都能夠進行指代消解。為了對漢語進行指代消解，國內(nèi)學者借鑒對英語進行指代消解的方法和經(jīng)驗，對多種漢語句式的指代消解進行了研究，比如：鄒崇理(2002、2018)(9)鄒崇理：《邏輯、語言和信息》，北京：人民出版社，2002年；鄒崇理等：《自然語言信息處理的邏輯語義學研究》，北京：科學出版社，2018年。、滿海霞(2014)(10)滿海霞：《漢語照應(yīng)省略的類型邏輯研究》，北京：對外經(jīng)濟貿(mào)易大學出版社，2014年。、賈青(2015)(11)賈青：《范疇類型邏輯及其在漢語反身代詞回指照應(yīng)中的應(yīng)用》，北京：中國社會科學出版社，2015年。、林勝強(2015)(12)林勝強：《基于動態(tài)謂詞邏輯的漢語指代現(xiàn)象的信息處理》，《四川師范大學學報》(社會科學版)2015年第6期。、張曉君(2018)(13)張曉君：《漢語指代消解及其推理模式研究》，北京：人民出版社，2018年。等等。

在自然語言中，常常出現(xiàn)由于指代不明而產(chǎn)生的歧義，即指代與歧義相伴而行。雖然在自然語言中有多種句式都存在指代歧義，但由于篇幅原因，本文僅僅對漢語中普遍存在的反身代詞的指代歧義進行消解。例如：實例(1)“趙強認為李麗討厭自己”，它的第一種歧義解讀是“趙強認為李麗討厭李麗”，第二種歧義解讀是“趙強認為李麗討厭趙強”，這兩種歧義都是由于其中的反身代詞“自己”指代不明而產(chǎn)生的。實例(2)“趙強氣憤地看著李東摔打自己的狗”，它的第一種歧義解讀是“趙強氣憤地看著李東摔打趙強的狗”，第二種歧義解讀是“趙強氣憤地看著李東摔打李東的狗”，這兩種歧義也是由于其中的反身代詞“自己”指代不明而產(chǎn)生的。

二、常見的指代消解理論及其消解機制

語篇理解和指代消解是一個相互作用的動態(tài)過程(14)王曉斌、周昌樂：《基于語篇表述理論的漢語人稱代詞的消解研究》，《廈門大學學報》(自然科學版)2004年第1期。，而經(jīng)典的一階和高階邏輯無法進行指代消解，導致了20世紀70年代在自然語言理解領(lǐng)域出現(xiàn)了著名的“動態(tài)轉(zhuǎn)向”(dynamic turn)，從而產(chǎn)生了多種受到蒙太格語法的影響且能夠進行指代消解的動態(tài)語義學，比如：1981年Kamp提出的話語表現(xiàn)理論(15)H.Kamp，“A Theory of Truth and Semantic Representation”，in J.A.G.Groenendijk et al.，eds.，F(xiàn)ormal Methods in the Study of Language，Amsterdam：Centrum Voor Wiskunde en Informatica，1981,pp.277-322.、1982年Heim提出的文本更新語義學(File Change Semantics，簡稱FCS)(16)I.Heim，“File Change Semantics and the Familiarity Theory of Definiteness”，in R.B?uerle et al.，eds.，Meaning，Use，and Interpretation of Language，Berlin：Walter de Galter De Gruyter，1983，pp.164-189.、1990年Groenendijk和Stokholf提出的動態(tài)蒙太格語法(17)J.Groenendijk，M.Stokholf，“Dynamic Montague Grammar”，pp.3-48.、1991年Groenendijk和Stokholf提出的動態(tài)謂詞邏輯(18)J.Groenendijk，M.Stokholf，“Dynamic Predicate Logic”，pp.39-100.。之后，還產(chǎn)生了對這些理論進行改進的動態(tài)語義理論，比如：帶有演算的話語表現(xiàn)理論(即-DRT)、“自下而上”的話語表現(xiàn)理論、組合性話語表現(xiàn)理論、增量動態(tài)邏輯、帶有內(nèi)在動態(tài)廣義量詞的動態(tài)謂詞邏輯等等(19)張曉君：《漢語指代消解及其推理模式研究》，第27頁。。

在這些動態(tài)語義學理論中，(1)幾乎都采用可能世界語義學，幾乎都滿足組合性這一自然語言進行毗連生成的基本原則；(2)動態(tài)變元約束機制代替了來自一階謂詞邏輯的靜態(tài)變元約束機制；(3)意義被看作是模型中狀態(tài)變元之間的關(guān)系，意義就是算法，意義就是潛在的語境更新(20)J.van Eijk，“Incremental Dynamics”，Journal of Logic，Language and Information，Vol.10，No.3,2001,pp.320-321.，即：“意義就是算法”等同于“意義就是計算潛在語境的算法的更新”，等同于“意義就是計算真值條件內(nèi)容的算法的更新”(21)張曉君、鄒崇理：《從信息與智能交互的角度看周禮全先生的四層次意義理論 兼論語言表達式的意義理論》，《哲學研究》2012年第9期。。

這些動態(tài)語義學理論進行指代消解的方式方法和優(yōu)缺點各不相同。大致說來，話語表現(xiàn)理論能夠?qū)χ复F(xiàn)象進行動態(tài)處理，但是其處理過程不滿足自然語言的基本原則 組合性原則。動態(tài)謂詞邏輯能夠組合地對指代現(xiàn)象進行動態(tài)處理，但其語境增量具有一定的破壞性。動態(tài)蒙太格語法利用動態(tài)內(nèi)涵邏輯對語句的意義進行翻譯時，成分間可能的指代關(guān)系則是通過特別的話語標記來標示，能夠很好地進行指代消解。帶有內(nèi)在動態(tài)廣義量詞的動態(tài)謂詞邏輯能夠進行指代消解的基礎(chǔ)是：允許動態(tài)存在量詞的第一個論元與第二個論元之間具有間接約束關(guān)系。增量動態(tài)邏輯能夠進行指代消解的基本思路是：“規(guī)定量詞可以約束下一個可以達到的變元寄存器，并定義了能夠為代詞找到先行詞的語境”(22)張曉君：《指代消解的主要方法及其機制》。。帶有演算的話語表現(xiàn)理論則是通過引入-演算，從而使得話語表現(xiàn)理論能夠組合地對指代現(xiàn)象進行動態(tài)處理(23)張曉君、鄒崇理：《從信息與智能交互的角度看周禮全先生的四層次意義理論 兼論語言表達式的意義理論》。。組合性話語表現(xiàn)理論同時具有帶有演算的話語表現(xiàn)理論和蒙太格風格的組合性翻譯樹的優(yōu)點，能夠動態(tài)地且組合地進行指代消解(24)R.Muskens，“Combining Montague Semantics and Discourse Representation”，Linguistics and Philosophy，Vol.19，No.2,1996,pp.143-186.。

通過對自然語言邏輯中常見的幾種指代消解理論進行對比研究，就會發(fā)現(xiàn)指代消解的機制主要包括(25)張曉君：《指代消解的主要方法及其機制》。：(1)中介機制(比如：話語表現(xiàn)理論)；(2)動態(tài)約束機制(比如：動態(tài)謂詞邏輯)；(3)加標機制(比如：動態(tài)蒙太格語法)；(4)范疇機制(比如：范疇類型邏輯和組合范疇語法)；(5)復合機制(比如：增量動態(tài)邏輯)。本文將利用范疇類型邏輯的知識(即采取范疇機制)，根據(jù)詞條的不同句法作用，對多個詞條采取不同的毗連組合順序以及對同一詞條指派不同的范疇等手段，來達到對漢語中反身代詞指代歧義進行消解的目的。

三、范疇類型邏輯的基本思想

自然語言具有毗連性(concatenation)，即較大語言成分是由較小語言成分通過組合的方式逐步遞增而成的。自然語言具有生成性(generation)，通過毗連，自然語言符號串可以由較小語言成分逐步生成擴張為較大語言成分。弗雷格(Frege)利用語句函項的思想來分析自然語言的毗連生成過程，即：把某一語言成分當作函項，把旁邊與之毗連的語言成分當作函項的主目，兩個語言成分的毗連可以看作是函項運算的結(jié)果(26)張曉君：《帶有受限縮并規(guī)則的蘭貝克演算的模型論》，《哲學動態(tài)》2011年第8期。。范疇類型邏輯使用運算和推演的手段揭示自然語言組合性構(gòu)造過程的基本思想是：語言認知就是數(shù)學計算，語法分析就是邏輯推演；概括地講：認知=計算；語法=邏輯；分析=演繹。范疇類型邏輯經(jīng)歷了基本范疇語法、蘭貝克演算、蒙太格語法、類型邏輯語義學和語法邏輯這五個發(fā)展階段(27)鄒崇理：《范疇類型邏輯》，北京：中國社會科學出版社，2008年。。

范疇類型邏輯是使用附加推理規(guī)則對基本范疇語法進行擴張而得到的自然語言邏輯理論，它把基本范疇語法的演繹成分作為邏輯演算的證明系統(tǒng)進行了重建(28)G.J?ger，Anaphora and Type Logical Grammar，p.17.，利用編碼了詞條句法和語義信息的范疇運算來刻畫自然語言的毗連生成。范疇類型邏輯使用-演算作為語義表示語言，由于-表達式的指稱沒有歧義，而且容易理解，通過在類型-演算語言中被刻畫的詞條意義，就可以表示從自然語言到語義表示語言的組合翻譯，這種翻譯也間接地決定了對象語言的組合解釋，因此這一語義表示語言具有組合性，即：復合表達式的意義是由其組成部分的意義以及它們的組合方式?jīng)Q定的。因為范疇語法假定表層結(jié)構(gòu)是語義表示的唯一標準，而且表層結(jié)構(gòu)也可以被組合性地加以解釋(29)G.J?ger，Anaphora and Type Logical Grammar,p.16.。

在范疇類型邏輯中，具有不同句法的同一詞條可以指派不同的范疇。一個語言符號的范疇既決定了此語言符號在句法方面的組合潛能，同時又表征了此語言符號的指稱具有怎樣的類型(31)G.J?ger，Anaphora and Type Logical Grammar，p.11.。語義類型不僅決定了一個語言符號可能解釋的范圍，而且決定了其翻譯的句法性質(zhì)。范疇類型邏輯所使用的語義類型就是語義表示語言的句法范疇，而且范疇與類型之間的對應(yīng)限制了從自然語言到-演算的可能翻譯。復合范疇可由基本范疇通過聯(lián)結(jié)詞“/”(向前毗連算子)和“”(向后毗連算子)組成。詞形變化與語言間的參數(shù)變化，可以通過對詞條的不同范疇指派體現(xiàn)出來。在詞庫中可以確定一個基本表達式的翻譯(因此也間接地確定了其意義)，因此，一個被解釋語言的一個范疇詞庫是一個三元關(guān)系：一個表達式的形式、此表達式的句法范疇、此表達式到-演算的翻譯。

四、相關(guān)詞庫及推理規(guī)則

范疇類型邏輯認為，自然語言的毗連生成其實就是一種函項運算，為了揭示這種運算的規(guī)律，就需要利用范疇對自然語言的詞條進行分類編碼，并把其中一些詞條對應(yīng)的范疇作為函項，把另一些詞條對應(yīng)的范疇作為函項運算的主目，利用自然語言詞條對應(yīng)的范疇之間的運算就可以表達自然語言的毗連生成(32)鄒崇理：《范疇類型邏輯》，第1-11頁。。范疇類型邏輯通過函項運算不僅可以表征自然語言生成時的逐步遞增性，而且滿足意義組合原則這個自然語言邏輯語義學的基本要求。換言之，范疇類型邏輯在語言表達式的句法和語義方面都滿足組合性原則，這是范疇類型邏輯受到普遍關(guān)注的主要原因之一。

例如：為了表征“John kisses Kate”這樣的語句的毗連生成過程，指派給專名John和Kate的范疇為np，指派給語句的范疇為s，及物動詞kisses向右毗連一個范疇為np的專名形成范疇為nps的不及物動詞短語kisses Kate，然后向左毗連一個范疇是np的專名形成范疇為s的語句，因此指派給及物動詞kisses的范疇是(nps)/np?？梢?，及物動詞kisses具有雙重不完全性，它需要向右毗連一個范疇標記為np的名詞短語或?qū)Ｃ纬煞懂牁擞洖閚ps的不及物動詞短語，然后再向左毗連一個范疇標記為np的名詞短語或?qū)Ｃ拍苌蔀榉懂牁擞洖閟的語句。

為了區(qū)分這種向左或向右毗連的不同方向性，范疇類型邏輯引入了范疇形式為AB的向右毗連函子和范疇形式為BA的向左毗連函子。向右毗連函子AB要求所缺失或毗連的部分在其右邊，且“”在句法上起著聯(lián)結(jié)詞的作用，“”稱作“右毗連算子”。當函子范疇AB與其右邊的主目范疇B進行毗連運算時，可以得到結(jié)果范疇A，這一毗連運算可以表示為：AB+B=A。類似地，向左毗連函子BA要求所缺失或毗連的部分在其左邊，且“”在句法上也起著聯(lián)結(jié)詞的作用，“”稱作“左毗連算子”。當函子范疇BA與其左邊的主目范疇B進行毗連運算時，可以得到結(jié)果范疇A，這一毗連運算可以表示為：B+BA=A(33)鄒崇理：《范疇類型邏輯》，第2頁。。右毗連算子“”與左毗連算子“”的引入，不僅使得我們可以區(qū)分自然語言詞條所對應(yīng)的范疇進行毗連運算時的方向性，而且可以通過不同范疇之間的毗連運算來刻畫自然語言的毗連生成性。

規(guī)則1(詞條毗連規(guī)則)：

(1)如果詞條a的范疇是AB，詞條b的范疇是B，那么詞條a與詞條b的毗連ab的范疇是A，即：AB+B=A；

(2)如果詞條a的范疇是B，詞條b的范疇是BA，那么詞條a與詞條b的毗連ab的范疇是A，即：B+BA=A。

例如：在詞條“討厭”的句法范疇(nps)np與詞條“自己”的句法范疇((nps)np)(nps)進行毗連運算時，形成的詞條“討厭自己”的范疇就是nps。

根據(jù)范疇類型邏輯的思想和分析本文兩個指代歧義實例所需要的詞條范疇指派，可以確立如下詞庫：

專有名詞(比如：趙強、李麗、李東)：np

普通名詞(比如：狗)：n

毗連反身代詞或名詞短語的及物動詞(比如：討厭、摔打)：(nps)np

毗連賓語從句的及物動詞(比如：認為、看著)：(nps)s

副詞(比如：氣憤地)：(nps)(nps)

例如：在分析“討厭自己”的毗連生成時，“討厭”的語義用“討厭′”來表示，其句法范疇是常見的及物動詞范疇(nps)np，由于“討厭自己”是不及物動詞短語，其句法范疇是nps，因此“自己”的范疇是((nps)np)(nps)，而“自己”的語義則用可以形式化為Rx.Rxx的論元削減詞來表示(34)張曉君、滿海霞：《帶有受限縮并規(guī)則的蘭貝克演算中的照應(yīng)算子》，《重慶理工大學學報》(社會科學)2011年第4期。(即把二元關(guān)系作為論元，其結(jié)果還是得到二元關(guān)系)，因此“自己”的語義和句法范疇可以表示為：“Rx.Rxx：((nps)np)(nps)”。

通過加標演繹，范疇類型邏輯的公理和推理規(guī)則可以提供關(guān)于語義表示的矢列運算。矢列式的前件公式用變元加標，其后件用-演算的可能復合項加標。一個成分的實際翻譯可以用前件中公式的相應(yīng)詞條翻譯，來代替后件中的自由變元而得到。在本文的相關(guān)規(guī)則中，“l(fā)：C”表示范疇C具有標簽l，小寫字母“x，y，z，…”表示-演算的變元上的元變元，大寫字母“M，N，R…”表示-項上的元變元。

現(xiàn)在分別給出對本文中的漢語反身代詞指代歧義進行消解時所需要的三個推理規(guī)則。

規(guī)則2(函數(shù)應(yīng)用規(guī)則)：

在規(guī)則2的(1)中，“x：AB”表示一個詞條對應(yīng)的語義是x，對應(yīng)的范疇是AB；“y：B”表示另一個詞條對應(yīng)的語義是y，對應(yīng)的范疇是B；“xy：A”表示這兩個詞條的語義合成是xy，這兩個詞條對應(yīng)范疇之間的毗連運算的結(jié)果就是A，即：AB+B=A。規(guī)則2的(2)表示的意義與此類似。

在范疇類型邏輯中，雖然短語結(jié)構(gòu)不是語言表示的一部分，但是詞條的句法范疇結(jié)構(gòu)決定了哪些詞條是可以進行結(jié)合的。例如：可以為“李麗討厭自己”中的子串“討厭自己”指派句法范疇nps，但是子串“李麗討厭”卻不能夠指派句法范疇nps。然而“主語+及物動詞”的復合表達式是可以結(jié)合的。由于專名“李麗”的句法范疇是np，而及物動詞“討厭”的句法范疇是(nps)np，這二者是無法直接進行毗連運算的，因此需要如下規(guī)則3中的向前的類型提升規(guī)則，把“李麗”的句法范疇np提升為s(nps)，只有這樣才可以與“討厭”的句法范疇(nps)np進行毗連運算，從而得到“李麗討厭”的句法范疇snp。

規(guī)則3(類型提升規(guī)則)：

例如：根據(jù)向前的類型提升規(guī)則，可以把語義和句法范疇“李麗′：np”提升為“x.x李麗′：s(nps)”。

規(guī)則4(函數(shù)復合規(guī)則)：

例如：“討厭”與“自己”進行毗連運算得到“討厭自己”時，需要使用規(guī)則4中向后的函數(shù)復合規(guī)則；而“李麗”與“討厭”進行毗連運算得到“李麗討厭”時，需要使用規(guī)則4中向前的函數(shù)復合規(guī)則。

在分析“李麗討厭自己”的毗連生成時，首先利用規(guī)則4的向后的函數(shù)復合規(guī)則對“討厭′：(nps)np”與“Rx.Rxx：((nps)np)(nps)”進行毗連運算，在“討厭”的語義“討厭′”與“自己”的語義Rx.Rxx進行毗連運算得到“x.討厭′xx”的同時，“討厭”的范疇(nps)np與“自己”的范疇((nps)np)(nps)進行毗連運算，得到(nps)這一不及物動詞“討厭自己”的范疇。然后再利用規(guī)則2的向后的函數(shù)應(yīng)用規(guī)則對“李麗′：np”與“y.討厭′xx：(nps)”進行毗連運算，在“李麗”的語義“李麗′”與“討厭自己”的語義“x.討厭′xx”進行毗連運算得到“(討厭′(李麗′)(李麗′)”的同時，“李麗”的范疇np與“討厭自己”的范疇(nps)進行毗連運算得到“李麗討厭自己”這一語句的范疇s。由此可見，范疇類型邏輯可以同時表征自然語言的語義合成和句法組合過程。

五、漢語反身代詞歧義消解實例分析

據(jù)筆者所知，能夠進行指代消解的范疇的方法就達6種之多(35)張曉君：《指代消解的主要方法及其機制》。，本文僅僅借鑒Szabolcsi(1989、1992)(36)A.Szabolcsi，“Bound Variables in Syntax(Are There Any?)”，in R.Eartsch et al.，eds.，Semantics and Contexual Expressions，Dordrecht：Foris Publication，1989，pp.295-318；A.Szabolcsi，“Combinatory Grammar and Projection from the Lexicon”，in I.A.Sag et al，eds.，Lexical Matters，Chicago：University of Chicago Press，1992.提出的方法：把反身代詞看作是一個論元削減詞(argument reducer)，即把二元關(guān)系作為論元。例如：實例(1)中的賓語從句“李麗討厭自己”中的“自己”的意義可以表示成Rx.Rxx，它輸入一個范疇為(nps)np的及物動詞(即“討厭”)，并產(chǎn)生一個范疇為nps的不及物動詞短語(即“討厭自己”)，因此，其句法范疇是((nps)np)(nps)，這個范疇可以看作是：把向后的類型提升規(guī)則應(yīng)用到基本范疇np上而得到的。

實例(1)“趙強認為李麗討厭自己”是帶有賓語從句的復合語句，其中的及物動詞“認為”后面組合的是范疇為s的語句，而不是名詞短語，所以這里“認為”的范疇是(nps)s。實例(1)的兩種語義解讀的推導請分別參見圖1和圖2的證明樹。本文圖中l(wèi)ex表示詞條。

(圖1) “趙強認為李麗討厭自己”的第一種解讀(“趙強認為李麗討厭李麗”)的語義推導圖

(圖2) “趙強認為李麗討厭自己”的第二種解讀(“趙強認為李麗討厭趙強”)的語義推導圖

對比圖1和圖2可知：在第一種歧義解讀中，語句是從后向前依次進行組合，對專名“李麗”的范疇指派為np；而在第二種歧義解讀中，先把“李麗”范疇np的類型提升到s(nps)之后，再與“討厭”進行組合，之后再與“認為”進行組合，最后再與“自己”進行組合。即：利用多個詞條不同的組合方式以及同一詞條的不同范疇指派等手段，實現(xiàn)了不同語義解讀的表達，從而實現(xiàn)了歧義消解。

如果給實例(2)“趙強氣憤地看著李東摔打自己的狗”中反身代詞“自己的”，指派的范疇與“這個”、“那位”指派的范疇一樣，都是nn，就無法對歧義進行消解。為了消解歧義，需要把“自己的”范疇指派成Rz.Rzz：(((nps)np)(nps))n，這一范疇首先與范疇為n的普通名詞“狗”進行毗連，組合成“自己的狗”，其范疇是Rz.Rzz：((nps)np)(nps)，其句法作用類似于實例(1)中的“自己”。

實例(2)的兩種語義解讀的推導圖請分別參見圖3和圖4的證明樹。

(圖3) “趙強氣憤地看著李東摔打自己的狗”的第一種解讀“趙強氣憤地看著李東摔打李東的狗”的語義推導圖

(圖4) “趙強氣憤地看著李東摔打自己的狗”的第二種解讀“趙強氣憤地看著李東摔打趙強的狗”的語義推導圖

需要說明的是：由于圖3超過了公式編輯器最多10級的上限，故圖3直接給出了“自己的狗”的組合語義。對比圖3和圖4可知：在第一種解讀中，首先從后向前依次進行組合，從而得到賓語從句“李東摔打自己的狗”，然后再與“氣憤地看著”進行組合得到動詞短語“氣憤地看著李東摔打自己的狗”，最后再與“趙強”進行組合得到整個語句；而在第二種解讀中，是先把“李東”范疇np的類型提升到s(nps)之后，再與“摔打”進行組合，之后再與“氣憤地看著”進行組合后，再與“自己的狗”進行組合，最后再與“趙強”進行組合得到整個語句。此例利用基于范疇類型邏輯的范疇機制，對具有不同句法的同一詞條指派不同的范疇，并對多個詞條采取不同的毗連組合順序等手段，達到了對反身代詞指代歧義的消解的目的。

六、結(jié)語

綜上所述，(1)指代消解的五種主要機制包括：中介機制、動態(tài)約束機制、加標機制、范疇機制和復合機制；(2)范疇類型邏輯利用編碼了詞條句法和語義信息的范疇運算來刻畫自然語言的毗連生成，其基本思想是：語言認知就是數(shù)學計算，語法分析就是邏輯推演；(3)范疇類型邏輯利用詞條在類型-演算語言中的意義，不僅可以決定從自然語言到語義表示語言的組合翻譯，而且還可以決定對象語言的組合解釋；(4)利用對具有不同句法的同一詞條指派不同的范疇，以及對多個詞條采取不同的毗連組合順序等手段，可以從邏輯推演和計算的雙重視角對漢語反身代詞指代歧義進行消解。本文指代歧義消解實例印證了：(1)推演樹中的-標簽不僅可以提供所討論的成分的語義表示，而且還可以記錄其證明歷史；(2)如果同一個語句有兩個不等價的證明，那么此語句就有兩種不同的歧義解讀。

由于漢語語序靈活、語義復雜、指代歧義句眾多等原因，對漢語進行計算機信息處理仍然任重道遠，希望本文的研究能夠起到拋磚引玉的作用。