滿海霞 梁雅夢(mèng)

(北京科技大學(xué) 大學(xué)英語(yǔ)系，北京 100083)

1.前言

20世紀(jì)40年代末50年代初，美蘇局勢(shì)緊張，美國(guó)政府大量培養(yǎng)俄語(yǔ)人才，軍方斥巨資支持機(jī)器翻譯研究，期冀對(duì)所截獲的海量俄文情報(bào)實(shí)現(xiàn)機(jī)器輔助翻譯。據(jù)以色列邏輯學(xué)家、范疇語(yǔ)法的創(chuàng)始人之一巴-希勒爾(Bar-Hillel，1964:1 －16)回憶，他在50年代于美訪學(xué)，主要時(shí)間都在麻省理工電子實(shí)驗(yàn)研究中心做有關(guān)機(jī)器翻譯的研究工作。喬姆斯基在《語(yǔ)言理論的邏輯結(jié)構(gòu)》(1975:2－3)中隱晦提到，他1955年任教MIT時(shí)，獲得了在此實(shí)驗(yàn)室做合作研究的機(jī)會(huì)，有幸做他一直想要做的那種交叉研究。我們可以推測(cè)那種交叉研究即為機(jī)器翻譯研究。因?yàn)樵谕瑫r(shí)期出版的《句法結(jié)構(gòu)》一書中，喬姆斯基提到并感謝了3位讀過(guò)該書手稿的學(xué)者，包括巴-希勒爾?？梢韵胍?jiàn)，對(duì)于一位前來(lái)訪學(xué)的邏輯學(xué)家，若非研究興趣相同，又怎會(huì)請(qǐng)他來(lái)看自己的手稿且予以致謝呢。與其他單純關(guān)注機(jī)器翻譯的學(xué)者不同，喬姆斯基最感興趣的問(wèn)題，始終是如何構(gòu)造、刻畫自然語(yǔ)言的合適語(yǔ)法。這一思考之于機(jī)器翻譯，可以轉(zhuǎn)化為一個(gè)更基礎(chǔ)的問(wèn)題:在機(jī)器能夠?qū)崿F(xiàn)的語(yǔ)法中，哪種語(yǔ)法在生成力上恰好適合刻畫自然語(yǔ)言，既不過(guò)度生成、也不過(guò)低生成。喬姆斯基在此階段提出的語(yǔ)法的層級(jí)分類(后被命名為喬姆斯基層級(jí))是對(duì)這個(gè)問(wèn)題極好的探索和回答。

2.喬姆斯基層級(jí)與自然語(yǔ)言

喬姆斯基將語(yǔ)法按照生成能力分為四種類型:0－型語(yǔ)法、1－型語(yǔ)法、2－型語(yǔ)法和3－型語(yǔ)法，相鄰類型的語(yǔ)法之間具有包含關(guān)系，構(gòu)成一個(gè)生成力逐漸減弱的層級(jí)結(jié)構(gòu)，如表1所示。不過(guò)，要理解喬姆斯基層級(jí)所列的各類語(yǔ)法、語(yǔ)言及相應(yīng)的改寫規(guī)則，首先需要明晰:(1)這里所討論的語(yǔ)言是什么語(yǔ)言?(2)語(yǔ)言和語(yǔ)法之間具有何種關(guān)系?

表1 喬姆斯基層級(jí)

2.1 語(yǔ)言與語(yǔ)法

“語(yǔ)言”通常在廣義和狹義兩種情況下被使用。狹義語(yǔ)言即自然語(yǔ)言，如漢語(yǔ)、英語(yǔ)等，哲學(xué)上稱之為日常語(yǔ)言，專指人類用來(lái)交流、接收和傳遞信息的表義符號(hào)串;廣義的語(yǔ)言概念既包括自然語(yǔ)言，也包括各種人工語(yǔ)言，如計(jì)算機(jī)科學(xué)使用的“編程語(yǔ)言”、邏輯學(xué)中的“一階語(yǔ)言”、“謂詞語(yǔ)言”等。喬姆斯基層級(jí)的獨(dú)到之處，在于它打破了自然語(yǔ)言與人工語(yǔ)言之間的界限，在廣義上將所有語(yǔ)言一致看成由許許多多符號(hào)序列組成的、有規(guī)律的大類。抽象來(lái)講，對(duì)于任意語(yǔ)言L，L都可以被看作一個(gè)由句子組成的集合。L中的字符串按照語(yǔ)法G排列組合生成L語(yǔ)句。語(yǔ)言L、語(yǔ)法G和L中的字符串集合(即詞庫(kù)，簡(jiǎn)記為L(zhǎng)ex)具有以下關(guān)系:

