于 劍

(北京交通大學(xué)人工智能研究院 北京 100044)(交通數(shù)據(jù)分析與挖掘北京市重點(diǎn)實(shí)驗(yàn)室(北京交通大學(xué)) 北京 100044)

如果追蹤現(xiàn)代人工智能(artificial intelligence, AI)的緣起，可以發(fā)現(xiàn)起導(dǎo)火索作用的就是圖靈測(cè)試[1].發(fā)展至達(dá)特茅斯會(huì)議，現(xiàn)代人工智能已經(jīng)可以算瓜熟蒂落了.因此，人工智能避不開(kāi)圖靈測(cè)試.關(guān)于圖靈測(cè)試，已經(jīng)有非常多的研究，本文分4部分?jǐn)⑹?

1 圖靈測(cè)試

最原始的圖靈測(cè)試，也就是圖靈提出的圖靈測(cè)試[1].實(shí)際上起初機(jī)器模擬的是女人，不是范圍更大的人.當(dāng)然，女人也是人，廣義上說(shuō)模擬人也沒(méi)有錯(cuò).現(xiàn)在，圖靈測(cè)試一般是指模擬人.在1991年有人就專(zhuān)門(mén)設(shè)計(jì)這種比賽，比賽還有一個(gè)專(zhuān)門(mén)的獎(jiǎng)(Loebner prize)，每年獎(jiǎng)勵(lì)做的好的參賽隊(duì)伍.現(xiàn)在為止，能夠通過(guò)圖靈測(cè)試的還沒(méi)有.

那么通過(guò)了圖靈測(cè)試，是否就意味著機(jī)器具有人的智能了呢？對(duì)此，塞爾設(shè)計(jì)了一個(gè)特別的思想實(shí)驗(yàn)來(lái)回答這一問(wèn)題[2]，這個(gè)實(shí)驗(yàn)的名稱(chēng)叫中文實(shí)驗(yàn)室.該實(shí)驗(yàn)明確說(shuō)明，即使通過(guò)了圖靈測(cè)試，機(jī)器具有的也只是人工智能，并不是人的智能.為什么說(shuō)不是人的智能呢？原因很簡(jiǎn)單：因?yàn)橹皇俏淖滞ㄟ^(guò)了測(cè)試，并不意味著現(xiàn)實(shí)中就能通過(guò).

現(xiàn)實(shí)中，完全有可能文字通過(guò)了，可是其他方面不對(duì).作為人，不光是通過(guò)文字理解世界，還要通過(guò)視覺(jué)、觸覺(jué)、聽(tīng)覺(jué)、味覺(jué)等全面地感知世界.只有在所有方面通過(guò)，才可能算人的智能.1989年Harnad提出了完全圖靈測(cè)試(total Turing test, T3)[3],原始圖靈測(cè)試稱(chēng)為T(mén)2.中國(guó)有一個(gè)真假美猴王的故事，可以用來(lái)說(shuō)明所謂的T3測(cè)試.在真假美猴王這個(gè)故事里，眾多能力高超的神仙采取了各種各樣的測(cè)試手段，也分不出哪個(gè)是真的美猴王，哪個(gè)是假的美猴王.如果通過(guò)了這個(gè)測(cè)試，那就是通過(guò)了T3.對(duì)于人工智能的各種恐懼感，可能都起源于T3.一旦T3通過(guò)了，人就可以完全被替代了.因?yàn)榭梢栽靷€(gè)機(jī)器人，可以完全把人代替了，而且誰(shuí)都看不出真假，就像真假美猴王一樣.在這種情況下，要求人們不恐懼人工智能似乎也不現(xiàn)實(shí).

但是，不論T2還是T3，是否真有實(shí)現(xiàn)的可能呢？這就需要深入討論.

2 圖靈測(cè)試的預(yù)設(shè)

要想知道T2或者T3能否實(shí)現(xiàn)，需要仔細(xì)研究T2以及T3的預(yù)設(shè).考慮到T3是T2的擴(kuò)展，只需考慮T2的預(yù)設(shè)就可以了.要考慮圖靈測(cè)試的預(yù)設(shè)，一定要看圖靈生活在什么年代.圖靈生活在1912—1954年，這個(gè)時(shí)間段非常關(guān)鍵.所有的東西都需要放到歷史中看，因?yàn)闆](méi)有人能擺脫歷史的限制，沒(méi)有人不受限于歷史.現(xiàn)在有智能手機(jī)，圖靈時(shí)代肯定沒(méi)有智能手機(jī)，這是很自然的事情.圖靈發(fā)表圖靈測(cè)試的文章是在1950年[1].而到1953年，維特根斯坦出了一本書(shū)，叫《哲學(xué)研究》[4].這個(gè)順序不能亂，知道了這個(gè)順序之后，就可以理清很多事情了.

