張曉君

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

一、引言

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

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

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

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

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

據(jù)筆者所知，僅僅在自然語言邏輯領(lǐng)域，能夠進(jìn)行英語進(jìn)行指代消解的自然語言邏輯理論就有十多種(3)張曉君：《指代消解的主要方法及其機(jī)制》。，比如：動(dòng)態(tài)謂詞邏輯(Dynamic Predicate Logic，簡稱DPL)(4)J.Groenendijk，M.Stokhof，“Dynamic Predicate Logic”，Linguistics and Philosophy，Vol.14,1991,pp.39-100.、動(dòng)態(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)換生成語法看范疇類型邏輯的基本思想》，《重慶理工大學(xué)學(xué)報(bào)》(社會(huì)科學(xué))2015年第8期。等都能夠進(jìn)行指代消解。為了對(duì)漢語進(jìn)行指代消解，國內(nèi)學(xué)者借鑒對(duì)英語進(jìn)行指代消解的方法和經(jīng)驗(yàn)，對(duì)多種漢語句式的指代消解進(jìn)行了研究，比如：鄒崇理(2002、2018)(9)鄒崇理：《邏輯、語言和信息》，北京：人民出版社，2002年；鄒崇理等：《自然語言信息處理的邏輯語義學(xué)研究》，北京：科學(xué)出版社，2018年。、滿海霞(2014)(10)滿海霞：《漢語照應(yīng)省略的類型邏輯研究》，北京：對(duì)外經(jīng)濟(jì)貿(mào)易大學(xué)出版社，2014年。、賈青(2015)(11)賈青：《范疇類型邏輯及其在漢語反身代詞回指照應(yīng)中的應(yīng)用》，北京：中國社會(huì)科學(xué)出版社，2015年。、林勝強(qiáng)(2015)(12)林勝強(qiáng)：《基于動(dòng)態(tài)謂詞邏輯的漢語指代現(xiàn)象的信息處理》，《四川師范大學(xué)學(xué)報(bào)》(社會(huì)科學(xué)版)2015年第6期。、張曉君(2018)(13)張曉君：《漢語指代消解及其推理模式研究》，北京：人民出版社，2018年。等等。

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

二、常見的指代消解理論及其消解機(jī)制

語篇理解和指代消解是一個(gè)相互作用的動(dòng)態(tài)過程(14)王曉斌、周昌樂：《基于語篇表述理論的漢語人稱代詞的消解研究》，《廈門大學(xué)學(xué)報(bào)》(自然科學(xué)版)2004年第1期。，而經(jīng)典的一階和高階邏輯無法進(jìn)行指代消解，導(dǎo)致了20世紀(jì)70年代在自然語言理解領(lǐng)域出現(xiàn)了著名的“動(dòng)態(tài)轉(zhuǎn)向”(dynamic turn)，從而產(chǎn)生了多種受到蒙太格語法的影響且能夠進(jìn)行指代消解的動(dòng)態(tài)語義學(xué)，比如：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提出的文本更新語義學(xué)(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提出的動(dòng)態(tài)蒙太格語法(17)J.Groenendijk，M.Stokholf，“Dynamic Montague Grammar”，pp.3-48.、1991年Groenendijk和Stokholf提出的動(dòng)態(tài)謂詞邏輯(18)J.Groenendijk，M.Stokholf，“Dynamic Predicate Logic”，pp.39-100.。之后，還產(chǎn)生了對(duì)這些理論進(jìn)行改進(jìn)的動(dòng)態(tài)語義理論，比如：帶有演算的話語表現(xiàn)理論(即-DRT)、“自下而上”的話語表現(xiàn)理論、組合性話語表現(xiàn)理論、增量動(dòng)態(tài)邏輯、帶有內(nèi)在動(dòng)態(tài)廣義量詞的動(dòng)態(tài)謂詞邏輯等等(19)張曉君：《漢語指代消解及其推理模式研究》，第27頁。。

在這些動(dòng)態(tài)語義學(xué)理論中，(1)幾乎都采用可能世界語義學(xué)，幾乎都滿足組合性這一自然語言進(jìn)行毗連生成的基本原則；(2)動(dòng)態(tài)變元約束機(jī)制代替了來自一階謂詞邏輯的靜態(tài)變元約束機(jī)制；(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.，即：“意義就是算法”等同于“意義就是計(jì)算潛在語境的算法的更新”，等同于“意義就是計(jì)算真值條件內(nèi)容的算法的更新”(21)張曉君、鄒崇理：《從信息與智能交互的角度看周禮全先生的四層次意義理論 兼論語言表達(dá)式的意義理論》，《哲學(xué)研究》2012年第9期。。

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

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

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

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

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

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

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

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

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

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

規(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)進(jìn)行毗連運(yùn)算時(shí)，形成的詞條“討厭自己”的范疇就是nps。

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

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

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

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

毗連賓語從句的及物動(dòng)詞(比如：認(rèn)為、看著)：(nps)s

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

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

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

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

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

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

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

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

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

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

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

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

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

據(jù)筆者所知，能夠進(jìn)行指代消解的范疇的方法就達(dá)6種之多(35)張曉君：《指代消解的主要方法及其機(jī)制》。，本文僅僅借鑒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.提出的方法：把反身代詞看作是一個(gè)論元削減詞(argument reducer)，即把二元關(guān)系作為論元。例如：實(shí)例(1)中的賓語從句“李麗討厭自己”中的“自己”的意義可以表示成Rx.Rxx，它輸入一個(gè)范疇為(nps)np的及物動(dòng)詞(即“討厭”)，并產(chǎn)生一個(gè)范疇為nps的不及物動(dòng)詞短語(即“討厭自己”)，因此，其句法范疇是((nps)np)(nps)，這個(gè)范疇可以看作是：把向后的類型提升規(guī)則應(yīng)用到基本范疇np上而得到的。

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

(圖1) “趙強(qiáng)認(rèn)為李麗討厭自己”的第一種解讀(“趙強(qiáng)認(rèn)為李麗討厭李麗”)的語義推導(dǎo)圖

(圖2) “趙強(qiáng)認(rèn)為李麗討厭自己”的第二種解讀(“趙強(qiáng)認(rèn)為李麗討厭趙強(qiáng)”)的語義推導(dǎo)圖

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

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

實(shí)例(2)的兩種語義解讀的推導(dǎo)圖請(qǐng)分別參見圖3和圖4的證明樹。

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

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

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

六、結(jié)語

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

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