(1)L=G*Lex

在這里，G可以看作是以Lex為定義域、L為值域的函項(xiàng)。也就是說(shuō)，L中的字符串按照語(yǔ)法G的規(guī)定排列，就能得到合G語(yǔ)法的L語(yǔ)句。如果Lex是漢語(yǔ)詞庫(kù)，G是漢語(yǔ)語(yǔ)法，那么生成的L就是合語(yǔ)法的漢語(yǔ)句子。因此，構(gòu)造生成語(yǔ)言L的語(yǔ)法G，就是尋找能夠從L詞庫(kù)Lex生成L的函項(xiàng)G。反過(guò)來(lái)，G能否生成L，實(shí)際上說(shuō)的就是G的生成力是否匹配那種語(yǔ)言的實(shí)際生成要求。生成力的強(qiáng)弱，與語(yǔ)法受到的限制條件有關(guān)。限制條件越多，語(yǔ)法的生成力越弱，反之，限制條件越少，生成力就越強(qiáng)。表1中每一欄中的改寫規(guī)則相當(dāng)于對(duì)該型語(yǔ)法的限制條件，語(yǔ)法類型越高，限制條件越嚴(yán)格。0－型語(yǔ)法不要求參與運(yùn)算的符號(hào)之間具有任何依存關(guān)系，對(duì)于任意字符串φi和φj，都可以進(jìn)行從φi到φj的改寫。3－型語(yǔ)法最嚴(yán)格，要求字符串A在改寫后，終端字符串必須都在其左側(cè)(A→aB)或者都在其右側(cè)(A→Ba)。Kimball在《語(yǔ)法的形式理論》(1973:26)一書中指出，喬姆斯基層級(jí)所展示的語(yǔ)言分類說(shuō)明:3－型語(yǔ)言最簡(jiǎn)單，或者說(shuō)復(fù)雜度最低，2－型上下文無(wú)關(guān)的語(yǔ)言次之，1－型上下文有關(guān)的語(yǔ)言最復(fù)雜。構(gòu)建一個(gè)普遍語(yǔ)法理論所面臨的問(wèn)題，是確定到底自然語(yǔ)言有多“復(fù)雜”。

2.2 自然語(yǔ)言在喬姆斯基層級(jí)上

我們首先可排除3-型語(yǔ)言和0-型語(yǔ)言，因?yàn)?-型正則語(yǔ)法對(duì)于自然語(yǔ)言來(lái)說(shuō)生成力嚴(yán)重不足。因?yàn)閹缀踉谒凶匀徽Z(yǔ)言中，信念動(dòng)詞都允許嵌套使用，如例(2)中所示，但這種嵌套結(jié)構(gòu)所對(duì)應(yīng)的語(yǔ)言anbn卻不能用3－型正則語(yǔ)法來(lái)生成。這是計(jì)算理論研究最基本的可證事實(shí)之一。(Martin，2011)

(2)媽媽相信妹妹知道我以為……小貓把魚叼走了。

0－型不受限語(yǔ)法只是一個(gè)單純的描寫性的枚舉機(jī)制，它對(duì)語(yǔ)句生成沒(méi)有任何限制，所以利用此機(jī)制生成的不過(guò)是類似字典的語(yǔ)句列表，既有所有合語(yǔ)法的自然語(yǔ)言語(yǔ)句，也可能有不合法的語(yǔ)句，生成力過(guò)強(qiáng)。那么，自然語(yǔ)言應(yīng)該在0和3之間的哪個(gè)位置?喬姆斯基(1956)在提出語(yǔ)法層級(jí)構(gòu)想的同時(shí)，也拋出了這樣一個(gè)問(wèn)題:如果把自然語(yǔ)言完全看成詞串的集合，它們是否始終落在“上下文無(wú)關(guān)語(yǔ)法”的范疇下?