在《哲學(xué)研究》出版以前，一般假設(shè)概念是存在經(jīng)典定義的.如果某個(gè)概念沒(méi)有經(jīng)典定義，那么只能說(shuō)明研究還不夠深入，需要繼續(xù)研究.這方面，希爾伯特的話最為經(jīng)典，他說(shuō)“我們必將發(fā)現(xiàn)，我們終將發(fā)現(xiàn)”.什么是概念的經(jīng)典定義？概念的經(jīng)典定義由3部分組成：1)符號(hào)表示，名字表示概念的名稱(chēng)；2)內(nèi)涵表示，由命題來(lái)表示；3)外延表示，就是概念要指稱(chēng)世界的對(duì)象，要把對(duì)象一一列出來(lái)，即經(jīng)典集合表示.

這么說(shuō)比較抽象，舉個(gè)具體的例子，比如素?cái)?shù)這個(gè)概念的經(jīng)典定義，素?cái)?shù)的符號(hào)表示在中文中就是“素?cái)?shù)”，英文中為“prime number”，反正是一個(gè)名稱(chēng)；它的內(nèi)涵表示就是“只能被1和自身整除的自然數(shù)”這個(gè)命題；它的外延表示就是集合{1,2,3,5,7,11,13,17,19,23，29，…}.有了概念的經(jīng)典定義之后，很多事情實(shí)現(xiàn)起來(lái)就非常容易.

在《哲學(xué)研究》出版以前，人們認(rèn)為概念都可以像素?cái)?shù)這個(gè)概念一樣具有經(jīng)典定義.在《哲學(xué)研究》出版以后，這個(gè)假設(shè)就不一定正確了.《哲學(xué)研究》出來(lái)之后，哲學(xué)界花了多年進(jìn)行深入研究，最后基本上認(rèn)可了這本書(shū)的觀點(diǎn).這些共識(shí)傳播到計(jì)算機(jī)領(lǐng)域，就比較晚了，大約是本世紀(jì)初左右的事情.

在《哲學(xué)研究》出版以后，一般認(rèn)為概念不一定存在經(jīng)典定義.如果概念沒(méi)有經(jīng)典定義，那么需要研究概念的其他表示，這是認(rèn)知科學(xué)中的一個(gè)重要方向.《哲學(xué)研究》出版以后，概念是否存在經(jīng)典定義本身需要研究，有的存在，有的不存在.在《哲學(xué)研究》中，維特根斯坦已經(jīng)論證了日常生活中的大多數(shù)概念都不存在經(jīng)典定義.說(shuō)的更加直白一點(diǎn)，要給出像素?cái)?shù)那樣干干凈凈的經(jīng)典定義，對(duì)于日常生活中的很多概念是不可能的事情！

現(xiàn)在回過(guò)頭來(lái)看圖靈測(cè)試中的預(yù)設(shè).圖靈測(cè)試中預(yù)設(shè)概念都是經(jīng)典概念.可惜的是，這個(gè)預(yù)設(shè)并不一定成立.圖靈測(cè)試中預(yù)設(shè)了2個(gè)概念是經(jīng)典概念，一個(gè)概念是智能，一個(gè)概念是人.這2個(gè)概念都不具有經(jīng)典定義，下面給一個(gè)稍微仔細(xì)一點(diǎn)的說(shuō)明.

1) 先說(shuō)智能.莊子認(rèn)為“知也者，爭(zhēng)之器也”[5]；霍爾認(rèn)為智能的本質(zhì)是“注意應(yīng)該注意的事情”[6]；愛(ài)因斯坦認(rèn)為“智能的真正表示不是知識(shí)而是想象”；王飛躍認(rèn)為“智能是開(kāi)放的情報(bào)，情報(bào)是封閉的智能”[7]；等等.可以發(fā)現(xiàn)智能的概念五花八門(mén)，到現(xiàn)在為止，并沒(méi)有一個(gè)大家都認(rèn)可的定義.考慮到智能實(shí)際上是一個(gè)不斷擴(kuò)展的概念，甚至未來(lái)也不可能存在一個(gè)大家公認(rèn)的定義.因此，要想給出智能的一個(gè)經(jīng)典概念，目前看來(lái)并不可能.

