智能的核心是計算嗎？.pdf

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

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

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

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

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

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

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

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