此后，一大批語(yǔ)言學(xué)家在自然語(yǔ)言中積極尋找上下文無(wú)關(guān)語(yǔ)法不能生成的語(yǔ)言現(xiàn)象，如荷蘭語(yǔ)和瑞士德語(yǔ)中的交叉依存現(xiàn)象①在荷蘭語(yǔ)中，涉及多個(gè)動(dòng)詞短語(yǔ)的結(jié)構(gòu)經(jīng)常會(huì)呈現(xiàn)交叉依存的現(xiàn)象，比如“我看見(jiàn)西西莉亞喂犀牛”在荷蘭語(yǔ)中的語(yǔ)序是“我－西西莉亞1－犀牛2－看見(jiàn)1－喂2”，兩個(gè)動(dòng)賓短語(yǔ)“看見(jiàn)西西莉亞”和“喂犀牛”中的動(dòng)詞和賓語(yǔ)呈交叉狀，故稱為交叉依存。瑞士－德語(yǔ)指在瑞士和北意大利部分地區(qū)使用的阿爾曼方言，這種語(yǔ)言也允許從句中進(jìn)行這種交叉的依存嵌套。(Shierber，1985;Steedman，1996)。這些現(xiàn)象的存在說(shuō)明自然語(yǔ)言有時(shí)候會(huì)超出上下文無(wú)關(guān)語(yǔ)法的生成能力，至于超出多少，Joshi(1985)以樹嫁接語(yǔ)法為例回答了這個(gè)問(wèn)題。Joshi指出，交叉依存等典型的非上下文無(wú)關(guān)現(xiàn)象不能通過(guò)上下文無(wú)關(guān)的改寫規(guī)則得到，而是某種遞歸機(jī)制和轄域依存的直接結(jié)果，他將此類恰好描述自然語(yǔ)言的語(yǔ)法統(tǒng)稱為柔和的上下文有關(guān)語(yǔ)法(Mildly Context－ Sensitive Grammars，簡(jiǎn)稱 MCSG)，由柔和的上下文有關(guān)語(yǔ)法生成的語(yǔ)言為柔和的上下文有關(guān)語(yǔ)言，如自然語(yǔ)言。柔和的上下文有關(guān)語(yǔ)法在喬姆斯基層級(jí)上的位置如圖2所示，它包含上下文無(wú)關(guān)語(yǔ)法同時(shí)包含于上下文有關(guān)語(yǔ)法。圖1還標(biāo)示了本文將集中討論的幾種常見(jiàn)語(yǔ)法在喬姆斯基層級(jí)上的位置。以下部分我們將從短語(yǔ)結(jié)構(gòu)語(yǔ)法出發(fā)，探討轉(zhuǎn)換生成語(yǔ)法和非轉(zhuǎn)換語(yǔ)法如何分別從不同維度，突破短語(yǔ)結(jié)構(gòu)語(yǔ)法的上下文無(wú)關(guān)特征，實(shí)現(xiàn)期冀的上下文有關(guān)性。

圖1 幾種常見(jiàn)的自然語(yǔ)言語(yǔ)法在喬姆斯基層級(jí)上的位置② CCG為組合范疇語(yǔ)法，全稱為Combinatory Categorial Grammar，詳見(jiàn) 3.3 節(jié)。

3. 短語(yǔ)結(jié)構(gòu)語(yǔ)法及其二維延伸

3.1 短語(yǔ)結(jié)構(gòu)語(yǔ)法

短語(yǔ)結(jié)構(gòu)語(yǔ)法是最早被用于生成自然語(yǔ)言語(yǔ)句的形式語(yǔ)法，它由一系列形式為X→Y(讀作:X改寫為Y)的改寫規(guī)則組成，可以生成許多自然語(yǔ)言語(yǔ)句。比如，利用例(3)所給出的語(yǔ)法片段，我們可以反復(fù)改寫，例如(4)所示，生成簡(jiǎn)單句(5)。

(3)(i)S→NP VP;(ii)NP→DN;(iii)VP→V NP;(iv)D→the;(v)N→man，ball等;(vi)V→hit，played，等。

(4)→S→NP+VP(i)

→D+N+VP(ii)

→D+N+V+NP (iii)

→The+N+V+NP(iv)

→The+man+V+NP (v)

→The+man+hit+NP (vi)

→The+man+hit+the+ball (ii，iv，v)

(5)The man hit the ball.

