智能的核心是計(jì)算嗎？.pdf

1、2016年被譽(yù)為人工智能跨越式發(fā)展的一年。然而在六十多年的發(fā)展中，仍然存在一些爭(zhēng)論的哲學(xué)問(wèn)題，其中，需要特別關(guān)注的是智能的核心問(wèn)題。我們一般認(rèn)為人是有智能的，其他事物是沒(méi)有智能的，導(dǎo)致這種判斷的原因是人具有一種其他事物所沒(méi)有的東西，這個(gè)東西是什么？對(duì)這一問(wèn)題的回答也是對(duì)智能本質(zhì)的回答。歷史上受到廣泛認(rèn)同的觀點(diǎn)是將計(jì)算作為智能的核心。對(duì)這一論斷的分析能夠得到對(duì)這個(gè)問(wèn)題比較清晰的回答。
　　研究對(duì)這一問(wèn)題合適的解答，從兩個(gè)方面入手較為

2、合適。一方面，在人工智能產(chǎn)生初期，存在一些流派，將智能的核心視為計(jì)算，回溯這段歷史，找到計(jì)算核心論的濫觴，并予以評(píng)判。另一方面，從計(jì)算主義面臨的語(yǔ)義、適用性等困境出發(fā)，論證分析計(jì)算核心論的不合理性。
　　對(duì)于第一個(gè)方面，在前人對(duì)相關(guān)問(wèn)題研究的歷史中，隨著計(jì)算機(jī)的誕生和興盛，可以看到一條清晰的脈絡(luò)，計(jì)算作為智能本質(zhì)的假說(shuō)一步步建立起來(lái)，卻常常受到攻擊?；舨妓固岢隽恕巴评砑从?jì)算”的原初想法，萊布尼茨將人的思想以符號(hào)形式表征，開(kāi)創(chuàng)了認(rèn)知

3、的先河。雖然這種啟蒙式的想法將思維、思想與計(jì)算相關(guān)聯(lián)，已經(jīng)開(kāi)始萌芽，但僅局限于內(nèi)涵演算，他的心智理論僅僅是一種數(shù)學(xué)的邏輯演算的計(jì)算觀。此后圖靈提出了圖靈機(jī)的觀點(diǎn)，圖靈將人的大腦狀態(tài)、心靈狀態(tài)通過(guò)其通用計(jì)算機(jī)來(lái)得到實(shí)現(xiàn)，在他看來(lái)，大腦的、心靈的這些過(guò)程本質(zhì)就是輸入、輸出、狀態(tài)變化這樣的計(jì)算過(guò)程。這些計(jì)算主義的濫觴發(fā)展出了傳統(tǒng)的計(jì)算主義的觀點(diǎn)，以早期普特南的計(jì)算功能主義和西蒙斯、紐厄爾的物理符號(hào)計(jì)算系統(tǒng)為主。普特南認(rèn)為心靈與其物理實(shí)現(xiàn)之間的

4、關(guān)系類(lèi)似于計(jì)算機(jī)的程序與所實(shí)現(xiàn)的硬件之間的關(guān)系。西蒙斯認(rèn)為一個(gè)物理符號(hào)系統(tǒng)對(duì)于一般智能行為而言，是充分和必要的。這些經(jīng)典的計(jì)算主義無(wú)不受到意向性、無(wú)意義等指責(zé)。
　　對(duì)于第二個(gè)方面，上述計(jì)算主義的形成和發(fā)展過(guò)程中，受到了很多學(xué)者的反駁。其中影響較大的是塞爾的中文屋論證。塞爾的論證從側(cè)面沖擊了計(jì)算主義的根基。此時(shí)，福多對(duì)計(jì)算主義做出的新的闡釋?zhuān)谝欢ㄒ饬x上回應(yīng)了符號(hào)操作的語(yǔ)義缺失問(wèn)題。他的心靈計(jì)算理論認(rèn)為，思想語(yǔ)言是人先天具有的一種

