維特根斯坦與人工智能

內(nèi)容提要：哲學(xué)對(duì)人工智能的發(fā)展始終保持著積極的參與感。維特根斯坦由于其個(gè)人經(jīng)歷與其時(shí)代的關(guān)系，對(duì)人工智能的發(fā)展也頗為關(guān)心，他與圖靈的短暫交往更是讓人工智能學(xué)科關(guān)注到維特根斯坦的語(yǔ)言哲學(xué)、數(shù)理邏輯學(xué)、心靈哲學(xué)等思想。目前的研究多以后期維特根斯坦的語(yǔ)言訓(xùn)練、日常語(yǔ)言使用等觀(guān)照人工智能領(lǐng)域，而忽略了《邏輯哲學(xué)論》中維特根斯坦所提供的事態(tài)層面的實(shí)時(shí)境況處理，以及在智能體面對(duì)世界時(shí)所需的總體感。

1990 年，牛津大學(xué)出版了《人工智能哲學(xué)》（Philosophy of Artificial Intelligence）一書(shū)，編者瑪格麗特·博登選取了自1950 年至成書(shū)期間15 位人工智能思想界的著名人物及其代表文章，涵括了人工智能半個(gè)世紀(jì)時(shí)間的發(fā)展，有：將神經(jīng)活動(dòng)與邏輯演算相結(jié)合的W.S.麥卡洛克和W.H.皮茨，思考機(jī)器是否能思維的圖靈，提出“中文屋”思想實(shí)驗(yàn)的塞爾，針對(duì)塞爾提出反駁的瑪格麗特·博登本人，從符號(hào)系統(tǒng)探索計(jì)算機(jī)智能的A.紐厄爾和H.A.西蒙，反對(duì)“AI 是理論心理學(xué)”觀(guān)點(diǎn)的D.C.瑪爾，強(qiáng)調(diào)人工智能框架問(wèn)題與認(rèn)識(shí)論之重要性的D.C.丹尼特，用樸素物理學(xué)方法形式化AI 的P.J.海斯，批判將演繹與計(jì)算混為一談的邏輯主義立場(chǎng)的D.麥克德莫特，等等。在這條與人工智能發(fā)展緊密相聯(lián)的哲學(xué)道路之外，旁錯(cuò)的小徑上，維特根斯坦的名字或隱或顯地提示著我們另一條通路。

與上文提到的哲學(xué)家不同，維特根斯坦沒(méi)有自覺(jué)討論過(guò)明確意義上的人工智能哲學(xué)。因?yàn)槿斯ぶ悄茏鳛橐婚T(mén)學(xué)科的正式建立，要在1956 年的達(dá)特茅斯會(huì)議上由麥卡錫提出。而維特根斯坦在1951 年便已辭世了。但維特根斯坦作為一名早年曾從事航空器技術(shù)研究的哲學(xué)家，一直都對(duì)技術(shù)領(lǐng)域的新進(jìn)展保持著高度興趣和敏感，他在哲學(xué)探討中也時(shí)常涉及工具、機(jī)器、技術(shù)等問(wèn)題。他所處的時(shí)期，又是人工智能萌芽的時(shí)代。更重要的是，維特根斯坦與圖靈還有過(guò)在劍橋課堂的幾次接觸與爭(zhēng)論。這些都讓人工智能研究的后來(lái)者不得不重新在維特根斯坦的思想中重新發(fā)掘與人工智能有關(guān)的問(wèn)題，希望能獲取新的啟示。就拿電影《機(jī)械姬》來(lái)說(shuō)，其中研究人工智能的Nathan 所創(chuàng)建的搜索引擎公司就叫做Bluebook，而《藍(lán)皮書(shū)》是維特根斯坦在牛津任教期間的一本講稿集，里面討論了許多與思維有關(guān)的問(wèn)題，“家族相似”“語(yǔ)言游戲”等觀(guān)念也都是在此書(shū)中首次提出的。