還可以向例(3)添加一系列規(guī)則來(lái)充實(shí)它所表達(dá)的語(yǔ)法，如不及物動(dòng)詞短語(yǔ)的轉(zhuǎn)換規(guī)則(VP→V)、雙賓語(yǔ)動(dòng)詞短語(yǔ)的轉(zhuǎn)換規(guī)則(VP→V+NP+NP或VP→V+NP+PP)等等。但是，一旦嘗試構(gòu)造更精細(xì)的規(guī)則，短語(yǔ)結(jié)構(gòu)語(yǔ)法就會(huì)暴露出一系列問(wèn)題:其一，短語(yǔ)結(jié)構(gòu)規(guī)則一旦對(duì)某部分語(yǔ)句改寫完畢，便無(wú)法回溯其生成歷史，故難以刻畫人稱一致、時(shí)態(tài)一致等一致性關(guān)系;其二，改寫規(guī)則的使用順序需予以規(guī)定，否則會(huì)生成不合法的語(yǔ)句，比如被動(dòng)句中主賓語(yǔ)調(diào)換規(guī)則要用在動(dòng)詞時(shí)體一致規(guī)則之前，否則就會(huì)造成被動(dòng)句中“施事”選擇不當(dāng);其三，并非所有的短語(yǔ)結(jié)構(gòu)規(guī)則都具有相同地位，有些是強(qiáng)制性的，生成語(yǔ)句時(shí)必須使用，有些則是選擇性的，要在其他規(guī)則使用完畢之后才能使用，甚至不必使用。如果兩類規(guī)則等同視之，會(huì)生成大量錯(cuò)誤結(jié)構(gòu)，等等。(Chomsky，1956，1957，1963)喬姆斯基認(rèn)為，這幾點(diǎn)問(wèn)題歸納起來(lái)，均由于短語(yǔ)結(jié)構(gòu)語(yǔ)法的所有規(guī)則處于同一平面，導(dǎo)致既難以區(qū)分規(guī)則的使用順序，也不能回溯生成歷史。有如在平面幾何中意欲用兩條直線表達(dá)一個(gè)三維空間，無(wú)論如何擺排，都很難呈現(xiàn)空間的全貌，甚至可能丟失很多特征。倘若增加維度將平面圖變?yōu)榱Ⅲw圖，問(wèn)題迎刃而解。轉(zhuǎn)換生成語(yǔ)法③Transformational－Generative Grammar，文獻(xiàn)中亦簡(jiǎn)稱為轉(zhuǎn)換語(yǔ)法(Transformational Grammar)。的思想大致如此。

3.2 轉(zhuǎn)換生成語(yǔ)法與非轉(zhuǎn)換語(yǔ)法

給定一個(gè)句子，轉(zhuǎn)換生成語(yǔ)法區(qū)分了“生成”和“轉(zhuǎn)換”兩個(gè)層面，首先由短語(yǔ)結(jié)構(gòu)語(yǔ)法“生成”它的基礎(chǔ)形式，然后對(duì)初始形式做一系列合語(yǔ)法的轉(zhuǎn)換。有的轉(zhuǎn)換是強(qiáng)制的，有的是可選擇的，前者作用在基礎(chǔ)形式上，是生成合語(yǔ)法語(yǔ)句必須做的一次或多次轉(zhuǎn)換，如主謂一致、時(shí)態(tài)變化等。經(jīng)過(guò)這類轉(zhuǎn)換得到的句子已經(jīng)合語(yǔ)法，組成該自然語(yǔ)言的中心部分，生成可以到此而止。如果對(duì)中心部分的句子繼續(xù)使用選擇型的轉(zhuǎn)換規(guī)則，便生成一些帶有衍生身份的句子，體現(xiàn)生成形式之間的衍生關(guān)聯(lián)，比如主被動(dòng)、疑問(wèn)句、陳述句形式等等。(Chomsky，1956，1957)由此，轉(zhuǎn)換生成語(yǔ)法解決了短語(yǔ)結(jié)構(gòu)語(yǔ)法存在的幾大問(wèn)題。

