發(fā)布時間：2018-06-12 18:49

  本文選題：智能 + 計算��； 參考：《山東大學(xué)》2017年碩士論文

【摘要】：2016年被譽(yù)為人工智能跨越式發(fā)展的一年。然而在六十多年的發(fā)展中,仍然存在一些爭論的哲學(xué)問題,其中,需要特別關(guān)注的是智能的核心問題。我們一般認(rèn)為人是有智能的,其他事物是沒有智能的,導(dǎo)致這種判斷的原因是人具有一種其他事物所沒有的東西,這個東西是什么?對這一問題的回答也是對智能本質(zhì)的回答。歷史上受到廣泛認(rèn)同的觀點是將計算作為智能的核心。對這一論斷的分析能夠得到對這個問題比較清晰的回答。研究對這一問題合適的解答,從兩個方面入手較為合適。一方面,在人工智能產(chǎn)生初期,存在一些流派,將智能的核心視為計算,回溯這段歷史,找到計算核心論的濫觴,并予以評判。另一方面,從計算主義面臨的語義、適用性等困境出發(fā),論證分析計算核心論的不合理性。對于第一個方面,在前人對相關(guān)問題研究的歷史中,隨著計算機(jī)的誕生和興盛,可以看到一條清晰的脈絡(luò),計算作為智能本質(zhì)的假說一步步建立起來,卻常常受到攻擊�；舨妓固岢隽� "推理即計算"的原初想法,萊布尼茨將人的思想以符號形式表征,開創(chuàng)了認(rèn)知的先河。雖然這種啟蒙式的想法將思維、思想與計算相關(guān)聯(lián),已經(jīng)開始萌芽,但僅局限于內(nèi)涵演算,他的心智理論僅僅是一種數(shù)學(xué)的邏輯演算的計算觀。此后圖靈提出了圖靈機(jī)的觀點,圖靈將人的大腦狀態(tài)、心靈狀態(tài)通過其通用計算機(jī)來得到實現(xiàn),在他看來,大腦的、心靈的這些過程本質(zhì)就是輸入、輸出、狀態(tài)變化這樣的計算過程。這些計算主義的濫觴發(fā)展出了傳統(tǒng)的計算主義的觀點,以早期普特南的計算功能主義和西蒙斯、紐厄爾的物理符號計算系統(tǒng)為主。普特南認(rèn)為心靈與其物理實現(xiàn)之間的關(guān)系類似于計算機(jī)的程序與所實現(xiàn)的硬件之間的關(guān)系。西蒙斯認(rèn)為一個物理符號系統(tǒng)對于一般智能行為而言,是充分和必要的。這些經(jīng)典的計算主義無不受到意向性、無意義等指責(zé)。對于第二個方面,上述計算主義的形成和發(fā)展過程中,受到了很多學(xué)者的反駁。其中影響較大的是塞爾的中文屋論證。塞爾的論證從側(cè)面沖擊了計算主義的根基。此時,福多對計算主義做出的新的闡釋,在一定意義上回應(yīng)了符號操作的語義缺失問題。他的心靈計算理論認(rèn)為,思想語言是人先天具有的一種符號系統(tǒng),它也是心理表征的媒介,具有句法和語義。心靈的運(yùn)行就是對心理表征的操作,思維就是計算。然而這并不意味著計算核心的觀點就是牢固的,它仍會受到批評。需要注意的是,計算作為智能核心的觀點受到存在著兩方面的缺陷。一方面來自于理論本身,另一方面來自于對計算概念的不同形式的解釋。對于理論本身而言,有這樣一些頑疾是計算主義無法克服的。任何物理系統(tǒng)都能視為計算,這種普遍性將導(dǎo)致平凡無趣的問題;存在一些心理進(jìn)程無法計算建模;計算理論缺乏對時間的關(guān)照,而時間是心靈應(yīng)有的屬性,且心靈的連續(xù)性和同時性無法用計算模擬;作為智能密切相關(guān)的神經(jīng)信號,其化學(xué)物質(zhì)傳播,是計算無法實現(xiàn)的。這些使得計算作為智能核心的觀點無法立足。對于計算概念而言,首先要提到近年來的計算主義的新發(fā)展。一些計算主義的擁護(hù)者對其進(jìn)行了補(bǔ)充或修改。朔伊茨主張修正"計算"的概念,來使得計算成為具體的、語義的、相互作用的或意向的概念。霍格蘭德認(rèn)為計算概念本身應(yīng)該具有自我批評和"責(zé)任"意義,計算中含有意向性(語義)的問題是不言自明的,但這種觀點也是建立在"認(rèn)知是計算"的基礎(chǔ)上的。菲格道爾的立場就是在最小程度上修改模型,來提供一些解決計算主義因果效力問題的空間。麥克德莫特認(rèn)為一方面,一些符號本身就具有意義,另一方面,符號結(jié)構(gòu)的意義通過其所在的系統(tǒng)與外接環(huán)境的關(guān)系表現(xiàn)出來。對于克拉潘來說,人有隱形表征,而計算機(jī)沒有。人之所有具有意向性,也是因為隱形表征的作用。研究者不約而同地將爭論的焦點放在了"計算"概念的重新定義上,對這一概念的澄清決定著計算主義是否成為合適的解釋理論。抽離各家的觀點來分析計算的概念,從數(shù)學(xué)中計算的原初使用入手,到計算機(jī)中對計算的定義,可以看出,計算就是符號通過某種算法的操作。以此來分析福多等人的觀點時,能夠發(fā)現(xiàn)不同的人對符號的解釋也各有不同。如果從嚴(yán)格的意義上來使用符號,因為心理表征本質(zhì)上和計算所處理的對象是不同的,后者不能還原為簡單的符號,所以表征可計算的觀點同樣是值得懷疑的。將智能的核心視為計算是不恰當(dāng)?shù)�。心靈在本質(zhì)上的運(yùn)行方式,與計算的方式也有所不同,只能將其視為心理表征的操作過程。
[Abstract]:In the past 60 years , there still exist some philosophical problems in the development of artificial intelligence . However , in the past 60 years , there are still some philosophical questions about intelligence . In the second aspect , the theory of thinking , thought and calculation is a kind of symbolic system , which is a kind of mathematical logic calculus . In the second aspect , it is a kind of symbolic system which has been developed by many scholars . This paper tries to provide some space for solving the problem of computational complexity . McDermott thinks , on the one hand , some symbols are of great significance . On the other hand , the meaning of symbolic structure is represented by the relationship between the system and the external environment .
【學(xué)位授予單位】：山東大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2017
【分類號】：TP18