維特根斯坦1912 年在劍橋大學(xué)跟隨羅素學(xué)習(xí)數(shù)學(xué)哲學(xué)，后在1929 年辭去奧地利鄉(xiāng)村小學(xué)教職之后，重回劍橋大學(xué)，繼續(xù)他的哲學(xué)研究，并在1939 年時(shí)接替摩爾擔(dān)任劍橋大學(xué)哲學(xué)教授。在他接任此教職之前，當(dāng)年他所開(kāi)設(shè)的一門(mén)“數(shù)學(xué)基礎(chǔ)”課，與其時(shí)年僅27 歲的圖靈所開(kāi)設(shè)的課程名字竟然一樣。這也導(dǎo)致圖靈對(duì)維特根斯坦的這門(mén)課產(chǎn)生了濃厚的興趣，前去旁聽(tīng)。圖靈當(dāng)時(shí)只是劍橋大學(xué)的研究員，他三年前發(fā)表的《論可計(jì)算數(shù)及其在判定問(wèn)題上的應(yīng)用》，其價(jià)值還未能得到認(rèn)識(shí)，但在后來(lái)的課堂記錄中，能夠看到他面對(duì)大名鼎鼎的天才人物維特根斯坦，所提出的論題和進(jìn)行的論辯，甚為精彩。

可能是覺(jué)得維特根斯坦與圖靈在現(xiàn)實(shí)生活中僅有幾次交往，讓人意猶未盡，曾寫(xiě)過(guò)多部科普著作的數(shù)學(xué)家約翰·卡斯蒂，以他獨(dú)特的“科學(xué)小說(shuō)”（shosetsu）的方式，將圖靈、維特根斯坦、薛定諤、霍爾丹請(qǐng)到了劍橋大學(xué)物理學(xué)家斯諾的住所中共進(jìn)晚宴，并討論了“人腦與機(jī)器”“思維與機(jī)器”“意義與機(jī)器”“語(yǔ)言與思想”“生命與個(gè)性”“社會(huì)行為、文化與思想”等與人工智能有關(guān)的問(wèn)題，五位不同領(lǐng)域的大家在這個(gè)虛構(gòu)的場(chǎng)景中共譜了一曲人工智能的“劍橋五重奏”。

一

在《論維特根斯坦關(guān)于人工智能的基本觀(guān)點(diǎn)》一文中，作者得出的最后結(jié)論是：“人們現(xiàn)在乃至將來(lái)不可能制造出某種智能機(jī)器人，或者說(shuō)電腦，使它們可以像人一樣思維，維特根斯坦以其特有的、簡(jiǎn)潔有力的風(fēng)格，抽空了人工智能的基礎(chǔ)?！贝宋呐c加拿大約克大學(xué)哲學(xué)系教授斯圖亞特·珊克（Stuart Shanker）于1998 年寫(xiě)就的著作《維特根斯坦和人工智能的基礎(chǔ)》（Wittgenstein’s remarks on the Foundations of AI）論調(diào)一致。此類(lèi)觀(guān)點(diǎn)基本上是援引維特根斯坦在《哲學(xué)研究》中的觀(guān)點(diǎn)，如：

359 機(jī)器會(huì)思想嗎？——它會(huì)疼嗎？——該把人體叫作這樣一臺(tái)機(jī)器嗎？它可是極接近于這樣一臺(tái)機(jī)器啊。

360 但機(jī)器當(dāng)然不會(huì)思想！——這是一個(gè)經(jīng)驗(yàn)命題？不是。只有說(shuō)到人，以及和人相似的東西，我們才說(shuō)他思想。我們還這樣說(shuō)布娃娃，當(dāng)然還有精靈。把“思想”一詞當(dāng)作工具來(lái)看看它！

關(guān)于維特根斯坦本人是否認(rèn)為機(jī)器不可能思維，徐英瑾教授在《維氏本人曾說(shuō)過(guò)“機(jī)器不可能思維”嗎？》一文中有過(guò)回應(yīng)，他認(rèn)為類(lèi)似珊克的論調(diào)，其實(shí)是過(guò)度解讀了維特根斯坦所言。首先，維特根斯坦所說(shuō)的“機(jī)器”并非如今所探討的人工智能或者強(qiáng)人工智能；其次，“思想”與“疼”，并不是某種只為疼痛者或思想者所能把握的現(xiàn)象特質(zhì)，在《哲學(xué)研究》節(jié)293，“疼痛”并不在于每個(gè)人自己盒子里裝著的“甲蟲(chóng)”，因?yàn)楹凶永锏臇|西根本不參與語(yǔ)言游戲，疼痛本身應(yīng)當(dāng)具有可供公共展現(xiàn)的第三人稱(chēng)維度——而其第一人稱(chēng)維度即使是存在的，也會(huì)因?yàn)槠浜驼Z(yǔ)言游戲的非相關(guān)性而被“約分掉”。