轉(zhuǎn)換生成語(yǔ)法經(jīng)過(guò)不斷修訂、更新，采用移位、合并、特征核查等手段，對(duì)自然語(yǔ)言的生成精度越來(lái)越高，尤其對(duì)自然語(yǔ)言中紛繁復(fù)雜的依存關(guān)系、不連續(xù)現(xiàn)象，轉(zhuǎn)換的方法行之有效(Carnie，2013)。但是，轉(zhuǎn)換語(yǔ)法雖然非常成功，計(jì)算語(yǔ)言學(xué)家更加關(guān)心的是:有沒(méi)有語(yǔ)法能夠達(dá)到同樣的生成效果，但形式上更簡(jiǎn)潔、更符合人們的直觀感受呢?回答這個(gè)問(wèn)題之前，我們不妨重新看一看語(yǔ)言、語(yǔ)法和詞庫(kù)的關(guān)系等式(1)L=G*Lex。先令語(yǔ)法G不變，根據(jù)常識(shí)，詞庫(kù)Lex越大，生成的L語(yǔ)句越多，由此可知“*”單調(diào)向上。為了生成某特定的自然語(yǔ)言L，令L不變，已知*單調(diào)向上，語(yǔ)法G與詞庫(kù)Lex因此呈反比關(guān)系:詞庫(kù)承載的信息越少，語(yǔ)法就愈加復(fù)雜，反之，詞庫(kù)承擔(dān)內(nèi)容多一些，語(yǔ)法便可以相應(yīng)簡(jiǎn)便，即所謂的“大句法，小詞庫(kù)”和“小句法，大詞庫(kù)”。對(duì)于轉(zhuǎn)換生成語(yǔ)法來(lái)說(shuō)，由于詞庫(kù)中的語(yǔ)詞只承載詞類等簡(jiǎn)單信息，概括語(yǔ)言規(guī)律、解釋和生成不規(guī)則現(xiàn)象等任務(wù)都落在語(yǔ)法G的身上，所以句法相對(duì)復(fù)雜。既然計(jì)算語(yǔ)言學(xué)家們希望生成自然語(yǔ)言的語(yǔ)法是更簡(jiǎn)單的、不使用轉(zhuǎn)換手段的語(yǔ)法，最直接的解決方案就是以更豐富的詞庫(kù)換取更簡(jiǎn)潔的句法。因此，20世紀(jì)70年代末80年代初，出現(xiàn)了一系列適于生成自然語(yǔ)言的單層詞匯主義語(yǔ)法，對(duì)于超出上下文無(wú)關(guān)語(yǔ)法生成范圍的語(yǔ)言現(xiàn)象，它們的生成力與轉(zhuǎn)換生成語(yǔ)法相等，但是部分甚至完全不使用轉(zhuǎn)換手段，被統(tǒng)稱為非轉(zhuǎn)換語(yǔ)法，包括組合范疇語(yǔ)法 CCG(Ade＆Steedman，1982;Steedman，1996，2000，2012)、線性索引語(yǔ)法LIG(Gazdar，1988)、詞匯功能語(yǔ)法 LFG(Kaplan ＆Bresnan，1982)、中心語(yǔ)語(yǔ)法 HG(Pollard，1984)，以及在HG基礎(chǔ)上發(fā)展出來(lái)的中心語(yǔ)驅(qū)動(dòng)短語(yǔ)結(jié)構(gòu)語(yǔ)法 HPSG(Pollard，1994;方立、吳平，2003)等，共同構(gòu)成了現(xiàn)代句法理論的非轉(zhuǎn)換部分。更重要的是，Joshi、Vijay－Shanker＆ Weir(1991)證明，這些非轉(zhuǎn)換語(yǔ)法弱等價(jià)于樹嫁接語(yǔ)法，都屬于柔和的上下文有關(guān)語(yǔ)法。

非轉(zhuǎn)換語(yǔ)法把自然語(yǔ)言更近似地看作另一種計(jì)算機(jī)語(yǔ)言、一種編碼系統(tǒng)，它們與轉(zhuǎn)換語(yǔ)法不同，所加工的對(duì)象不是組成語(yǔ)句的語(yǔ)詞，而是語(yǔ)詞背后被編碼的句法信息和句法特征。因此，每個(gè)語(yǔ)詞都有一張屬于自己的名片，名片上不但有對(duì)該語(yǔ)詞的句法行為的描述，還可能包括一致、人稱、格、時(shí)態(tài)、語(yǔ)義角色等特征?？傊?，名片上的信息越詳盡，留給語(yǔ)法的壓力就越小。雖然各語(yǔ)法的具體操作有所不同，但總體來(lái)講，主要原則都是將句法上的多維度需求盡可能體現(xiàn)在詞條上。本文將以信息處理性能相對(duì)較好，但在國(guó)內(nèi)知名度稍輕的組合范疇語(yǔ)法CCG為例，具體說(shuō)明它如何構(gòu)建、規(guī)定其詞庫(kù)和句法規(guī)則，實(shí)現(xiàn)詞庫(kù)與句法規(guī)則之間的平衡。

3.3 CCG的詞匯特征與非轉(zhuǎn)換手段