5、符號(hào)系統(tǒng)，它也是心理表征的媒介，具有句法和語(yǔ)義。心靈的運(yùn)行就是對(duì)心理表征的操作，思維就是計(jì)算。然而這并不意味著計(jì)算核心的觀點(diǎn)就是牢固的，它仍會(huì)受到批評(píng)。
　　需要注意的是，計(jì)算作為智能核心的觀點(diǎn)受到存在著兩方面的缺陷。一方面來(lái)自于理論本身，另一方面來(lái)自于對(duì)計(jì)算概念的不同形式的解釋。
　　對(duì)于理論本身而言，有這樣一些頑疾是計(jì)算主義無(wú)法克服的。任何物理系統(tǒng)都能視為計(jì)算，這種普遍性將導(dǎo)致平凡無(wú)趣的問(wèn)題;存在一些心理進(jìn)程無(wú)法計(jì)算建模

6、;計(jì)算理論缺乏對(duì)時(shí)間的關(guān)照，而時(shí)間是心靈應(yīng)有的屬性，且心靈的連續(xù)性和同時(shí)性無(wú)法用計(jì)算模擬;作為智能密切相關(guān)的神經(jīng)信號(hào)，其化學(xué)物質(zhì)傳播，是計(jì)算無(wú)法實(shí)現(xiàn)的。這些使得計(jì)算作為智能核心的觀點(diǎn)無(wú)法立足。
　　對(duì)于計(jì)算概念而言，首先要提到近年來(lái)的計(jì)算主義的新發(fā)展。一些計(jì)算主義的擁護(hù)者對(duì)其進(jìn)行了補(bǔ)充或修改。朔伊茨主張修正“計(jì)算”的概念，來(lái)使得計(jì)算成為具體的、語(yǔ)義的、相互作用的或意向的概念?；舾裉m德認(rèn)為計(jì)算概念本身應(yīng)該具有自我批評(píng)和“責(zé)任”意義，

7、計(jì)算中含有意向性(語(yǔ)義)的問(wèn)題是不言自明的，但這種觀點(diǎn)也是建立在“認(rèn)知是計(jì)算”的基礎(chǔ)上的。菲格道爾的立場(chǎng)就是在最小程度上修改模型，來(lái)提供一些解決計(jì)算主義因果效力問(wèn)題的空間。麥克德莫特認(rèn)為一方面，一些符號(hào)本身就具有意義，另一方面，符號(hào)結(jié)構(gòu)的意義通過(guò)其所在的系統(tǒng)與外接環(huán)境的關(guān)系表現(xiàn)出來(lái)。對(duì)于克拉潘來(lái)說(shuō)，人有隱形表征，而計(jì)算機(jī)沒(méi)有。人之所有具有意向性，也是因?yàn)殡[形表征的作用。
　　研究者不約而同地將爭(zhēng)論的焦點(diǎn)放在了“計(jì)算”概念的重新定義

8、上，對(duì)這一概念的澄清決定著計(jì)算主義是否成為合適的解釋理論。抽離各家的觀點(diǎn)來(lái)分析計(jì)算的概念，從數(shù)學(xué)中計(jì)算的原初使用入手，到計(jì)算機(jī)中對(duì)計(jì)算的定義，可以看出，計(jì)算就是符號(hào)通過(guò)某種算法的操作。以此來(lái)分析福多等人的觀點(diǎn)時(shí)，能夠發(fā)現(xiàn)不同的人對(duì)符號(hào)的解釋也各有不同。如果從嚴(yán)格的意義上來(lái)使用符號(hào)，因?yàn)樾睦肀碚鞅举|(zhì)上和計(jì)算所處理的對(duì)象是不同的，后者不能還原為簡(jiǎn)單的符號(hào)，所以表征可計(jì)算的觀點(diǎn)同樣是值得懷疑的。將智能的核心視為計(jì)算是不恰當(dāng)?shù)?。心靈在本質(zhì)上的運(yùn)