二

在這里，不過(guò)多糾結(jié)維特根斯坦關(guān)于人工智能是否能實(shí)現(xiàn)的判斷，更值得探討的，是維特根斯坦可以提供何種幫助我們拓展人工智能哲學(xué)的思考。王峰教授在談到人工智能如何進(jìn)行審美判斷時(shí)，將康德式和維特根斯坦式作為兩種不同的思路進(jìn)行討論。他認(rèn)為，康德式建模方式是從底層規(guī)則組合以達(dá)整體判斷，最堅(jiān)實(shí)的部分是底層邏輯；而維特根斯坦的方式則是通過(guò)語(yǔ)言訓(xùn)練，類(lèi)似于目前人工智能建模最為流行的大數(shù)據(jù)式的輸出管理。

將維特根斯坦《邏輯哲學(xué)論》與人工智能并而審之，是希望能夠?qū)ΜF(xiàn)有人工智能的觀(guān)念前提和工作方法進(jìn)行反思性的研究。為何要單獨(dú)提出《邏輯哲學(xué)論》呢？按照傳統(tǒng)的對(duì)《邏輯哲學(xué)論》的解釋?zhuān)S特根斯坦在此部著作中表達(dá)了一種關(guān)于語(yǔ)言的本質(zhì)主義的觀(guān)點(diǎn)，而在后期則轉(zhuǎn)向了一種語(yǔ)言的反本質(zhì)主義立場(chǎng)。因此，在談?wù)摼S特根斯坦與AI 時(shí)，往往都是在用后期的觀(guān)點(diǎn)，從語(yǔ)言、訓(xùn)練等方面對(duì)該問(wèn)題進(jìn)行研究。而以一種新的眼光來(lái)關(guān)注《邏輯哲學(xué)論》，則能夠得到一種別異但融貫其前后期思想的解讀，即不否認(rèn)語(yǔ)言的本質(zhì)，而對(duì)于語(yǔ)言而言，不存在比語(yǔ)言更為基礎(chǔ)的本質(zhì)；同時(shí)，對(duì)使用的關(guān)注，通過(guò)談?wù)撜Z(yǔ)言的本質(zhì)這一方式來(lái)關(guān)注語(yǔ)言，是《邏輯哲學(xué)論》的基礎(chǔ)。

三

在談?wù)撊斯ぶ悄芑蛉斯ぶ悄苷軐W(xué)時(shí)，常常伴隨著形式化（formalization）這一概念。按照人工智能哲學(xué)對(duì)這一概念的定義，它被認(rèn)為有廣義和狹義兩層意思。廣義地說(shuō)，一切被感知的事物，和由它們組成的復(fù)雜物，以及被意識(shí)到的精神活動(dòng)，都以符號(hào)或其他某種形式在意識(shí)中形成對(duì)應(yīng)物，如圖形、聲音等符號(hào)形式，亦即構(gòu)成意識(shí)的基本材料，這些東西總是表現(xiàn)為一定形式，我們的思維活動(dòng)就是通過(guò)對(duì)這種材料的組織而完成的。在表現(xiàn)為符號(hào)的層次之下，有非形式的層次，也對(duì)應(yīng)于某種大腦活動(dòng)，但那是意識(shí)之外的東西，而處在意識(shí)之外，則不能直接為主體所把握。也就是說(shuō)，任何一個(gè)事物進(jìn)入意識(shí)，都要借助于某種形式化過(guò)程。狹義的形式化是有邏輯學(xué)規(guī)定的。對(duì)于計(jì)算機(jī)和人工智能而言，形式化常指的是建立一種算法，任何一種事物只要能夠形式化，就可以由計(jì)算機(jī)來(lái)完成，反之，任何不能形式化的事物，計(jì)算機(jī)都無(wú)法實(shí)現(xiàn)。因此可以得出結(jié)論，狹義形式化的界限，就是計(jì)算機(jī)的界限。在結(jié)論提出后，依舊需要在形式化的基礎(chǔ)上，建立分布式表述的算法?？偠灾M義的形式化指的是固定形式構(gòu)成的結(jié)構(gòu)關(guān)系，而廣義形式化則更為龐雜，包括與個(gè)別對(duì)象相對(duì)應(yīng)的形式，也包括形式之間的關(guān)系結(jié)構(gòu)。因此，實(shí)現(xiàn)形式化也被認(rèn)為是人工智能的關(guān)鍵問(wèn)題。