Ades和Steedman(1982)指出，轉(zhuǎn)換生成語(yǔ)法先建立表層結(jié)構(gòu)，再通過(guò)轉(zhuǎn)換進(jìn)入深層結(jié)構(gòu)等設(shè)想不能使其成為令人滿意的分析器，去機(jī)器生成或者分析合語(yǔ)法語(yǔ)句。他們認(rèn)為，自然語(yǔ)言語(yǔ)法可能更簡(jiǎn)單，僅通過(guò)向上下文無(wú)關(guān)的語(yǔ)法添加一些更強(qiáng)的語(yǔ)法規(guī)則即可得到。他們提出了單層的組合范疇語(yǔ)法CCG。CCG是對(duì)與短語(yǔ)結(jié)構(gòu)語(yǔ)法弱等價(jià)的范疇語(yǔ)法的擴(kuò)張，它在避免語(yǔ)法分層的同時(shí)保證了與轉(zhuǎn)換生成語(yǔ)法相同的生成能力，因其能夠“從左至右”處理文本，同步構(gòu)建字符串的語(yǔ)義解釋，更加具有信息處理上的優(yōu)勢(shì)。

CCG包括一個(gè)范疇詞庫(kù)和若干條范疇運(yùn)算規(guī)則。在CCG詞庫(kù)中，每個(gè)詞條A被賦予一個(gè)句法范疇X，X相當(dāng)于對(duì)A的句法行為的編碼。例如，(6)a中hit的句法范疇(SNP)/NP說(shuō)明hit要先后分別向右和向左結(jié)合一個(gè)名詞短語(yǔ)做其賓語(yǔ)和主語(yǔ)，最后生成一個(gè)語(yǔ)句，效果上等同于短語(yǔ)結(jié)構(gòu)語(yǔ)法從初始字符串S和NP到終端字符串A的一系列改寫規(guī)則。這樣，CCG將轉(zhuǎn)換生成語(yǔ)法的基本形式編碼在語(yǔ)詞的句法范疇之中。范疇之間最基本的運(yùn)算規(guī)則只有兩條，分別是向前和向后的函項(xiàng)應(yīng)用規(guī)則，如(6)b－c，類似乘法中的分母消去，其中X、Y代表句法范疇。

(6)a.hit|－ (SNP)/NP;b.John，Mary|－ NP

b.X/Y Y→X

c.Y XY→X

在此基礎(chǔ)上，CCG利用非轉(zhuǎn)換手段獲得類似轉(zhuǎn)換效果的方法大致有三。其一，精細(xì)化范疇所帶信息。比如為動(dòng)詞的主語(yǔ)論元增加下標(biāo)值agr，代表其一致性特征，那么，hit的范疇為(7)a，hits的范疇為(7)b。NP3S的下標(biāo)表示這個(gè)論元為第三人稱單數(shù)，如果hits碰到范疇為NP3S的John，則可生成合語(yǔ)法的句子，如果碰見(jiàn)范疇為NPPL的復(fù)數(shù)名詞“the men”，生成過(guò)程停止。這里最重要的一種操作是合一操作，兩個(gè)范疇如果一個(gè)帶有具體特征(如3S)，一個(gè)帶有一般特征(如agr)，那么它們合一后得到更一般的那個(gè)特征，從而實(shí)現(xiàn)性、數(shù)、格等方面的一致。其二，為詞條配備語(yǔ)義信息。CCG對(duì)語(yǔ)義的看法與轉(zhuǎn)換生成語(yǔ)法不同，在CCG看來(lái)，句法非但不是自治的，還與語(yǔ)義之間具有一個(gè)透明的接口，二者一一對(duì)應(yīng)。語(yǔ)義作用很重要，如，能夠體現(xiàn)句法上看似復(fù)雜的約束關(guān)系。根據(jù)約束原則，像句子“Kimi likes himself”中照應(yīng)詞“himself”要在局部小句內(nèi)受到“Kimi”的約束。在CCG中，主賓語(yǔ)間的這種約束關(guān)系可以直接體現(xiàn)在“hit”的語(yǔ)義中。(7)c為“hit”帶照應(yīng)詞為賓語(yǔ)的詞條(ANA表示照應(yīng)詞)。值得關(guān)注的是，其語(yǔ)義解釋中，“hit”的賓語(yǔ)論元“anay”清楚體現(xiàn)了它與主語(yǔ)論元y之間的照應(yīng)關(guān)系。對(duì)于在轉(zhuǎn)換生成語(yǔ)法中要借助照應(yīng)、空代詞等假設(shè)處理的控制動(dòng)詞、tough移位等現(xiàn)象，CCG只需修訂詞條的語(yǔ)義解釋即可實(shí)現(xiàn)。其三，適當(dāng)添加句法規(guī)則。例(8)是CCG向經(jīng)典范疇語(yǔ)法添加的函項(xiàng)的組合規(guī)則，可以直接對(duì)兩個(gè)函項(xiàng)范疇進(jìn)行貼合運(yùn)算。一般認(rèn)為，并列成分必須為相同類型，那么對(duì)于(9)中“might hit”與“l(fā)ikes”的非成分并列，僅用6(b－c)無(wú)法得到相同范疇，利用(8)，“might”(句法范疇為(SNP)/(SNP))和“hit”在句法上先運(yùn)算得到(SNP)/NP范疇的“might hit”，繼而能夠與“l(fā)ikes”并列。CCG比范疇語(yǔ)法增加了三條核心的函項(xiàng)運(yùn)算規(guī)則，使得CCG不必借助拷貝、刪除等手段，也能夠有效地計(jì)算非成分并列等無(wú)界依存現(xiàn)象(Ades＆Steedman，1982)。

