劉 輝
(黑龍江大學(xué),哈爾濱150080)
提 要:1710 年,萊布尼茨在《神正論》中提出建立一種普遍語(yǔ)言的設(shè)想,由此引發(fā)以弗雷格為代表的分析哲學(xué)家創(chuàng)造人工語(yǔ)言的熱潮。 萊布尼茨希望建立一種全人類可以通用的高度符號(hào)化的語(yǔ)言,以期依托數(shù)理邏輯來(lái)解決世界和認(rèn)識(shí)的問(wèn)題,被視為是現(xiàn)代人工智能的雛形。 本文從萊布尼茨與洛克的對(duì)話入手,探討萊布尼茨的普遍語(yǔ)言觀與數(shù)理邏輯思想,以期從中挖掘其思想中對(duì)人工智能發(fā)展的有益成分,從語(yǔ)言的角度探討萊布尼茨語(yǔ)言思想對(duì)當(dāng)今人工智能發(fā)展的影響。
17 世紀(jì),西方哲學(xué)爆發(fā)經(jīng)驗(yàn)論與唯理論的大爭(zhēng)論,先是培根(F. Bacon)提出認(rèn)識(shí)起源于經(jīng)驗(yàn)的原則;繼而笛卡爾(R. Descartes)創(chuàng)立唯理論,并提出天賦觀念的學(xué)說(shuō),迅速遭到霍布斯(T.Hobbes)等的反駁。 17 世紀(jì)末,經(jīng)驗(yàn)論的代表人物洛克(J. Locke)發(fā)表兩卷本的《人類理智論》(Essay Concerning Human Understanding)。 他在書中詳盡地批駁笛卡爾的天賦觀念說(shuō),并系統(tǒng)地論證經(jīng)驗(yàn)論的原則;緊接著,萊布尼茨(G. W.Leibniz)又站在維護(hù)天賦觀念說(shuō)的立場(chǎng),以柏拉圖(Plato)對(duì)話錄的形式,與《人類理智論》逐章逐節(jié)逐段進(jìn)行針鋒相對(duì)的辯駁和多方面的討論。 作為近代德國(guó)哲學(xué)的引路人,萊布尼茨對(duì)數(shù)學(xué)、邏輯學(xué)、倫理學(xué)和神學(xué)等領(lǐng)域都有深入的研究。 他對(duì)語(yǔ)言的思考及其對(duì)普遍語(yǔ)言的構(gòu)想更是啟發(fā)了弗雷格(G. Frege)等人對(duì)構(gòu)建形式語(yǔ)言的思考。 本文從萊布尼茨與洛克的論辯入手,探討萊布尼茨的普遍語(yǔ)言觀與數(shù)理邏輯思想,以期從中挖掘其思想中對(duì)人工智能發(fā)展的有益成分,從語(yǔ)言的角度探討萊布尼茨語(yǔ)言思想對(duì)當(dāng)今人工智能發(fā)展的影響。
1690 年,洛克的《人類理智論》出版,萊布尼茨很快發(fā)表相應(yīng)的批評(píng)短文。 但洛克表示出對(duì)這些言論的輕蔑態(tài)度,認(rèn)為根本不值一駁。 但是值得一提的是,盡管萊布尼茨對(duì)洛克的言論持明確的批判態(tài)度,但是他同時(shí)堅(jiān)稱自己和洛克的思想分歧不是不可調(diào)和的,甚至對(duì)《人類理智論》給出很高的評(píng)價(jià)。 萊布尼茨指出,“《人類理智論》是由一位非常杰出的英國(guó)人寫的,它是我們時(shí)代最好、最受尊敬的著作之一,所以我做了筆記,長(zhǎng)期以來(lái)一直關(guān)注此書涉及的相同問(wèn)題”(葉秀山 王樹人2004:159)。
如果靈魂的本來(lái)狀態(tài)為空,類似于一塊白板,那么這塊白板上書寫的一切是否來(lái)自于感覺(jué)經(jīng)驗(yàn)。 萊布尼茨認(rèn)為,“雖然感覺(jué)是我們實(shí)際獲取知識(shí)所必須的,但是它絕不意味著已經(jīng)足以提供我們?nèi)康闹R(shí)”(Leibniz 1898:362)。 感覺(jué)只能提供例子,進(jìn)而形成個(gè)別的真理,無(wú)論例子的數(shù)量多么多,都不能夠證明一個(gè)真理的普遍性。 比如,我們看到一只天鵝是白色的,又看到一只天鵝是白色的,最后我們看到成千上萬(wàn)的天鵝都是白色的,但是,我們?nèi)匀徊荒軘嘌运械奶禊Z都是白色的。 因?yàn)槲覀兛吹降奶禊Z,只能提供給我們個(gè)人的真理,不具有普遍性。 我們沒(méi)有看到黑色的天鵝,并不代表黑色的天鵝并不存在,只是在我們的經(jīng)驗(yàn)之外而已。 由此可見(jiàn),經(jīng)驗(yàn)的不可靠性,這使得經(jīng)驗(yàn)只能成為提供知識(shí)的主要方式,而不能成為全部知識(shí)的來(lái)源。 萊布尼茨甚至將這一點(diǎn)視為人類和動(dòng)物的根本區(qū)別:“單純的感覺(jué)屬于動(dòng)物性的東西,動(dòng)物局限于經(jīng)驗(yàn),只能記住例子;人有理性。最聰明的人不相信經(jīng)驗(yàn),而是盡可能多地嘗試,以找到例外”(葉秀山 王樹人2004:160)。 同時(shí),萊布尼茨認(rèn)為,洛克本人也承認(rèn),有些觀念不來(lái)自感覺(jué),而來(lái)自反省,也就是天生的觀念。
在《人類理智新論》第三卷的開篇,萊布尼茨就對(duì)洛克的語(yǔ)言觀表示贊同:人類作為社會(huì)性動(dòng)物天生就有與同類其他成員建立聯(lián)系的傾向,并有語(yǔ)言這種天賦能力來(lái)實(shí)現(xiàn)這種社會(huì)聯(lián)系(萊布尼茨1982:297)。 洛克認(rèn)為,語(yǔ)詞就是用于表征、闡明觀念的,進(jìn)而實(shí)現(xiàn)與其他成員建立聯(lián)系的功能。 萊布尼茨認(rèn)同洛克的這一觀點(diǎn),并進(jìn)一步認(rèn)為,語(yǔ)言同時(shí)也是人類思考、推理的工具,使人類的抽象思想得以記憶、保持。 他將人類的語(yǔ)言粗略地分為兩大類,一類是詞語(yǔ)的語(yǔ)言,例如印歐語(yǔ)系的語(yǔ)言,他認(rèn)為這類語(yǔ)言具有更多的理性和抽象的成分;另一類是聲調(diào)的語(yǔ)言,例如漢語(yǔ),這類語(yǔ)言偏于具體、形象,具有藝術(shù)色彩(同上:291)。他認(rèn)為后者的層次更豐富,可以通過(guò)聲調(diào)和重音的方式來(lái)變化語(yǔ)詞,因此可以使用更少的詞匯來(lái)表達(dá)更多的意義。 同時(shí),萊布尼茨雖然承認(rèn)語(yǔ)言符號(hào)的任意性,但他認(rèn)為語(yǔ)詞與觀念間的任意聯(lián)系也是以人類理性為基礎(chǔ)(李洪儒2018:3)。 也正是從人類理性出發(fā),萊布尼茨注意到人類語(yǔ)言在理性層面上的共性,進(jìn)而希望設(shè)計(jì)其著名的普遍語(yǔ)言來(lái)對(duì)人類思維形式化。 其中,語(yǔ)言層面的哲學(xué)思考對(duì)他后續(xù)的“萊布尼茨之夢(mèng)”的基礎(chǔ)性作用的確是不容置疑的(霍永壽2012:6)。
萊布尼茨被譽(yù)為“17 世紀(jì)的亞里士多德”,他開創(chuàng)了邏輯數(shù)學(xué)化的道路。 他將所有的推理歸于計(jì)算,認(rèn)為“我們要造成這樣的一個(gè)結(jié)果,使所有推理的錯(cuò)誤都只成為計(jì)算的錯(cuò)誤,這樣,當(dāng)爭(zhēng)論發(fā)生的時(shí)候,兩個(gè)哲學(xué)家同兩個(gè)數(shù)學(xué)家一樣,用不著辯論,只要把筆拿在手里,并且在算盤面前坐下,兩個(gè)人面面相覷地說(shuō):讓我們來(lái)計(jì)算一下吧!”(肖爾茲1977:54) 他意識(shí)到,要達(dá)到此目標(biāo),必須做兩件事情:一是構(gòu)造“通用語(yǔ)言”,另一個(gè)是構(gòu)造理性演算(陳波2014:5)。
1710 年,萊布尼茨在《神正論》中提出建立一種普遍語(yǔ)言的設(shè)想,“這種語(yǔ)言是一種用來(lái)代替自然語(yǔ)言的人工語(yǔ)言,它通過(guò)字母和符號(hào)進(jìn)行邏輯分析與綜合,把一般邏輯推理的規(guī)則改變?yōu)檠菟阋?guī)則,以便更精確更敏捷地進(jìn)行推理”(萊布尼茨1985:8)。 他將這種語(yǔ)言稱為“人類思想的字母表”(alphabet of human thought),認(rèn)為在這種語(yǔ)言中,一切理性真理都會(huì)被還原為一種演算。 當(dāng)時(shí),歐洲的各門學(xué)科發(fā)展迅速,尤其是數(shù)學(xué)和力學(xué)等學(xué)科的發(fā)展更是突飛猛進(jìn)。 萊布尼茨認(rèn)為,盡管各學(xué)科目前發(fā)展趨勢(shì)很好,但是各門學(xué)科的之間相互獨(dú)立,缺乏交流。 他將造成這一現(xiàn)象的原因歸為各學(xué)科獨(dú)立的語(yǔ)言形式。 萊布尼茨認(rèn)為,為使各門學(xué)科更好的發(fā)展,應(yīng)該通過(guò)統(tǒng)一科學(xué)語(yǔ)言的方式來(lái)統(tǒng)一科學(xué),為各門學(xué)科建立統(tǒng)一的表達(dá)方式,為認(rèn)識(shí)世界建立統(tǒng)一的表達(dá)方式。 基于此,萊布尼茨開始對(duì)構(gòu)建普遍語(yǔ)言和數(shù)理邏輯的思考。 在萊布尼茨之前,哲學(xué)史上也有一些哲學(xué)家提出過(guò)類似的思想,不過(guò)每個(gè)人的切入點(diǎn)都不同。 萊蒙德·盧里提出過(guò)概念組合術(shù)的思想,嘗試通過(guò)基本概念的組合來(lái)建立所有可能想象的命題體系。 笛卡爾曾經(jīng)希望通過(guò)將數(shù)學(xué)方法應(yīng)用于哲學(xué)的所有領(lǐng)域來(lái)建構(gòu)“普遍數(shù)學(xué)”。 霍布斯認(rèn)為邏輯學(xué)研究的名詞、名稱和三段論的推理,在本質(zhì)上也是一種運(yùn)算。 而萊布尼茨則是受到漢語(yǔ)的啟發(fā),認(rèn)為中國(guó)的表意文字與文字符號(hào)表現(xiàn)的內(nèi)容之間有內(nèi)在的關(guān)系,進(jìn)而提出自己有關(guān)普遍語(yǔ)言的設(shè)想(周禎祥 周晟2009:29)。
萊布尼茨認(rèn)為,普遍語(yǔ)言應(yīng)該具有以下3 個(gè)特點(diǎn):第一,符號(hào)與人頭腦中的概念,也就是符號(hào)的意義,應(yīng)一一對(duì)應(yīng);第二,如果人頭腦中的概念可分解,那么符號(hào)也可以分解;第三,如果人頭腦中的概念1 與概念2 有前件與后件的關(guān)系,那么概念1 的符號(hào)與概念2 的符號(hào)有統(tǒng)一的關(guān)系(肖爾茲1977:31)。 萊布尼茨認(rèn)為,建構(gòu)普遍語(yǔ)言的首要任務(wù)是建構(gòu)一套與思考之物有一一對(duì)應(yīng)關(guān)系的詞匯表,其次是提出模仿現(xiàn)實(shí)中人們的思維過(guò)程的推理規(guī)則。 他希望能夠采用類似算術(shù)一樣的符號(hào)來(lái)歸納所有的思想,用這種語(yǔ)言在所有學(xué)科中都完成類似于算術(shù)一樣的計(jì)算。 “倘若我們能找到一些字或符號(hào)適宜于表述我們的全部思想,像算術(shù)表明數(shù)字或幾何學(xué)的分析表明線那樣明確和正確的話,我們就能在一切科目中,在它們符合推理的范圍內(nèi),完成像在算數(shù)和幾何學(xué)中所完成的東西?!保ǜダ赘?006:23) 這就為弗雷格等后世哲學(xué)家對(duì)日常語(yǔ)言的批判以及對(duì)人工語(yǔ)言的建構(gòu)奠定主要基礎(chǔ)。 弗雷格直接從萊布尼茨那里得到啟發(fā),在現(xiàn)有符號(hào)的基礎(chǔ)上增加一種新的符號(hào),且這種新符號(hào)處于中心位置,與所有其他符號(hào)鄰接。 以此補(bǔ)充現(xiàn)有形式語(yǔ)言的不足,進(jìn)而創(chuàng)建他自己的概念文字。
萊布尼茨認(rèn)為,符號(hào)、世界和邏輯3 者是統(tǒng)一的,世界的面貌可以通過(guò)計(jì)算得出。 關(guān)于符號(hào)的科學(xué)應(yīng)該既能形成符號(hào)又能對(duì)符號(hào)進(jìn)行排列組合,使得這些符號(hào)能夠表達(dá)一些思想,或者說(shuō)使得它們之間具有和這些思想之間的關(guān)系等同的關(guān)系。 表達(dá)式是一些符號(hào)的組合,這些符號(hào)能表現(xiàn)事物。 如果被標(biāo)識(shí)的那個(gè)事物的觀念是由一些事物的一些觀念組成的,那么那個(gè)事物的表達(dá)式也是由這些事物的符號(hào)組成的。 萊布尼茨認(rèn)為,詞表達(dá)人對(duì)觀念的理解,語(yǔ)法則表示觀念之間的關(guān)系,這就是邏輯。
羅素(B. Russell)認(rèn)為,萊布尼茨的哲學(xué)主要就是邏輯學(xué)。 盡管萊布尼茨并未專門、系統(tǒng)地闡述他的邏輯學(xué),但其在《論普遍語(yǔ)言》和《理性演算的基礎(chǔ)》等論文中論述邏輯學(xué)的相關(guān)問(wèn)題。 在此基礎(chǔ)上,弗雷格、羅素與懷德海等創(chuàng)建命題演算與謂詞演算,數(shù)理邏輯由此正式發(fā)展成一門備受關(guān)注的新興學(xué)科。 萊布尼茨建立的數(shù)理邏輯既是對(duì)古典形式邏輯思想的繼承,也是現(xiàn)代邏輯發(fā)展的起點(diǎn),可以說(shuō),他的數(shù)理邏輯思想是從古典邏輯到現(xiàn)代邏輯的關(guān)鍵轉(zhuǎn)折點(diǎn)(徐華2017:46)。 自萊布尼茨提出建立實(shí)現(xiàn)思維演算的普遍語(yǔ)言的設(shè)想起,數(shù)理邏輯進(jìn)入高速發(fā)展時(shí)期。 第一階段是從布爾(G. Boole)的邏輯代數(shù)到德摩根(A. DeMor?gan)的關(guān)系邏輯,第二階段是弗雷格在《概念文字》(Concept Notation, 1879)中建立量詞理論和在《算 術(shù) 基 礎(chǔ)》 (The Foundations of Arithmetic,1884)中建立的命題邏輯和一階謂詞邏輯,第三階段是羅素在《數(shù)學(xué)的原則》(The Principles of Mathematics, 1903)中提出的類型論,以及在與懷特海合著的《數(shù)學(xué)原理》(Principia Mathematica,1910-1913)中論述的邏輯類型論。 直到1928 年希爾伯特和阿克曼證明一階謂詞演算的一致性、1930 年哥德爾證明一階謂詞演算的完全性時(shí),萊布尼茨的理想才算部分地實(shí)現(xiàn),數(shù)理邏輯才算真正創(chuàng)立(陳波2013:2)。 除此之外,萊布尼茨的數(shù)理邏輯思想也為當(dāng)今人工智能的發(fā)展提供理論基礎(chǔ)。
萊布尼茨認(rèn)為,“就一種更廣的意義來(lái)說(shuō),語(yǔ)言的歷史也就是一般的人類心靈發(fā)展的歷史”(萊布尼茨1982:301)。 “語(yǔ)言是人類心靈最好的鏡子,而對(duì)于語(yǔ)詞意義的一種精確分析,將會(huì)比任何其他事情都更好地使人認(rèn)識(shí)理智的活動(dòng)”(同上:383)。 萊布尼茨認(rèn)為世界是數(shù)理邏輯的,一切都可以被符號(hào)化(徐華2017:41)。 這種思想在當(dāng)今的人工智能領(lǐng)域影響廣泛,得到普遍認(rèn)同。在德國(guó)舉行的“紀(jì)念萊布尼茨逝世三百周年”大會(huì)上,有關(guān)萊布尼茨的數(shù)理邏輯思想與人工智能關(guān)系的討論成為一個(gè)熱點(diǎn)話題。
人工智能的根基源于對(duì)“普遍語(yǔ)言”的追求,無(wú)論其內(nèi)核,還是目標(biāo),都與語(yǔ)言密切相關(guān)。 語(yǔ)言的意義問(wèn)題是多年來(lái)語(yǔ)言哲學(xué)家和語(yǔ)言學(xué)家關(guān)注的核心問(wèn)題。 鑒于意義的復(fù)雜性,完全確定任何一種語(yǔ)言中詞匯的語(yǔ)義都是懸而未決的難題。 因而,人工智能語(yǔ)義難題的出現(xiàn)也就具有其必然性。在塞爾(J. Searle)看來(lái),機(jī)器是無(wú)法使用語(yǔ)言的,因?yàn)樗痪哂欣斫饽芰εc意向性(intentionality)能力,只有純形式的符號(hào)操作而沒(méi)有真正的言語(yǔ)行為(徐愚2016:97)。 作為理性主義的代表人物,萊布尼茨認(rèn)為事物的邏輯,即科學(xué)的結(jié)構(gòu)所依賴的各種物質(zhì)概念和關(guān)系的邏輯,是與數(shù)理邏輯分不開的。 符號(hào)不是思想的偶然外殼,而是它的必然媒介物,更是一種工具,能夠使思想內(nèi)容通過(guò)它發(fā)展并規(guī)定自身。 這一思想直接促進(jìn)現(xiàn)代計(jì)算機(jī)雛形的誕生,同時(shí)也為如何讓機(jī)器“聽懂人類的語(yǔ)言”指明方向,因此人工智能也被稱為“萊布尼茨之夢(mèng)”(黃炎孫2014:9)。
以萊布尼茨為首的哲學(xué)家們對(duì)普遍語(yǔ)言的追求是建立在厭棄自然語(yǔ)言的基礎(chǔ)上,這一點(diǎn)使得建立普遍語(yǔ)言的思想在很長(zhǎng)一段時(shí)間內(nèi)被誤認(rèn)為是為了取代自然語(yǔ)言。 盡管以前期維特根斯坦(L. Wittgenstein)為代表的分析哲學(xué)家認(rèn)為自然語(yǔ)言存在種種不足,遮蔽我們的思想,帶來(lái)很多哲學(xué)問(wèn)題,但是也沒(méi)有要取代自然語(yǔ)言(劉輝2009:35)。 事實(shí)上,萊布尼茨等哲學(xué)家希望建立普遍語(yǔ)言的目的是在于避免歧義,希望符號(hào)與意義的對(duì)應(yīng)關(guān)系是唯一而絕對(duì)的。 這樣我們?cè)谔接懣茖W(xué)問(wèn)題的時(shí)候就可以不受交際工具——語(yǔ)言的影響。 恰恰是這種努力為人工智能和人機(jī)對(duì)話的形成提供理論支撐。
自1956 年約翰·麥卡錫(John McCarthy)在“達(dá)特茅斯會(huì)議”上第一次提出人工智能的概念以來(lái),人工智能作為一個(gè)新興的研究領(lǐng)域開始長(zhǎng)達(dá)半個(gè)多世紀(jì)的蓬勃發(fā)展(徐愚2016:2)。 隨著研究的不斷深入,人工智能研究面臨的困境逐漸顯現(xiàn)出來(lái),進(jìn)入發(fā)展的瓶頸期。 簡(jiǎn)單來(lái)說(shuō),人工智能面臨的問(wèn)題主要來(lái)自兩方面:一方面是人工智能算法和計(jì)算機(jī)運(yùn)算能力的限制,一方面是哲學(xué)對(duì)心靈和智能等基礎(chǔ)概念的混沌狀態(tài)。 其中,哲學(xué)家們最關(guān)注的是人工智能的語(yǔ)義困境。 符號(hào)及其語(yǔ)義實(shí)現(xiàn)已經(jīng)成為限制人工智能理論及其研究的難題(同上:6),但我們可以從萊布尼茨的思想中得到一些啟示。
人工智能是否可能具有處理語(yǔ)義的能力? 我們認(rèn)為,萊布尼茨有關(guān)普遍語(yǔ)言的思想間接回答了這個(gè)問(wèn)題。 人工智能的發(fā)展終究無(wú)法擺脫人的因素,是人“教會(huì)”人工智能各種本領(lǐng)。 因此,可以換一個(gè)角度思考這個(gè)問(wèn)題。 人工智能能否具有語(yǔ)義的能力事實(shí)上取決于人類對(duì)語(yǔ)義的形式化程度。 如果我們能將自然語(yǔ)義形式化到萊布尼茨設(shè)想的符號(hào)與意義一一對(duì)應(yīng)的程度,人工智能當(dāng)然能具有處理語(yǔ)義的能力。 也就是說(shuō),問(wèn)題不是人工智能是否能具有處理語(yǔ)義的能力,而是語(yǔ)言學(xué)家能否清晰地將自然語(yǔ)言語(yǔ)義的每個(gè)義素形式化。 自然語(yǔ)言語(yǔ)義形式化的程度才是決定人工智能發(fā)展高度的瓶頸。
自然語(yǔ)言語(yǔ)義的復(fù)雜性使得其形式化之路異常艱辛。 主觀意義的不確定性及其與人的意向性之間的密切聯(lián)系使得自然語(yǔ)言的邏輯分析面臨諸多挑戰(zhàn)(孫穎2016:45)。 以萊布尼茨創(chuàng)立的數(shù)理邏輯為基礎(chǔ)的現(xiàn)代邏輯研究不僅在創(chuàng)立普遍語(yǔ)言方面表現(xiàn)突出,同時(shí)也為自然語(yǔ)言的邏輯分析提供路徑。 克里普克(S.Kripke)以模態(tài)邏輯為基礎(chǔ)創(chuàng)立的可能世界語(yǔ)義學(xué)為自然語(yǔ)言的語(yǔ)義分析以及人工智能的底層語(yǔ)言編碼提供設(shè)計(jì)框架。 基于神經(jīng)網(wǎng)絡(luò)的自然語(yǔ)言處理與計(jì)算機(jī)學(xué)習(xí)能力研究都須要依托高度形式化的普遍語(yǔ)言或是自然語(yǔ)言的語(yǔ)義分析。 萊布尼茨的主要訴求是將人使用的自然語(yǔ)言轉(zhuǎn)換為哲學(xué)分析使用的普遍語(yǔ)言,而這種普遍語(yǔ)言恰恰可以為當(dāng)今的計(jì)算機(jī)使用,為人工智能服務(wù),使得計(jì)算機(jī)能夠?qū)⒆匀徽Z(yǔ)言轉(zhuǎn)化為普通語(yǔ)言,再將普通語(yǔ)言轉(zhuǎn)化為自然語(yǔ)言,以實(shí)現(xiàn)“人機(jī)對(duì)話”。 因此,人工智能的發(fā)展須要以語(yǔ)言學(xué)的研究為基礎(chǔ)。 普遍語(yǔ)言是人和計(jì)算機(jī)的交際工具。
對(duì)于萊布尼茨在哲學(xué)史上的重要性,海涅曾經(jīng)這樣說(shuō)到,“正是萊布尼茨把德國(guó)人引上哲學(xué)思維的道路”(俞吾金等2009:10)。 這個(gè)評(píng)價(jià)充分肯定萊布尼茨作為德國(guó)哲學(xué)領(lǐng)航人的地位。 自他開始,德國(guó)哲學(xué)被喚醒,康德(I. Kant)等后世大哲們都不同程度上受到萊布尼茨思想的啟示。羅素甚至認(rèn)為德國(guó)哲學(xué)苦澀的文風(fēng)也遺傳自萊布尼茨,是他把德國(guó)哲學(xué)“弄得迂腐而干燥無(wú)味”(羅素1981:123)。 然而,“無(wú)趣”的萊布尼茨的人工智能夢(mèng)想?yún)s使得現(xiàn)代人的生活豐富多彩。 比爾·蓋茨曾經(jīng)說(shuō)過(guò),自然語(yǔ)言理解是人工智能皇冠上的明珠。 語(yǔ)言智能才是人工智能的最高階段。 希望通過(guò)深入挖掘萊布尼茨的思想可以更好地為自然語(yǔ)言處理提供幫助,以便為推動(dòng)人工智能的發(fā)展貢獻(xiàn)語(yǔ)言學(xué)的力量。