2) 圖靈測(cè)試中的另外一個(gè)重要概念是人.關(guān)于如何定義人，從古至今，也一直是研究的重點(diǎn).普羅泰戈拉認(rèn)為“人是萬(wàn)物的尺度，是存在的事物存在的尺度，也是不存在的事物不存在的尺度”，柏拉圖認(rèn)為“人是沒(méi)有羽毛的兩腳直立的動(dòng)物”[8]，馬克思認(rèn)為“人是一切社會(huì)關(guān)系的總和”[9]等等，不一而足.據(jù)說(shuō)，柏拉圖給出的這個(gè)定義就只存在了一天，因?yàn)榈诙靵喞锸慷嗟戮驮谡n堂上出示了該定義的一個(gè)反例——一只拔光了羽毛的雞.上面提到的這些人都非泛泛之輩，給出的定義也不是完全沒(méi)有參考價(jià)值.但是到現(xiàn)在為止，這些定義都沒(méi)有得到大家的完全認(rèn)可.到目前為止，“人”這個(gè)概念尚沒(méi)有經(jīng)典定義.概念只要沒(méi)有經(jīng)典定義，在很多情形下就計(jì)算不了，計(jì)算不準(zhǔn).這導(dǎo)致圖靈測(cè)試中的人沒(méi)有了統(tǒng)一的標(biāo)準(zhǔn)或一致的判據(jù).其后果就是圖靈測(cè)試的重復(fù)性沒(méi)有理論保障.這次測(cè)試通過(guò)了，下次換一批人換一批任務(wù)說(shuō)不定就通不過(guò)了.

由于人和智能這2個(gè)概念沒(méi)有經(jīng)典定義，說(shuō)機(jī)器的智能超過(guò)人的智能，如果不做一定限制的話，就是一件沒(méi)有意義的事情.

從以上分析可以看出，圖靈測(cè)試是建立在概念存在經(jīng)典表示的預(yù)設(shè)之上的.但是，這個(gè)假定并不成立.即使進(jìn)一步縮小范圍，對(duì)于“智能”和“人”這兩個(gè)在圖靈測(cè)試中的核心概念，也同樣不存在經(jīng)典表示.這對(duì)于圖靈測(cè)試帶來(lái)了致命的后果.

3 圖靈測(cè)試的明與暗

由于圖靈測(cè)試中預(yù)設(shè)概念存在經(jīng)典表示，對(duì)于圖靈測(cè)試中涉及的概念就劃定了嚴(yán)格的范圍，可以對(duì)問(wèn)題進(jìn)行封閉研究或者實(shí)驗(yàn).

但是，第2節(jié)已經(jīng)論證了這一預(yù)設(shè)不成立.這使得圖靈測(cè)試具有3個(gè)特點(diǎn):1)問(wèn)題不確定，問(wèn)題完全開(kāi)放.在圖靈測(cè)試中并沒(méi)有限定問(wèn)題的范圍，所有的問(wèn)題都可以問(wèn)，是完全開(kāi)放的，也就是說(shuō)，圖靈測(cè)試中模仿的內(nèi)容或者任務(wù)是開(kāi)放的.2)實(shí)驗(yàn)中的人未定，實(shí)驗(yàn)中的對(duì)象是開(kāi)放的.實(shí)驗(yàn)中的人是中國(guó)人？是3歲的小孩？是瘋子或者是聾啞人？等等這些都完全未定.3)圖靈測(cè)試中使用的語(yǔ)言未定，測(cè)試使用的語(yǔ)言是開(kāi)放的.圖靈測(cè)試并沒(méi)有說(shuō)指定用什么語(yǔ)言來(lái)問(wèn).如果用泰國(guó)語(yǔ)來(lái)問(wèn)作者，那本文作者也是什么不知道，這個(gè)模擬就沒(méi)什么意義了.總之，原始的圖靈測(cè)試是開(kāi)放測(cè)試.工程上要實(shí)現(xiàn)的話，一定要封閉實(shí)現(xiàn).就這點(diǎn)來(lái)說(shuō)，圖靈測(cè)試實(shí)際上只是思想實(shí)驗(yàn)，不是工程實(shí)驗(yàn).