在《邏輯哲學(xué)論》中：

1.1 世界是事實(shí)的總體，而不是物的總體。（The world is the totality of facts,not of things.）

這就意味著，世界并不由物的列舉以及關(guān)于這些物的事實(shí)構(gòu)成，它并不由物的列舉所確定。就廣義而言，在A(yíng)I 形式化的過(guò)程中，首先，將世界中的物或復(fù)雜物、精神活動(dòng)等以形式化的方式為物找到符號(hào)對(duì)應(yīng)，并不會(huì)使AI 在理解世界上能夠產(chǎn)生必然的可靠性。因?yàn)槊鎸?duì)孤零零的物或物的符號(hào)，AI依舊手足無(wú)措，它無(wú)法判斷自己獲得的這些知識(shí)能做什么。比如，將放在桌上的鉛筆形式化到AI中，AI 能夠識(shí)別出類(lèi)似圖像，能夠按照定義識(shí)別其功能，但它依舊不知道，筆可以用來(lái)作為禮物，筆可以劃開(kāi)快遞的膠帶，等等。其次，形式化觀(guān)念認(rèn)為，思維活動(dòng)是通過(guò)對(duì)符號(hào)化的物等材料組織完成的，在意識(shí)之外，有不能被形式化的層面，這部分是無(wú)法被主體把握的，不能進(jìn)入意識(shí)。這與維特根斯坦在《邏輯哲學(xué)論》中所說(shuō)的“對(duì)于不能說(shuō)的，必須保持沉默”，仿佛是在劃定語(yǔ)言的界限、世界的界限，而維特根斯坦在此處要提示我們的，并不是有什么能夠被陳述出來(lái)、另外一些不能被陳述，而是我們將能夠陳述出來(lái)的東西的陳述方式，也就是我們理解世界的方式、關(guān)注世界的方式。

狹義的形式化，則是一種設(shè)定好的運(yùn)算規(guī)則、一種算法，強(qiáng)調(diào)的是形式間的構(gòu)成關(guān)系。而《邏輯哲學(xué)論》中認(rèn)為，并不是先存在物，然后在物之外還存在一種關(guān)系，因?yàn)檫@樣一來(lái)，就會(huì)陷入無(wú)窮后退，不斷地需要新的關(guān)系以保證這段關(guān)系。物（客體）在事實(shí)（事態(tài)）中存在、析出，如2.03 的“在事態(tài)中，客體就像鏈條一樣連接在一起”。這種連接是無(wú)中介的，客體直接連接構(gòu)成事態(tài)，也就是說(shuō)，要構(gòu)成關(guān)系事實(shí)，并不需要關(guān)系。

四

有觀(guān)點(diǎn)認(rèn)為，從AI 的角度來(lái)看，《哲學(xué)研究》超越《邏輯哲學(xué)論》最大的地方就在于，它不再把靜態(tài)的知識(shí)體系規(guī)整視為哲學(xué)理論的聚焦點(diǎn)，而是把焦點(diǎn)轉(zhuǎn)移到了智能體的行動(dòng)，轉(zhuǎn)移到了對(duì)信息的實(shí)時(shí)處理上。這種理解，其實(shí)還是忽略了前文中就曾提到的——使用是《邏輯哲學(xué)論》的基礎(chǔ)。D.C.丹尼特曾提出過(guò)框架問(wèn)題：從前有個(gè)機(jī)器人，制造它的人給它起名叫R。它只有一個(gè)任務(wù)，就是照料自己。一天，在設(shè)計(jì)者的安排下，它得知它的備用電池——它珍貴的能源——和一個(gè)快要爆炸的定時(shí)炸彈鎖在一間房子里。R找到了這個(gè)房間和房門(mén)鑰匙，并做出搶救電池的計(jì)劃。房間里有一輛小車(chē)，電池就在這輛車(chē)上。R假設(shè)，某個(gè)叫作拉出（小車(chē)，房間）的行動(dòng)能將電池從房間里轉(zhuǎn)移出來(lái)。它立即行動(dòng)，果然在炸彈爆炸前將電池從房間里取出。然而不巧的是，那只炸彈也在小車(chē)上。R雖然知道炸彈就在房間里的小車(chē)上，但是沒(méi)有意識(shí)到拉小車(chē)時(shí)會(huì)隨著電池一起被帶出來(lái)?？蓱z的R在計(jì)劃它的行動(dòng)時(shí)遺漏了這個(gè)明顯的蘊(yùn)含關(guān)系。