【參考文獻(xiàn)】

相關(guān)期刊論文 前9條

1 趙澤林;;形式與語義:計算主義的焦點之爭[J];武漢理工大學(xué)學(xué)報(社會科學(xué)版);2013年02期

2 魏屹東;楊小愛;;計算之皮不存,心靈之毛焉附?——依賴于觀察者論證的語境重塑[J];科學(xué)技術(shù)哲學(xué)研究;2013年02期

3 魏屹東;樊岳紅;;遵守規(guī)則與人工智能——維特根斯坦與圖靈人工智能理論的交集[J];山西大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2011年05期

4 殷杰;董佳蓉;;人工智能的語境論范式探析[J];自然辯證法通訊;2011年04期

5 田平;符號計算主義與意向?qū)嵲谡揫J];北京師范大學(xué)學(xué)報(社會科學(xué)版);2005年06期

6 李建會;走向計算主義[J];自然辯證法通訊;2003年03期

7 劉西瑞,王漢琦;人工智能與意向性問題[J];自然辯證法研究;2001年12期

8 唐熱風(fēng);心的本質(zhì)是計算嗎?[J];自然辯證法研究;1998年04期

9 陳步;人工智能問題的哲學(xué)探討[J];哲學(xué)研究;1978年11期

，

本文編號：2010709