雖然如此，圖靈依然是當(dāng)之無(wú)愧的人工智能先驅(qū)者.由于時(shí)代的限制，圖靈測(cè)試中假設(shè)使用的概念都是所謂的經(jīng)典概念.既然假設(shè)都是經(jīng)典概念，那么“人”也是可定義的概念，雖然目前可能還給不出“人”的內(nèi)涵定義.考慮到概念的內(nèi)涵表示與外延表示的等價(jià)性，圖靈測(cè)試就避免了智能的內(nèi)涵式定義以及判定難題，將研究智能的重點(diǎn)放在智能的外在功能性表現(xiàn)上，使得智能從功能上看，似乎是工程上可以實(shí)現(xiàn)和判斷的，這極大鼓舞了早期人工智能研究者的熱情.

為了方便起見(jiàn)，原始的圖靈測(cè)試，可以稱(chēng)為開(kāi)式圖靈測(cè)試，或者簡(jiǎn)稱(chēng)圖靈測(cè)試，它是開(kāi)放式的，對(duì)于問(wèn)題、人與語(yǔ)言都不封閉.但是，現(xiàn)在所有的說(shuō)通過(guò)圖靈測(cè)試的，它一定是封閉式的.參加測(cè)試和判定的人不是抽象意義的人，一定是一個(gè)或一些特殊的人，問(wèn)題一定是特殊的問(wèn)題，語(yǔ)言要選定特殊的語(yǔ)言.封閉實(shí)現(xiàn)的圖靈測(cè)試，可以稱(chēng)之為閉式圖靈測(cè)試.現(xiàn)在宣稱(chēng)實(shí)現(xiàn)了圖靈測(cè)試的，其實(shí)都是閉式圖靈測(cè)試.當(dāng)然，即使閉式圖靈測(cè)試實(shí)現(xiàn)了，進(jìn)步也很大.即使這樣，也必須考慮閉式圖靈測(cè)試在很多情況下是存在嚴(yán)重問(wèn)題的，比如說(shuō)模擬某個(gè)人是否合法？是否合乎倫理？

到現(xiàn)在為止，在很多特殊情況下，在很多具體任務(wù)下，閉式圖靈測(cè)試已經(jīng)成功了，已經(jīng)給生活帶來(lái)了很多的好處，這個(gè)大家都感受得到，但是也帶來(lái)了一些壞處.具體說(shuō)：機(jī)器寫(xiě)作、圖像合成、視頻合成、語(yǔ)音合成技術(shù)已經(jīng)面向大眾了.限定在這些特定任務(wù)上，說(shuō)通過(guò)了圖靈測(cè)試并不是開(kāi)玩笑.這些特定任務(wù)的成功也絕不是沒(méi)有社會(huì)代價(jià).目前，鑒定數(shù)據(jù)真假已經(jīng)成為亟待解決的挑戰(zhàn)性問(wèn)題了.現(xiàn)在人們接收的很多信息都是機(jī)器制造的，有時(shí)都不知道交流的對(duì)象到底是不是人，也搞不清楚信息的真假.這種狀況已經(jīng)構(gòu)成了現(xiàn)實(shí)的威脅.

為什么人工智能的有限成功會(huì)造成這樣嚴(yán)重的后果呢？這需要更加深入的分析.

4 人工智能的基本假設(shè)

人工智能已經(jīng)取得了令人矚目的成績(jī).但是AI的基本假設(shè)是什么？到現(xiàn)在為止，人工智能發(fā)展遇到了什么樣的瓶頸？要回答這個(gè)問(wèn)題，還是要通過(guò)分析圖靈測(cè)試來(lái)尋根問(wèn)底.

眾所周知，語(yǔ)言是圖靈測(cè)試的關(guān)鍵，語(yǔ)言也是正常人的關(guān)鍵標(biāo)志之一.正常人都是通過(guò)語(yǔ)言來(lái)交流互動(dòng)的.這里說(shuō)的語(yǔ)言不一定是通常所說(shuō)的語(yǔ)言，也可以是盲啞人的手語(yǔ).對(duì)于語(yǔ)言，有一個(gè)基本的事實(shí)：語(yǔ)言的基本單位是詞，語(yǔ)言自身也是一個(gè)詞.詞是概念名，人工智能也是一個(gè)詞，也是一個(gè)概念名，因此將概念研究清楚，對(duì)于語(yǔ)言圖靈測(cè)試和人工智能都至關(guān)重要.