那么應(yīng)該如何修補(bǔ)這個(gè)缺陷呢？之后的改進(jìn)是讓機(jī)器人知道哪些是蘊(yùn)含事件，進(jìn)而知道哪些蘊(yùn)含事件是相關(guān)的、哪些是不相關(guān)的，并且要學(xué)會(huì)忽略那些不相關(guān)事件。但這樣一來(lái)，在機(jī)器人的實(shí)際操演中，在它行動(dòng)之前，需要做的是處理成千上萬(wàn)個(gè)應(yīng)當(dāng)忽略的蘊(yùn)含事件。因此，在這種框架問(wèn)題當(dāng)中，它實(shí)際上無(wú)法實(shí)時(shí)地作出行動(dòng)、解決問(wèn)題。框架問(wèn)題源于境況演算中，用一階段邏輯推演某個(gè)域中發(fā)生變化時(shí)還有哪些沒(méi)有變化。但機(jī)器人對(duì)作為總體的世界，是沒(méi)有足夠了解的。機(jī)器人在專(zhuān)門(mén)的模塊處理上，效率很高，如讓R完成“拉出”動(dòng)作。但由于這個(gè)智能體各模塊之間并不會(huì)相互影響，這也導(dǎo)致了這些模塊無(wú)法在中央平臺(tái)上得到集中處理。

強(qiáng)調(diào)智能體在動(dòng)態(tài)的問(wèn)題解決環(huán)境中，對(duì)信息進(jìn)行實(shí)時(shí)處理。這種實(shí)時(shí)處理和數(shù)學(xué)上的求解很不相同，因?yàn)閿?shù)學(xué)上的求解并不要求一個(gè)時(shí)間上的限制。實(shí)時(shí)（real time）即是指一個(gè)任務(wù)自身帶有的時(shí)限，比如實(shí)時(shí)任務(wù)就是指一個(gè)必須在規(guī)定時(shí)限內(nèi)完成的任務(wù)。

這也是由于機(jī)器人建模的方式首先是由可形式化的材料組織而成的，它并不是在作為總體的世界和在事態(tài)中的客體兩個(gè)層面來(lái)認(rèn)知的，所以，它既不了解這些東西是什么，也不知道這些東西是如何的。

《邏輯哲學(xué)論》提示著諸事實(shí)共存的關(guān)系，事實(shí)共同存在于一個(gè)世界中。在事實(shí)中可獲得的東西，是通過(guò)世界得以理解的。因此，這也就是一種在事態(tài)中、具體的境況中，并不是一種單純靜態(tài)的體系。

1950 年，圖靈發(fā)表的《論計(jì)算機(jī)與智能》被認(rèn)為受到了維特根斯坦的影響，但具體是否如此，依然難以確證。哲學(xué)為人工智能的發(fā)展所提供的作用，無(wú)需多言?？捎捎趯W(xué)科建制和分工，目前的人工智能研究都是工科工作。作為一門(mén)最需要各學(xué)科交叉的AI 研究，更需要哲學(xué)的參與。因此，在這個(gè)意義上，維特根斯坦的綜合氣質(zhì)是亟需的。在《邏輯哲學(xué)論》中，“1.世界就是所有如此的情況”。這里所提示的，并不是世界是靜止的體系，而是一種在事態(tài)中與世界的相遇，遭遇了客體，理解了世界。因此在人工智能建模時(shí)，不可忽略的恰是這種總體觀(guān)。維特根斯坦在《邏輯哲學(xué)論》中要求的是一種關(guān)注方式，即如何關(guān)注世界，而不是由命題所描述的世界，或被陳述出的世界。這種關(guān)注世界的方式，是一種我們生活于其中，我們能夠感觸到的世界，能夠給我們的生活以完全的確實(shí)性的世界。依靠知識(shí)建?；蛑皇菃渭冇?xùn)練的方式，都無(wú)法求得一個(gè)真正的智能體，智能體需要在境況中作出判斷，需要有這種總體感。