(7)a.hit|－ (SNP+agr)/NP

b.hits|－ (SNP3S)/NP

c.hit| － (SNP+agr)/NP+ANA，+agr:λg.λy.g(hit((ana(y)(y))

(8)X/YY/Z(X/Z

(9)Kimi likes and might hit John.

4.結(jié)語(yǔ)

本文從喬姆斯基的語(yǔ)法層級(jí)觀入手，討論了語(yǔ)言與語(yǔ)法的關(guān)系，解答了自然語(yǔ)言語(yǔ)法應(yīng)該在層級(jí)上哪個(gè)位置的問(wèn)題，并由此展開，說(shuō)明形式句法學(xué)的轉(zhuǎn)換語(yǔ)法和一系列非轉(zhuǎn)換語(yǔ)法如何實(shí)現(xiàn)弱等價(jià)的生成力。喬姆斯基的語(yǔ)法層級(jí)觀蘊(yùn)含著一種潛在的邏輯，一種語(yǔ)言和生成它的語(yǔ)法不一定是一一對(duì)應(yīng)的，一種語(yǔ)言可能由多套語(yǔ)法生成，一套語(yǔ)法也可能適合生成多種語(yǔ)言。這樣去看待當(dāng)代形式句法探索自然語(yǔ)言語(yǔ)法的過(guò)程，我們得到了一幅前所未有的、更加客觀的全景圖像，它始于短語(yǔ)結(jié)構(gòu)語(yǔ)法，為喬姆斯基的“轉(zhuǎn)換語(yǔ)法”所逐漸取代，又因信息處理的需求而獲得了一系列非轉(zhuǎn)換的單層詞匯主義語(yǔ)法。衡量這些語(yǔ)法合適與否的一個(gè)重要平臺(tái)，就是喬姆斯基早年提出的語(yǔ)法層級(jí)。

為了尋找適合生成自然語(yǔ)言的語(yǔ)法，喬姆斯基揭掉了“生成自然語(yǔ)言的語(yǔ)法”(如短語(yǔ)結(jié)構(gòu)語(yǔ)法)、“生成機(jī)器語(yǔ)言的語(yǔ)法”(如上下文無(wú)關(guān)語(yǔ)法)或者“生成含量詞的語(yǔ)言的語(yǔ)法”(如謂詞邏輯)的標(biāo)簽，把所有語(yǔ)法宏觀地統(tǒng)一視之，發(fā)現(xiàn)了語(yǔ)法生成力的等級(jí)。遺憾的是，喬氏層級(jí)止步于此，沒(méi)能深入下去進(jìn)一步利用人工語(yǔ)言服務(wù)于自然語(yǔ)言的形式化研究。這條思路直到蒙太格語(yǔ)法產(chǎn)生之后才有所發(fā)展。此外，喬姆斯基層級(jí)被提出之后，并沒(méi)有在語(yǔ)言學(xué)界產(chǎn)生應(yīng)有的影響，就連喬姆斯基本人也鮮再提起，倒是成了計(jì)算機(jī)信息科學(xué)的一個(gè)重要概念。筆者認(rèn)為，喬姆斯基層級(jí)因其高度概括的計(jì)算性特征，對(duì)于語(yǔ)法研究具有很好的指導(dǎo)意義:第一，在喬姆斯基層級(jí)上，一套關(guān)于語(yǔ)言的合適語(yǔ)法能體現(xiàn)出它所在層級(jí)上那一批理論的特點(diǎn)，因此，一旦有了一套比較成熟的語(yǔ)法，我們就可以根據(jù)實(shí)際需求，構(gòu)造與它同層級(jí)、但在其他特定方面更加優(yōu)異的語(yǔ)法理論。這也是非轉(zhuǎn)換語(yǔ)法在轉(zhuǎn)換生成語(yǔ)法之后相繼產(chǎn)生的內(nèi)在依據(jù)。第二，層級(jí)上每一種語(yǔ)法均有其計(jì)算特性，計(jì)算語(yǔ)言學(xué)對(duì)某些計(jì)算特性的偏好可以引導(dǎo)語(yǔ)言學(xué)家對(duì)語(yǔ)法理論的構(gòu)造。由于喬姆斯基層級(jí)的計(jì)算特征牽涉到計(jì)算原理，由從事語(yǔ)言學(xué)研究的學(xué)者獨(dú)自攻堅(jiān)可謂難上加難，這就需要不斷創(chuàng)造條件，讓語(yǔ)言學(xué)家和計(jì)算科學(xué)家加強(qiáng)溝通與合作，才能取得令人滿意的成果。這一點(diǎn)，正是我國(guó)語(yǔ)言學(xué)研究所急需的。

［1］Ades，A.＆ Steedman，M.On the Order of Words［J］.Linguistics and Philosophy，1982(4).

［2］Bar－Hillel，Y.Language and Information［M］.Massachusetts:Addison-Wesley Publishing Company，1964.

［3］Carnie，A.Syntax:A Generative Introduction［M］.West Sussex:Wiley － Blackwell Publishing，2013.

［4］ Chomsky，N.Three Models for the Description of Language［J］.IRE Transactions on Information Theory，1956(2).

［5］Chomsky，N.Syntactic structures［M］.The Hague/Paris:Mouton ＆ Co，1957.

［6］Chomsky，N.On Certain Formal Properties of Grammars［J］.Information and Control，1959(2).

［7］Chomsky，N.Formal Properties of Grammars［G］//The Handbook of Mathematical Psychology.New York＆ London:John Wiley and Sons，Inc，1963:323 －418.

［8］ Chomsky，N.The logical Structure of Linguistic Theory［M］.New York＆ London:Plenum.1975.

［9］Culy，C.The Complexity of the Vocabulary of Bambara［J］.Linguistics and Philosophy，1985(8).

［10］Gazdar，G.Applicability of Indexed Grammars to Natural Languages［G］//Natural language Parsing and Linguistic Theories.Dordrecht:Reidel Publishing Company，1988:69－94.

［11］Kaplan，R.＆ Bresnan，J.Lexical-Functional Grammar:A Formal System for Grammatical Representation［G］//Bresnan J.The Mental Representation of Grammatical Relations.Cambridge，MA:The MIT Press.1982.

［12］Kimball，J.The Formal Theory of Grammar［M］.New Jersey:Prentice-Hall，Inc.1973.

［13］Joshi，A.Tree Adjoining Grammars:How Much Context-Sensitivity is Necessary for Characterizing Structural Descriptions?［G］//Natural Language Processing-Theoretical，Computational and Psychological Perspective.New York:Cambridge University Press，1985:206 －250.

［14］Joshi，A.K.，Shanker-Vijay，J.＆ D.Weir.The convergence of Mildly Context-Sensitive Grammar Formalisms［R］.1991.

［15］Martin，J.Introduction to Languages and the Theory of Computation.New York:Mc Graw Hill，2011.

［16］ Pollard，C.Generalzied Phrase Structure Grammars，Head Grammars and Natural Language［D］.Stanford U-niversity，1984.

［17］Pollard，C.＆ I.Sag Head-driven Phrase Structure Grammar［M］.Chicago＆ London:The University of Chicago Press，1994.

［18］Pullum，G.＆ Gazdar，G.Natural Languages and Context-Free Languages［J］.Linguistics and Philosophy:1982(4).

［19］Shieber，S.Evidence against the Context-freeness of Natural language［J］.Linguistics and Philosophy:1985(8).

［20］Steedman，M.Surface Structure and Interpretation［M］.Cambridge ＆ London:MIT Press，1996.

［21］Steedman，M.The Syntactic Process［M］.Cambridge＆London:MIT Press，2000.

［22］Steedman，M.Scope taking:the Natural Semantics of Quantifiers ［M］. Cambridge ＆ London: MIT Press，2012.

［23］方立，吳平.中心語(yǔ)驅(qū)動(dòng)短語(yǔ)結(jié)構(gòu)語(yǔ)法評(píng)介［J］.語(yǔ)言教學(xué)與研究，2003(5).

［24］滿海霞.組合范疇語(yǔ)法及其計(jì)算性特征［J］.畢節(jié)學(xué)院學(xué)報(bào)，2013(6).

［25］滿海霞.關(guān)于邏輯語(yǔ)義學(xué)的句法系統(tǒng)［J］.安徽大學(xué)學(xué)報(bào)，2014(4).