概念的基本功能有3個(gè)：1)指物功能.概念指向客觀世界的對(duì)象，表示客觀對(duì)象的可觀測(cè)性.對(duì)象的可觀測(cè)性指的是對(duì)象或者儀器的直覺(jué)感知特性，不依賴(lài)于人的主觀感受.2)指心功能.要指向人的心智世界里的對(duì)象，代表心智世界里的對(duì)象表示.3)指名功能.要指向認(rèn)知世界或者符號(hào)世界表示對(duì)象的符號(hào)名稱(chēng)，這些符號(hào)名稱(chēng)可以組成各種語(yǔ)言.

舉例來(lái)說(shuō)明概念的功能.比如“你那么會(huì)抬杠，怎么得不到停車(chē)場(chǎng)這份工作呢？”這句話，前面的抬杠是比喻用法，是指心，后面的抬杠是指物.一句話里，同一個(gè)抬杠，已經(jīng)從指心轉(zhuǎn)指物.再比如“若不撇開(kāi)終是苦”這句話，這個(gè)若字是指名，就是指“若”這個(gè)字本身，撇開(kāi)終是苦，那苦的話你心里感覺(jué)到苦，就是指心，是借名以指心，整個(gè)句子是從指名轉(zhuǎn)指心.“各能捺住即成名”就是指名轉(zhuǎn)指物.“能用黑筆寫(xiě)紅字”這又是指物轉(zhuǎn)指名.詩(shī)句“抓住漂亮詞藻把它捏死”，這又是所謂的指心，把在物理世界不可能的事情轉(zhuǎn)化到心理世界了.

AI也是一個(gè)概念，要實(shí)現(xiàn)人工智能，就得實(shí)現(xiàn)人工智能這個(gè)概念所具有的3個(gè)功能，即從3個(gè)方面實(shí)現(xiàn)AI，指物指心指名，這正好對(duì)應(yīng)人工智能的3個(gè)主義.AI指名功能對(duì)應(yīng)符號(hào)主義，AI指物功能對(duì)應(yīng)行為主義，AI指心功能對(duì)應(yīng)連接主義.到現(xiàn)在這3條實(shí)現(xiàn)人工智能的路線都取得了非常多的成就.

符號(hào)主義認(rèn)為物理符號(hào)假設(shè)是實(shí)現(xiàn)智能的充要條件.人工智能就是符號(hào)的計(jì)算，只要符號(hào)正確就一切正確.代表性的成果是機(jī)器證明、機(jī)器翻譯、專(zhuān)家系統(tǒng).連接主義認(rèn)為所有的概念都在大腦里一個(gè)表示，這個(gè)表示就是神經(jīng)網(wǎng)絡(luò).目前最具代表性的AI技術(shù)，深度學(xué)習(xí)，就屬于連接主義的，AI的這次熱潮也是由它引起的.行為主義認(rèn)為智能取決于感知和行動(dòng)，不需要知識(shí)、不需要表示、不需要推理，只需要表現(xiàn)出來(lái)就行了.最有代表性的成果就是波士頓的動(dòng)力機(jī)器人.

在過(guò)去，這三大流派曾經(jīng)競(jìng)爭(zhēng)的非常厲害，比如符號(hào)主義，又稱(chēng)邏輯主義，曾經(jīng)拒發(fā)連接主義的文章，以至于連接主義的研究者不得不另立門(mén)戶.人工智能有個(gè)著名的會(huì)議叫世界計(jì)算智能大會(huì)(WCCI)，就是由那些不屬于傳統(tǒng)的符號(hào)主義的研究者們創(chuàng)立的會(huì)議，所謂計(jì)算智能主要是指模糊邏輯、神經(jīng)網(wǎng)絡(luò)和演化計(jì)算.這其中，模糊邏輯不屬于傳統(tǒng)的符號(hào)主義，神經(jīng)網(wǎng)絡(luò)屬于典型的連接主義，演化計(jì)算屬于行為主義.連接主義也曾經(jīng)有占上風(fēng)的時(shí)候，20世紀(jì)80年代曾經(jīng)提出過(guò)人工智能已死、神經(jīng)網(wǎng)絡(luò)萬(wàn)歲的口號(hào).行為主義，在歷史上又稱(chēng)進(jìn)化主義或者控制論學(xué)派.據(jù)說(shuō)之所以叫人工智能是因?yàn)橐c控制論做切割.

