Grishman(1986;4)將計算語言學(xué)(computational linguistics)定義為一門研究如何利用計算機來理解和生成自然語言的科學(xué)。這指明了計算語言學(xué)的研究目標和研究手段。理解和生成自然語言，是計算語言學(xué)的研究目標；利用計算機，是計算語言學(xué)的研究手段。更確切地說，是利用計算機建立傳輸說話者所表述和聽話者所理解的信息的計算模型(Hausser,2014:xix)。Allen(1995:3)則認為計算語言學(xué)的目標應(yīng)該表述為：利用計算機科學(xué)的算法和數(shù)據(jù)結(jié)構(gòu)來建立語言的計算理論。
要實現(xiàn)語言的生成，首先得要實現(xiàn)計算機對自然語言的理解。有人認為，現(xiàn)階段提出理解目標不切實際，因為目前占主流地位的統(tǒng)計方法和深度學(xué)習(xí)的方法所達到的目標只是處理，還談不上理解。更進一步說。并非經(jīng)過理解才能處理。但是，統(tǒng)計方法只是解決問題的方法之一，它不能處理所有的語言問題；深度學(xué)習(xí)也不能真正理解語言，計算機所理解的人類語言不過是一種模仿或者復(fù)述。只有真正理解了人類語言，才能實現(xiàn)語言的生成。
要使計算機理解自然語言，必須使之具備以下自然語言知識(Allen,1995):
·語音和音系學(xué)知識：主要關(guān)注語音怎樣轉(zhuǎn)化為詞；
·形態(tài)學(xué)知識：主要關(guān)注詞素怎樣構(gòu)成詞；
·句法知識：主要關(guān)注詞怎樣構(gòu)成句子；
·語義知識：主要關(guān)注詞義怎樣構(gòu)成句義；
·語用知識：主要關(guān)注句子在不同語境中的使用；
·語篇知識：主要關(guān)注上下句之間的關(guān)系；
·世界知識：主要指說話者和聽話者所具備的對外部世界的認知。
通常來說，計算機要具備的自然語言知識似乎和傳統(tǒng)語言學(xué)和現(xiàn)代語言學(xué)的內(nèi)容大致相當。傳統(tǒng)語言學(xué)著重語言事實的描寫，經(jīng)驗性質(zhì)比較突出。現(xiàn)代語言學(xué)，例如喬姆斯基語言學(xué)(Chomskyan linguistics ).
理論性非常強，已經(jīng)脫離了經(jīng)驗科學(xué)的范疇，我們稱之為理論語言學(xué)。但計算語言學(xué)和這兩者是有本質(zhì)區(qū)別的。
理論語言學(xué)和計算語言學(xué)都是研究自然語言的，但服務(wù)對象有所不同：前者是面向人的，后者是面向計算機的。計算語言學(xué)是一門實驗科學(xué)，所以它提出的問題既要符合自然語言處理的實際需要，又要用現(xiàn)有的計算機技術(shù)解決。超出計算機的能力，就不具有可行性。此外，計算語言學(xué)中研究對象的定義必須明確，不能含期。例如漢語詞的定義，理論語言學(xué)上的定義是：詞是最小的、能獨立運用的語言單位，但這一定義并不清晰。語言學(xué)家也分析了詞的一些特征，例如結(jié)合緊密、使用穩(wěn)定等，但沒有定量標準，這樣的定義對計算機來說是無益的。計算語言學(xué)中詞的定義，簡言之，能在分詞詞表中找到的就是詞，否則就不是詞，或者是未登錄詞。這樣，計算機就在詞表中查找，能找到的就是詞，找不到的就劃歸到未登錄詞里做下一步處理。
理論語言學(xué)研究主要不是考慮計算機的應(yīng)用，因此無法提出自然語言處理的問題和理論。例如，漢語自動分詞(Chinese word segmentqtion)問題就是從中文信息處理角度提出來的，漢語理論語言學(xué)研究從來沒有、也不可能提出這樣的問題。此外，理論語言學(xué)不一定要形式化，也沒有為形式化提供任何手段。形式化是數(shù)學(xué)表示的問題，包括兩個方面：一是問題本身的形式化描述；二是解決問題的方法的形式化描述，后者通常用數(shù)學(xué)模型來體現(xiàn)。要讓計算機掌握和具備以上的語言知識，計算語言學(xué)研究者首先得將這些知識形式化，并將其用算法的形式在計算機上加以實現(xiàn)。
從宏觀上看，計算語言學(xué)的基本方法有兩種：基于規(guī)則的方法和基于經(jīng)驗的方法。前者的理論基礎(chǔ)是語言學(xué)上的理性主義(rationalism).以喬姆斯基理論為代表。喬姆斯基(Chomsky,1986;5)認為人的語言知識通過某種方式表現(xiàn)在我們的心智之中，最終表現(xiàn)在我們的大腦之中，這種知識的結(jié)構(gòu)我們希望能夠抽象地描寫出來，用具體的原則、根據(jù)物質(zhì)機制描寫出來。語言學(xué)研究的目標是人類的這種語言能力。
言語是語言能力的具體表現(xiàn)，不是語言學(xué)應(yīng)該關(guān)注的重點。理性主義方法的特點是演繹法。從原則和參數(shù)演繹出規(guī)則。從規(guī)則推導(dǎo)出具體的句子。喬姆斯基語言學(xué)雖然不屬于計算語言學(xué)，但對于計算語言學(xué)的形成和發(fā)展有重大影響�；�于規(guī)則的計算語言學(xué)研究方法中的理性主義體現(xiàn)在兩個方面：第一，目標定位于自然語言理解,希望在理解的基礎(chǔ)上來處理自然語言；第二，方法的核心是基于規(guī)則,希望根據(jù)通過內(nèi)省和滴繹得到的一整套規(guī)則來處理自然語言。
而基于經(jīng)驗的方法的理論基礎(chǔ)是經(jīng)驗主義(empiricism)，來源于香農(nóng)的信息論。信息論認為語言事件(語言表現(xiàn))是有概率的，可以通過統(tǒng)計得到這些概率，從而對自然語言處理(natural language processing.NLP)的各種具體問題進行決策。經(jīng)驗主義方法的特點是歸納法，集中體現(xiàn)為語料庫語言學(xué)。與理性主義相對立，經(jīng)驗主義認為，完成自然語言處理任務(wù)不一定要經(jīng)過理解的階段。通過內(nèi)省和演繹得到的規(guī)則往往是顆粒度較大的語言知識，只有通過運用統(tǒng)計方法。才能自動獲得大量的、帶概率的小顆粒度語言知識，從而處理大規(guī)模真實文本。
馮志偉(2005)將計算機對語言的研究和處理劃分為以下四個階段：
(1)把需要研究的問題在語言學(xué)上加以形式化，建立語言的形式化模型，使之能以一定的數(shù)學(xué)形式，嚴密面規(guī)整地表示出來；
(2)把這種嚴密而規(guī)整的數(shù)學(xué)形式表示為算法，使之在計算上形式化；
(3)根據(jù)算法編寫計算機程序，使之在計算機上加以實現(xiàn)，建立各種實用的自然語言處理系統(tǒng)；
(4)對于建立的自然語言處理系統(tǒng)進行評測，使之不斷地改進質(zhì)量和性能，以滿足用戶的要求。
自然語言處理的這四個階段可以簡單概括為：數(shù)學(xué)模型算法表示程序?qū)崿F(xiàn)質(zhì)量評測。計算語言學(xué)會涉及上述四個階段的哪個階段或者哪些階段，目前學(xué)界和業(yè)界對此認識并不明晰。計算語言學(xué)和自然語言處理的學(xué)科分界尚不明確。
一般情況下，學(xué)界對于計算語言學(xué)和自然語言處理這兩個術(shù)語是不加區(qū)分的。因為兩者的本質(zhì)是基本相同的，區(qū)別可能僅僅在于自然語言處理更注重實踐，而計算語言學(xué)較重視理論。在《牛津計算語言學(xué)手冊》(The Oxford Handbook of Computational Linguistics)第一版(2003)中尚能看到兩者的明顯區(qū)別；全書分為三部分第一部分基礎(chǔ)篇、第二部分方法與資源篇、第三部分應(yīng)用篇，自然語言處理的內(nèi)容大都被放在第三部分應(yīng)用篇;然而在其第二版(2014)中已然很難發(fā)現(xiàn)兩者的界限了：全書分為四部分第一部分語言學(xué)基礎(chǔ)篇、第二部分計算基礎(chǔ)篇、第三部分語言處理任務(wù)和第四部分自然語言處理應(yīng)用,其中第三部分和第四部分占據(jù)全書的大部分體量，但對計算語言學(xué)和自然語言處理并未做區(qū)分。然而，Roland Hausser在其全三版《計算語言學(xué)基礎(chǔ)》(Foundations of Computational Linguistics)教材中堅持語言的可計算性和形式語言學(xué)，從未涉及任何具體的語言處理任務(wù)，以示計算語言學(xué)堅壁清野，不與自然語言處理發(fā)生任何學(xué)科交叉。
我們相信，在學(xué)科交叉和學(xué)科融合的大背景下，堅持一個學(xué)科的純潔性既無必要也不現(xiàn)實。但一個學(xué)科有一個學(xué)科本身的發(fā)展規(guī)律和學(xué)科特點，丟掉特點去迎合熱點是一件極其危險的事情。盡管兩者的本質(zhì)是基本相同的，但總體而言自然語言處理更注重實踐，而計算語言學(xué)較重視理論。也可以說，計算語言學(xué)是建構(gòu)自然語言處理系統(tǒng)的理論基礎(chǔ)(劉海濤，2001),兩者還是應(yīng)該各自有所側(cè)重的。Manaris (1998:1)認為自然語言處理可以定義為研究在人與人交際中以及在人與計算機交際中的語言問題的一門學(xué)科，即研究表示語言能力和語言應(yīng)用的模型，建立計算框架來實現(xiàn)這樣的語言模型，提出相應(yīng)的方法不斷地加以完善，根據(jù)模型設(shè)計各種實用系統(tǒng)，并探討這些實用系統(tǒng)的評測技術(shù)。
也有學(xué)者認為，自然語言處理就是計算語言學(xué)的應(yīng)用領(lǐng)域。隨著計算機速度的加快和存儲量的增加，計算語言學(xué)在語音合成、語音識別、文字識別、拼寫檢查、語法檢查應(yīng)用領(lǐng)域進行了商品化開發(fā)。除了早期開始的機器翻譯和信息檢索等應(yīng)用研究進一步得到發(fā)展之外，計算語言學(xué)在信息抽取、間答系統(tǒng)、自動文摘、術(shù)語的自動抽取和標引、文本數(shù)據(jù)挖掘、自然語言接口，計算機輔助語言教學(xué)(computer-assisted language learning)等新興的應(yīng)用研究中，都有了長足的進展。此外，計算語言學(xué)的技術(shù)在多媒體系統(tǒng)(multimedia system)和多模態(tài)系統(tǒng)(multimodal system)中也得到了應(yīng)用。
漢字識別的核心技術(shù)是字形特征的抽取和模式識別，識別緒果是否能組織為有意義的文本，取決于自然語言理解。語音識別和語音合成則需要用到文語轉(zhuǎn)換技術(shù)，即從文本到標音符號的相互轉(zhuǎn)換，其中多音字的處理是關(guān)鍵。自動校對可大大減輕人工校對工作量，使這一環(huán)節(jié)跟出版業(yè)的其他環(huán)節(jié)的自動化相適應(yīng)。計算機輔助語言教學(xué)屬于現(xiàn)代教育技術(shù)，如果沒有自然語言處理技術(shù)的支持，電子教案可以說是紙質(zhì)教案的翻版。好的教學(xué)軟件應(yīng)該包括更多的人機交互活動，例如習(xí)題的自動生成、作業(yè)的自動批改。機器翻譯的意義毋庸贅言，這是一種綜合性最強的應(yīng)用。僅就文本形式的翻譯而言，就需要用到知識表示方法、機譯詞典構(gòu)造、源語言的分析、目標語言的生成等技術(shù)。如果是口語現(xiàn)場翻譯，還需要有語音識別、語音合成以及人機接口技術(shù)的配合。智能檢索，包括信息檢索、信息抽取、文本挖掘、話題跟蹤、文本分類、文本過濾，間答系統(tǒng)等，是當前最熱門的應(yīng)用。文本分類是智能檢索的一個重要方面，對于網(wǎng)站新聞頻道的自動更新具有特殊意義。例如。中國搜索在線報告，他們的新聞頻道就是使用文本分類技術(shù)而自動更新的，其他網(wǎng)站的最新消息可在兩分鐘內(nèi)在他們的頻道得到反映。自動文摘可幫助人們快速、準確、全面地獲取信息，特別是因特網(wǎng)上的信息。簡單的原文濃縮，就能起到一定的作用。哪些句子最能代表原文內(nèi)容，需要根據(jù)其出現(xiàn)位置、所含詞語進行計算。如果要用不同于原文的句子來表示，還需要用到語句分析和語句生成技術(shù)。
但計算語言學(xué)的研究內(nèi)容和其主要應(yīng)用不是一一對應(yīng)的，后者應(yīng)符合市場需要。有些基礎(chǔ)研究本來就不是瞄準直接應(yīng)用的，例如句法分析技術(shù)可在多種應(yīng)用系統(tǒng)中起作用，但不可能獨立成為一種社會大眾需要的應(yīng)用。也很難講在上述應(yīng)用場景中，計算語言學(xué)到底在自然語言處理任務(wù)的哪個(哪些)環(huán)節(jié)作出了貢獻。
一般認為計算語言學(xué)是語言學(xué)的分支，自然語言處理是計算機科學(xué)的子學(xué)科。但是現(xiàn)在由于計算語言學(xué)和自然語言處理之間的界限越來越模糊，甚至兩個領(lǐng)域的學(xué)者常常去參加同樣的會議，交流各自的研究工作也完全沒有障礙，于是就有了一個說法；計算語言學(xué)和自然語言處理都是跨語言學(xué)和計算機科學(xué)的交叉學(xué)科。然而，Ryan Cotterell博士和Emily M.Bender教授幾年前在推特上發(fā)起的一場有關(guān)自然語言處理是不是交叉學(xué)科的爭論「卻將此引入縱深，同時也引發(fā)了對計算語言學(xué)學(xué)科屬性的深層次討論。
Ryan Cottercll認為自然語言處理的研究成果并沒有吸收語言學(xué)方面最新的進展，因此不被公認為是跨學(xué)科的。他更加坦率地認為語言學(xué)和自然語言處理已經(jīng)分離開了，甚至表示自然語言處理在過去10到20年的發(fā)展與近期語言學(xué)的研究無關(guān)，理由是他認為交叉學(xué)科必須建立在兩個學(xué)科共同的工作基礎(chǔ)上，而目前自然語言處理的工作大部分不符合這個定義。Emily Bender則認為如果問題要求多個領(lǐng)域的專業(yè)知識有效地接近，一個研究領(lǐng)域原則上就是跨學(xué)科的。據(jù)此定義，自然語言處理原則上就是跨學(xué)科的。但她同時又同意Ryan的觀點，說自然語言處理在實踐中大多不是學(xué)科交叉的，同樣也不認為語言學(xué)的所有子領(lǐng)域都和自然語言處理相關(guān)。因此她的觀點是；學(xué)習(xí)語言如何工作以及(或者)與有相關(guān)經(jīng)驗的人合作，會讓自然語言處理發(fā)展得更好。無獨有偶，現(xiàn)代語音識別和自然語言處理研究的先驅(qū)Frederick Jelinek曾經(jīng)說過：每當我開除一個語言學(xué)家，語音識別系統(tǒng)就更準確了。后來他又改口說我的一些最好的朋友是語言學(xué)家(曾江，2020)。由此看來，為了從事計算語言學(xué)和自然語言處理的研究，語言學(xué)家很有必要更新知識，很有必要學(xué)習(xí)數(shù)學(xué)和計算機科學(xué)的知識。
如果把計算語言學(xué)或自然語言處理領(lǐng)域分為兩大派別，即計算機主義者和語言學(xué)主義者，隨著人工智能、機器學(xué)習(xí)在自然語言處理領(lǐng)城影響力不斷增大，計算機主義者逐漸演化成人工智能/機器學(xué)習(xí)主義者，而Bender教授則是堅定的語言學(xué)主義者。她認為自然語言處理領(lǐng)域越來越看重神經(jīng)模型、人工智能算法而忽視傳統(tǒng)、忽視語言本體，而且對模型和算法的過分贊譽和夸大宣傳主要是由于對語言形式和語言意義的誤解造成的，一個直接的理由就是語言模型無法學(xué)習(xí)語義，因為語言模型僅僅使用語言形式作為訓(xùn)練數(shù)據(jù)，并沒有碰觸到語言意義本身(Bender & Koller, 2020:5185)。
相對于自然語言處理工程問題，計算語言學(xué)主要致力于用計算的方法來回答語言學(xué)的科學(xué)問題。語言學(xué)的核心問題包括語言表征和語言知識的性質(zhì)，如何在語言的產(chǎn)生、理解中獲得和運用語言學(xué)知識。對這類問題的回答，有助于描述人類的語言能力，也有助于解釋實際記錄的語言數(shù)據(jù)和行為的分布。在計算語言學(xué)中，我們用更形式化的答案來回答這些問題。語言學(xué)家關(guān)心人類計算了什么以及是如何計算的，所以我們將語言表征和語法通過數(shù)學(xué)的形式來定義，研究它們的數(shù)學(xué)屬性，并設(shè)計有效的算法來學(xué)習(xí)、生成和理解。只要這些算法可以實際運行，就可以測試我們的模型，看它們是否能作出合理的預(yù)測。
語言學(xué)也考慮一些非核心的語言問題，例如社會語言學(xué)、歷史語言學(xué)、生理語言學(xué)或者神經(jīng)語言學(xué)等。這些學(xué)科問題本質(zhì)上和計算語言學(xué)是平等的，都是在用一套模型和算法讓語言數(shù)據(jù)看起來合理。從這個角度來說，計算語言學(xué)并不試圖去對日常用語進行建模，而是將語言學(xué)家所作的抽論自動化。這潛在地就使我們能夠處理更大的數(shù)據(jù)集(甚至新的數(shù)據(jù))并得出更準確的結(jié)論。同樣的，計算語言學(xué)家可能會設(shè)計軟件工具來幫助記錄瀕危語言。那么,很明顯計算語言學(xué)具有跨學(xué)科的性質(zhì)。
以機器翻譯為例，計算語言學(xué)致力于機器翻譯的主要目標是解釋和探究翻譯的本質(zhì)以及翻譯活動的過程，但自然語言處理工程師則不會考慮機器翻譯有沒有解釋翻譯的本質(zhì)是什么或者翻譯人員是如何工作的，他們在意的是機器翻譯系統(tǒng)能否產(chǎn)生一個合理、精確、流暢的翻譯結(jié)果。機器翻譯也有自己的衡量方法用以評價和提高這些機器翻譯質(zhì)量，而不是理解翻譯的本質(zhì)。因此套用人工翻譯的評價標準和體系(如信、達、雅)去衡量機器翻譯的譯文質(zhì)量的做法本身就不可取，也不可信。
從學(xué)科屬性上來說，計算語言學(xué)到目前為止，理論體系尚未建立，還不能算是一門理論科學(xué)。一方面，其主流方法(統(tǒng)計方法和神經(jīng)網(wǎng)絡(luò)方法)是經(jīng)驗主義的，這充分表明計算語言學(xué)還是一門經(jīng)驗科學(xué)。另一方面，計算語言學(xué)又的確是一門實驗科學(xué)。其理論和方法的正確性都需要通過在計算機上做實驗來得到證明。而理論語言學(xué)則不是一門實驗科學(xué)，有些問題本質(zhì)上無法通過實驗來研究，例如語言的發(fā)展規(guī)律。
近年來，隨著人工智能的崛起。自然語言處理也走向了智能化。出現(xiàn)了計算語言學(xué)的另外三種主義符號主義(symbolicism)、連接主義(connectionism)和行為主義(actionism)。符號主義又稱為邏輯主義、心理學(xué)派或計算機學(xué)派，原理主要為物理符號系統(tǒng)(即符號操作系統(tǒng))假設(shè)和有限合理性原理。連接主義又稱為仿生學(xué)派或生理學(xué)派，主要原理為神經(jīng)網(wǎng)絡(luò)及神經(jīng)網(wǎng)絡(luò)間的連接機制與學(xué)習(xí)算法。行為主義又稱為進化主義或控制論學(xué)派，原理為控制論及感知-動作型控制系統(tǒng)。
符號主義認為人工智能源于數(shù)理邏輯。數(shù)理邏輯從19世紀末起得以迅速發(fā)展，到20世紀30年代開始用于描述智能行為。計算機出現(xiàn)后，又在計算機上實現(xiàn)了邏輯演繹系統(tǒng)。其有代表性的成果為啟發(fā)式程序LT邏輯理論家，它證明了38條數(shù)學(xué)定理，表明了可以應(yīng)用計算機研究人的思維過程，模擬人類智能活動。正是這些符號主義者，早在1956年首先采用人工智能這個術(shù)語，后來又發(fā)展了啟發(fā)式算法、專家系統(tǒng)、知識工程理論與技術(shù)等，并在20世紀80年代取得很大發(fā)展。符號主義曾長期一枝獨秀，為人工智能的發(fā)展作出重要貢獻，尤其是專家系統(tǒng)的成功開發(fā)與應(yīng)用，對人工智能走向工程應(yīng)用和實現(xiàn)理論聯(lián)系實際具有特別重要的意義。在人工智能的其他學(xué)派出現(xiàn)之后，符號主義仍然是人工智能的主流派別。這個學(xué)派的代表人物有Newell、Simon、Nilsson等。
連接主義認為人工智能源于仿生學(xué)，特別是對人胸模型的研究。它的代表性成果是1943年由生理學(xué)家McCulloch和數(shù)理邏輯學(xué)家Pits創(chuàng)立的腦模型，即MP模型，開創(chuàng)了用電子裝置模仿人腦結(jié)構(gòu)和功能的新途徑。它從神經(jīng)元開始研究神經(jīng)網(wǎng)絡(luò)模型和腦模型，開辟了人工智能的又一發(fā)展道路。20世紀60~70年代，連接主義，尤其是對以感知機為代表的腦模型的研究出現(xiàn)過熱潮，由于受到當時的理論模型、生物原型和技術(shù)條件的限制，腦模型研究在20世紀70年代后期至80年代初期落入低潮。直到Hopfield教授在1982年和1984年發(fā)表兩篇重要論文，提出用硬件模擬神經(jīng)網(wǎng)絡(luò)以后，連接主義才又重新抬頭。1986年，Rumelhart et al.(1986)提出多層網(wǎng)絡(luò)中的反向傳播(backpropogation, BP)算法。此后，連接主義勢頭大振，從模型到算法。
從理論分析到工程實現(xiàn)，為神經(jīng)網(wǎng)絡(luò)計算機走向市場打下基礎(chǔ)�，F(xiàn)在，對人工神經(jīng)網(wǎng)絡(luò)(Artificial Neural Network,ANN)的研究熱情仍然較高，但研究成果未達預(yù)期。
行為主義認為人工智能源于控制論�？刂普撍枷朐缭�20世紀40～50年代就成為時代思潮的重要部分，影響了早期的人工智能工作者。Wiener et al.(1948)提出的控制論和自組織系統(tǒng)以及錢學(xué)森等人提出的工程控制論和生物控制論，影響了許多領(lǐng)域�？刂普摪焉窠�(jīng)系統(tǒng)的工作原理與信息理論、控制理論、邏輯以及計算機聯(lián)系起來。早期的研究工作重點是模擬人在控制過程中的智能行為和作用，如對自尋優(yōu)、自適應(yīng)、自鎮(zhèn)定、自組織和自學(xué)習(xí)等控制論系統(tǒng)的研究，并進行控制論動物的研制。到20世紀60年代，上述控制論系統(tǒng)的研究取得一定進展，播下了智能控制和智能機器人的種子，并在20世紀80年代誕生了智能控制和智能機器人系統(tǒng)。行為主義是20世紀末才以人工智能新學(xué)派的面孔出現(xiàn)的，引起許多人的興趣。這一學(xué)派的代表作者首推Brooks的六足行走機器人，它被看作新一代的控制論動物,是基于感知-動作模式模擬昆蟲行為的控制系統(tǒng)。
近來學(xué)界對自然語言處理領(lǐng)域發(fā)展的反思和態(tài)度轉(zhuǎn)變可以總結(jié)為兩種理論構(gòu)建視角，即自底向上(bottom-up)和自頂向下(top-down)的理論構(gòu)建。在自底向上的視角下，學(xué)術(shù)界研究是通過發(fā)現(xiàn)和解決具體的研究挑戰(zhàn)驅(qū)動的，如果科學(xué)研究能完全解決一個具體挑戰(zhàn)，或者部分解決，那就可以被視作一項學(xué)術(shù)成果，只要這些讓人滿意的成果是頻繁出現(xiàn)且不斷攀升的，就會帶來一種持續(xù)進步的總體氛圍。與之相對的自頂向下視角則聚焦遠期終極目標，為整個領(lǐng)域提供一套完整統(tǒng)一的理論體系。自頂向下的視角會帶來焦慮感，因為我們還不能完全解釋所有現(xiàn)象，還會出現(xiàn)更加棘手的問題，那就是自底向上的進步到底有沒有把我們領(lǐng)向正確的方向。同樣的任務(wù)從自底向上的視角看是自然語言處理問題，而從自頂向下的視角看就成了計算語言學(xué)的問題。毫無疑問，自然語言處理正以飛速攀登的速度進步，每年各領(lǐng)域自然語言處理任務(wù)的解決辦法都通過更好預(yù)訓(xùn)練的語言模型得到顯著改進，都能達到目前最好的水平(state-of-the-art,SOTA)。但是，如果從自頂向下的角度看，我們?nèi)绱孙w速攀登的山峰，究竟是不是正確的山呢?不知道當今飛速進步會把我們帶向什么樣的最終目標，是普遍語言智能(general linguistic intelligence ),還是一個可以通過圖靈測試(Turing test)的系統(tǒng)?
但計算語言學(xué)與自然語言處理的學(xué)科屬性的爭論和各自研究重點的區(qū)別仍然懸而未決，或許無法解決。不管爭論的結(jié)果是什么,都是有益的，因為討論會促使人們反復(fù)思考自己的觀點。因此，大部分學(xué)者對計算語言學(xué)和自然語言處理這兩個術(shù)語的使用只是遵循各自的使用習(xí)慣而未作細致區(qū)分，甚至有時兩者是混用的。如果非要給兩者加以界定，那可能計算語言學(xué)更理論,而自然語言處理更偏向應(yīng)用。
縱觀計算語言學(xué)發(fā)展史，計算語言學(xué)家經(jīng)歷了多次主流變革。基于語法規(guī)則和專家知識的方法讓位于統(tǒng)計方法，如今大部分研究又吸收了神經(jīng)網(wǎng)絡(luò)和深度學(xué)習(xí)方法。每一代研究者都覺得他們解決了相關(guān)問題并且不斷進步，但是當每種范式出現(xiàn)不可解決的致命缺陷，該范式隨即就會被拋棄。那么,應(yīng)該如何盡量讓計算語言學(xué)的科研攀登是在一座正確的山上呢?Bender &Koller在論文中提出了五種爬山攻略(hillclimbing diagnostics ):
第一，對語言問題保持謙卑與敬畏，多問一些自頂向下的問題。神經(jīng)網(wǎng)絡(luò)并不是自然語言處理領(lǐng)域第一個取得成功的方法，應(yīng)該也不會是最后一個。
第二，了解自然語言處理下游任務(wù)的局限性。比如CAMRP這樣的人工賽道任務(wù)(見第6章)可以幫助某一個領(lǐng)域的研究盡早取得突破，但是不要妄想測試數(shù)據(jù)的語言分布能完全模擬現(xiàn)實語言世界的整體分布。
第三，重視和支持新賽道，但要慎重選擇和創(chuàng)建新任務(wù)。比如，在第十三屆語言資源與評測國際會議(LREC 2020)上舉行的第一屆古代漢語分詞和詞性標注國際評測(EvaHan)就大力推動了古漢語信息處理和古籍數(shù)字人文研究(見第2章)。