到現(xiàn)在，這3個(gè)流派已經(jīng)不象歷史上斗爭(zhēng)的那么厲害，已經(jīng)在合作了.比如在機(jī)器學(xué)習(xí)中，統(tǒng)計(jì)機(jī)器學(xué)習(xí)基本上是按照符號(hào)主義走的，深度學(xué)習(xí)基本上是連接主義這條路線，所謂的強(qiáng)化學(xué)習(xí)屬于行為主義.機(jī)器學(xué)習(xí)已經(jīng)不是一種單一的流派了.

曾經(jīng)，這三大流派認(rèn)為只要實(shí)現(xiàn)自己的路線就可以實(shí)現(xiàn)人工智能.符號(hào)主義說(shuō)只要實(shí)現(xiàn)指名功能就可以了，指名正確就一切正確；連接主義說(shuō)只要實(shí)現(xiàn)指心功能就行了，指心正確就一切正確.行為主義說(shuō)只要實(shí)現(xiàn)指物功能就夠了，只要能指物正確，就什么都正確.

為什么會(huì)這樣說(shuō)呢？令人驚訝的是，導(dǎo)致這3種流派的居然是一個(gè)共同預(yù)設(shè)，概念的指名指物指心3個(gè)功能是等價(jià)的.如果概念的3個(gè)功能確實(shí)等價(jià)的話，當(dāng)然只要實(shí)現(xiàn)任意一種就可以了.這個(gè)預(yù)設(shè)對(duì)嗎？如果概念有經(jīng)典表示，這個(gè)預(yù)設(shè)確實(shí)正確.原因很簡(jiǎn)單，概念的經(jīng)典表示有5條預(yù)設(shè)：外延表示是經(jīng)典集合論；內(nèi)涵表示是命題表示；外延表示與內(nèi)涵表示對(duì)應(yīng)相同的概念名；同一個(gè)概念表示對(duì)任何人都相同，不依賴(lài)于個(gè)人特性；內(nèi)涵表示和外延表示用來(lái)指稱(chēng)對(duì)象的時(shí)候功能完全一致.容易知道，在這5個(gè)預(yù)設(shè)之下，概念的指名、指物、指心3個(gè)功能是等價(jià)的.

概念的三指等價(jià)具有非常大的好處.如果每個(gè)人使用的概念都滿足三指等價(jià)，這樣的社會(huì)就是一種誠(chéng)信社會(huì)，計(jì)算簡(jiǎn)單，交易成本、溝通成本很低.理想的社會(huì)形態(tài)都以三指等價(jià)為基本假設(shè)，自然科學(xué)都是以概念的三指等價(jià)為預(yù)設(shè)的，機(jī)器學(xué)習(xí)公理化也是以概念的三指等價(jià)為基本假設(shè)的[10].社會(huì)上，也有很多通過(guò)概念的三指等價(jià)來(lái)表達(dá)自己的觀點(diǎn)和情緒的事例.現(xiàn)實(shí)生活中為了保證三指等價(jià)也做出了很多制度保證，像政府、學(xué)校、法律、警察、軍隊(duì)、監(jiān)獄等.

當(dāng)然三指等價(jià)也不是沒(méi)有害處的，害處就是易輕信、易上當(dāng)、易迷信，在極端情形下會(huì)產(chǎn)生嚴(yán)重的悖論.例如：迷信中的“扎小人”，其實(shí)就是假設(shè)三指等價(jià)，認(rèn)為扎一個(gè)人的名字就等于扎到那個(gè)人了.數(shù)理邏輯中，有一個(gè)著名的烏卡謝維茨悖論“C：C不是一個(gè)真語(yǔ)句”[11].如果概念的指名指物指心等價(jià)，那么就自然會(huì)得出如下結(jié)論：C是一個(gè)真語(yǔ)句，當(dāng)且僅當(dāng)C不是一個(gè)真語(yǔ)句，這顯然是一個(gè)矛盾.如果應(yīng)用本文的觀點(diǎn)，在三指不等價(jià)的情況下，烏卡謝維茨悖論并不會(huì)產(chǎn)生.因?yàn)镃只是指名的話，即C只是一個(gè)名字，則C這個(gè)名字不是一個(gè)真語(yǔ)句，實(shí)際上是一個(gè)真語(yǔ)句，故矛盾消除.換句話說(shuō)，如果概念的三指不等價(jià)，烏卡謝維茨悖論就不成立了.實(shí)際上，按照這個(gè)思路可以解決歷史上的很多語(yǔ)義悖論，在此就不一一詳細(xì)論述.

經(jīng)典概念在現(xiàn)實(shí)生活中是不一定存在的.比如概念的外延表示，誰(shuí)能保證與概念對(duì)應(yīng)的經(jīng)典集合一定存在？比如作者本人，到底算不算禿頭？不同人有不同的看法，有人覺(jué)得是，但也有人覺(jué)得不是.顯然，禿不禿頭本身不是一件黑白分明的事情，并不符合經(jīng)典集合的定義.對(duì)于概念的內(nèi)涵表示，其可以外顯的命題表示也并不一定存在.從某種意義上，維特根斯坦一生就研究概念這么一件事情，前半生堅(jiān)信概念存在經(jīng)典定義，認(rèn)為“凡是能夠說(shuō)的事情，就能夠說(shuō)清楚”，出了一本書(shū)，叫《邏輯哲學(xué)論》[12]；后半生發(fā)現(xiàn)不是能夠說(shuō)的事情都能夠說(shuō)清楚，論證了概念不一定存在經(jīng)典定義，出了一本《哲學(xué)研究》[4]，否決了西方自柏拉圖以來(lái)的信念.對(duì)于具體的概念來(lái)說(shuō)，概念名也可能未知，概念的假設(shè)外延表示和內(nèi)涵表示也不一定同名，因?yàn)橛醒芯勘砻魅粘Ｉ钪幸粋€(gè)白種人平均每天要說(shuō)一次謊[13].說(shuō)謊就是心里想的跟嘴上說(shuō)的不一樣，那就是所謂概念名不一樣.概念也不一定存在唯一表示，認(rèn)知科學(xué)的研究告訴我們，實(shí)際上每個(gè)人對(duì)概念的表示都依賴(lài)于自身的條件，比如一個(gè)盲人對(duì)顏色的感知、對(duì)顏色的概念跟正常人對(duì)顏色的概念實(shí)際上不可能一樣.概念經(jīng)典表示要求內(nèi)涵表示與外延表示用來(lái)指稱(chēng)對(duì)象的時(shí)候效果一樣，這個(gè)要求在現(xiàn)實(shí)生活中太高了.比如中國(guó)歷史上曾經(jīng)有“指鹿為馬”的著名故事.西方同樣有類(lèi)似的事情，西方著名的歷史學(xué)家塔西佗《歷史》有一段話說(shuō)得非常好，“在這段時(shí)間里，我們享有這樣一種稀有的幸福：我們?cè)谶@一時(shí)期里可以按照愿望去想，按照心里想的去說(shuō)”[14].可見(jiàn)要求概念的內(nèi)涵表示與外延表示指稱(chēng)等價(jià)太難.

現(xiàn)實(shí)生活中，雖然三指等價(jià)的情形也很常見(jiàn)，但概念的三指不一定等價(jià)的情形也不少見(jiàn)，甚至也很不算罕見(jiàn).

不遵循概念的三指等價(jià)的，現(xiàn)在一般不在科學(xué)范圍內(nèi)研究，屬于倫理、心理、哲學(xué)、文學(xué)、藝術(shù)、醫(yī)學(xué)、政治、軍事等研究范疇.社會(huì)科學(xué)基本不以概念的三指等價(jià)為基本假設(shè).例如哲學(xué)，西方著名的哲學(xué)家?jiàn)W斯汀在《如何以言行事》[15]中明確論述了言語(yǔ)與行事之間的關(guān)系，即指名與指物的復(fù)雜關(guān)系，指名跟指物不一定等價(jià).例如軍事，軍事名篇《孫子》[16]開(kāi)篇即說(shuō)，“兵者詭道也，故能示之不能，用而示之不用，近而示之遠(yuǎn)，遠(yuǎn)而示之近”，終篇即是《用間》.例如政治，馬基雅維里所著的《君主論》[17]標(biāo)志著西方政治學(xué)的開(kāi)端，其中的2章即為《論君主應(yīng)當(dāng)怎樣守信》、《應(yīng)該怎樣避開(kāi)諂媚者》.當(dāng)然概念的指名指物不等價(jià)也會(huì)導(dǎo)致很多嚴(yán)重的后果，比如欺詐行為會(huì)導(dǎo)致犯罪.在財(cái)務(wù)審計(jì)中，賬實(shí)相符從來(lái)不是當(dāng)然的假設(shè)，而是必須驗(yàn)證的事項(xiàng)，即財(cái)務(wù)審計(jì)的一項(xiàng)重要內(nèi)容是保證指名與指物等價(jià)，如果不等價(jià)，還要找出彼此其間的差距.

概念的三指不等價(jià)在現(xiàn)實(shí)生活是有很多優(yōu)勢(shì)的：它包含的信息更復(fù)雜，生活中有些人會(huì)上當(dāng)受騙，是因?yàn)闈撘庾R(shí)中相信三指等價(jià)，認(rèn)為說(shuō)什么就應(yīng)該是什么，說(shuō)的就應(yīng)該是心里想的，但實(shí)際不是這么回事，導(dǎo)致結(jié)果完全與預(yù)料不一樣.這樣一來(lái)，三指不等價(jià)對(duì)三指等價(jià)來(lái)說(shuō)就有更多的行動(dòng)自由，決策更多變.

當(dāng)然，三指不等價(jià)也有很多缺點(diǎn).比如，概念的三指不等價(jià)時(shí)，其信息表示更復(fù)雜，交流成本極高，需要“聽(tīng)其言、觀其行、明其心”.觀察一個(gè)人需要考慮言、行、心3個(gè)方面，言、行、心任一方面都沒(méi)有辦法充分反映一個(gè)人的本質(zhì)，這導(dǎo)致人們之間的信任度嚴(yán)重降低，交易成本急劇升高.在這種情況下，為了保證概念的三指等價(jià)，要簽訂合同、要有擔(dān)保、要買(mǎi)保險(xiǎn)，以至于設(shè)立對(duì)沖基金，發(fā)展至今甚至要自產(chǎn)自銷(xiāo).當(dāng)概念的三指不等價(jià)時(shí)，就需要更加復(fù)雜的場(chǎng)景計(jì)算.

一旦三指不等價(jià)，AI三大流派都面臨巨大的問(wèn)題.符號(hào)主義目標(biāo)是指名正確，保證不了其指物指心正確.連接主義目標(biāo)是指心正確，保證不了其指物指名正確.行為主義目標(biāo)是指物正確，保證不了其指心指名正確.在三指等價(jià)時(shí)，AI至少是努力不騙人的；而在三指不等價(jià)時(shí)，有時(shí)AI可就會(huì)或有意或無(wú)意的騙人.本文題目中的“暗”就是指這一點(diǎn).面對(duì)這一難題，三大流派都會(huì)出現(xiàn)巨大的困難.對(duì)于人來(lái)說(shuō)，概念的三指不等價(jià)會(huì)帶來(lái)麻煩，但并不是不能處理.人本來(lái)就能夠在悖論中生存，但機(jī)器顯然不行.

當(dāng)面臨悖論時(shí)，未來(lái)的人工智能怎么辦？這是人工智能面臨的重大理論問(wèn)題，本文不再展開(kāi)討論.

5 結(jié) 論

本文的結(jié)論有2點(diǎn)：第一，圖靈測(cè)試是思想實(shí)驗(yàn)，不是工程實(shí)驗(yàn)，能夠工程實(shí)驗(yàn)的是閉式圖靈測(cè)試.因此，凡是建立在原始圖靈測(cè)試通過(guò)假設(shè)之上的概念都是不成立的.第二，AI的基本假設(shè)是概念的指心指物指名功能等價(jià)，這與現(xiàn)實(shí)有時(shí)會(huì)發(fā)生劇烈的沖突，在人機(jī)對(duì)話研究中這一點(diǎn)特別明顯.所以，目前對(duì)AI來(lái)說(shuō)，確確實(shí)實(shí)需要更加深入的理論研究，AI的理論假設(shè)已經(jīng)面臨巨大的挑戰(zhàn).

本文主要思想來(lái)自作者在CNCC2019會(huì)士論壇的報(bào)告，是個(gè)人的一些不太成熟的看法，不一定正確.如果有錯(cuò)誤的地方，歡迎批評(píng)指正！