符號人工智能的觀念起源研究
——基于霍布斯機械唯物論的分析

劉曉青

中共中央黨校(國家行政學(xué)院)哲學(xué)教研部,北京 100091

美國哲學(xué)家豪格蘭德(John Haugeland)于1985年提出了“好而經(jīng)典的人工智能”理論(Good Old-Fashioned AI，GOFAI)，并將霍布斯(Thomas Hobbes)尊稱為“人工智能之先驅(qū)”。GOFAI指的是人工智能創(chuàng)立之初的核心研究進路——符號主義，符號人工智能關(guān)注系統(tǒng)的功能實現(xiàn)，認(rèn)為無論是人類大腦還是數(shù)字計算機，其功能性輸出都可以還原為物理符號的機械操作，而且這些功能描述以形式主義為基礎(chǔ)?；诖耍覀兛梢詫⒒舨妓沟臋C械唯物論視為符號人工智能的觀念起源，二者之間的淵源關(guān)系可以在《利維坦》一書中找到依據(jù)：“人類的心靈之光就是清晰的語詞，但首先要用嚴(yán)格的定義去檢驗，清除它的含混意義；推理就是步伐，學(xué)識的增長就是道路，而人類的利益則是目標(biāo)?！?1)③ 〔英〕托馬斯·霍布斯：《利維坦》，黎思復(fù)、黎廷弼譯，北京：商務(wù)印書館，2017年，第34、18頁。作為一個機械論者，霍布斯強調(diào)語詞是討論分析的最小單位，不同的語詞組成命題，基本的命題或原則構(gòu)成定義，命題與命題之間形成推理；推理具體表現(xiàn)為數(shù)學(xué)意義上的加減運算，并通過機械運動得以實現(xiàn)；憑借推理人類可以獲得哲學(xué)知識，“踐履某項活動，或是把事情辦成”(2)〔英〕托馬斯·霍布斯：《論物體》，段德智譯，北京：商務(wù)印書館，2019年，第21頁。。本文將從語言的基礎(chǔ)地位、理性推理的本質(zhì)、人與機器的相似性關(guān)系、推理知識的最終目標(biāo)四個方面對此展開分析。

一、語言研究是揭示人類認(rèn)知的基礎(chǔ)

霍布斯指出：“最高貴和最有益處的發(fā)明卻是語言，它是由名詞或名稱以及其連接所構(gòu)成的。(3)③ 〔英〕托馬斯·霍布斯：《利維坦》，黎思復(fù)、黎廷弼譯，北京：商務(wù)印書館，2017年，第34、18頁。語言是人類認(rèn)知的媒介，“離開了語言，任何形式的思維——無論是與數(shù)字有關(guān)的還是其他形式——都將是不可能的”(4)Philip Pettit，Made with Words:Hobbes on Language，Mind，and Politics，Princeton:Princeton University Press，2008，p.39.。借助語言人類可以回憶過往、表達觀點、交流思想，這是邏輯學(xué)和哲學(xué)研究都非常重視的。語詞或名稱是構(gòu)成語言的基本單位，因為語句或命題由語詞構(gòu)成，而且語詞可以作為標(biāo)記喚起記憶?；舨妓拐f：“這些標(biāo)記，我稱之為記號，也就是我們隨意記錄下來的感覺得到的事物，通過這些記號的意義，這樣一些思想就可以召回到我們的心里，這些思想與我們過去獲得的那些思想是相像的?！?5)②③⑥ 〔英〕托馬斯·霍布斯：《論物體》，段德智譯，第27、27、36、51頁。其中，“隨意記錄”說明記號具有個別性和任意性。具有個別性和任意性的供自己使用的記號，可以進一步變成許多人共同使用的、可自主選擇的符號。符號“既是作為其后件的前件，也是作為其前件的后件，我們會常常看到它們以同樣的方式在前或繼后(6)②③⑥ 〔英〕托馬斯·霍布斯：《論物體》，段德智譯，第27、27、36、51頁。，其用處“是為了把我們的概念傳授給他人或表示給他人；……是為了使我們能夠同他人進行討論(7)②③⑥ 〔英〕托馬斯·霍布斯：《論物體》，段德智譯，第27、27、36、51頁。。也就是說，符號是可以表達思想的語言，借助它人們可以由因及果或者由果溯因，實現(xiàn)思維活動的形式化表征，將思維序列轉(zhuǎn)化為語詞序列。

“霍布斯將語言看作是最終將我們塑造成形的創(chuàng)造性技藝”(8)Philip Pettit，Made with Words:Hobbes on Language，Mind，and Politics，p.2.，這可以通過其關(guān)于理性推理的研究得到說明。在霍布斯看來，發(fā)明語言的首要用處在于給出語詞或名稱的正確定義，這是任何推理與科學(xué)活動的前提，因為沒有嚴(yán)格的定義，什么也證明不了。而關(guān)于定義的說明又與其對幾何學(xué)的推崇密切相關(guān)，“自然哲學(xué)的寫作者或討論者如果不懂幾何學(xué)，那就只能讓讀者和聽眾白費時間”(9)⑦ 北京大學(xué)哲學(xué)系外國哲學(xué)史教研室編譯：《十六-十八世紀(jì)西歐各國哲學(xué)》，北京：商務(wù)印書館，1975年，第71、78頁。。正確定義等同于幾何學(xué)意義上的定義，即科學(xué)的基本命題或原則，這是人類進行推理、獲得科學(xué)知識的開端，因為“只有這些才是推證的原理，才是言語發(fā)明者隨意建構(gòu)起來的真理(10)②③⑥ 〔英〕托馬斯·霍布斯：《論物體》，段德智譯，第27、27、36、51頁。，才可以用來推證或者確定其他非原初的命題或原則。

那么，究竟何為定義呢？霍布斯將其解釋為關(guān)于語詞和名稱的名稱，這種認(rèn)識可以代表事物的本性，“提供出被定義的東西的一個普遍概念，表象出那個東西的某種普遍圖景，但不是對視覺表象，而是對心靈表象(11)⑦ 北京大學(xué)哲學(xué)系外國哲學(xué)史教研室編譯：《十六-十八世紀(jì)西歐各國哲學(xué)》，北京：商務(wù)印書館，1975年，第71、78頁。。簡言之，定義表現(xiàn)為一種語言邏輯形式，整個推理過程始于對語詞或名稱的恰當(dāng)使用。具體而言，兩個及以上語詞或名稱連接起來構(gòu)成命題，命題之間形成三段論的言說方式，從兩個前提推演出結(jié)論，并將此結(jié)論作為條件推出新的結(jié)論，進而獲得“關(guān)于斷言間推理的知識”(12)〔英〕托馬斯·霍布斯：《利維坦》，黎思復(fù)、黎廷弼譯，第61-62頁。。依據(jù)霍布斯的分析，推理這種思維活動就是語詞符號之上嚴(yán)格的加減運算。

鑒于人們會使用一些意義不相一致的語詞或?qū)嶋H毫無意義的語詞，霍布斯還特別強調(diào)，要審查以前作者給出的定義，確保定義的真實有效，避免因定義不清或錯誤得出荒謬的結(jié)論。這看起來似乎很有道理，只是由于歷史局限性，他把確定語詞意義的最終權(quán)利交給了絕對的主權(quán)者。

語詞符號是一個關(guān)乎人類所有知識領(lǐng)域的大問題。在霍布斯邏輯思想的影響下，20世紀(jì)以來，符號被解釋為具有共同物理特征的實例，充當(dāng)了認(rèn)知的基本元素，與之相應(yīng)，人類的智能行為被解釋為符號運算的推理過程，“這無疑是人工智能最重要的論題……因為所有信息都是為一些目的服務(wù)而由計算機加工的”(13)〔英〕瑪格麗特·A·博登：《人工智能哲學(xué)》，劉西瑞、王漢琦譯，上海：上海譯文出版社，2006年，第115頁。。只是伴隨著研究綱領(lǐng)的發(fā)展，符號的范圍在不斷擴大，其“可以是通過高低電位的組成或者是燈泡的亮滅所形成的霓虹燈圖案，也可以是人腦神經(jīng)網(wǎng)絡(luò)上的電脈沖信號”(14)集智俱樂部：《科學(xué)的極致：漫談人工智能》，北京：人民郵電出版社，2015年，第12頁。。

依據(jù)經(jīng)驗探索，一個系統(tǒng)產(chǎn)生智能行為的必備條件是具有存儲和處理符號的能力。對此，我們可以從“圖靈測試”(Turing Test)中找到答案?！皥D靈測試”由“模仿游戲”演變而來，用來推斷計算機是否具有與人相當(dāng)?shù)闹悄埽庠诒砻髡J(rèn)知的實質(zhì)就是符號之上嚴(yán)格的句法運算。在圖靈(A.Turing)看來，無論是人的大腦還是計算機，都是基于數(shù)學(xué)邏輯操作處理符號的形式化系統(tǒng)。作為信息加工系統(tǒng)，“圖靈機真正以機器的方式完成了對符號的句法加工，同時也證實了嚴(yán)格定義的符號系統(tǒng)的潛在普適性”(15)②③ 〔英〕瑪格麗特·A·博登：《人工智能哲學(xué)》，劉西瑞、王漢琦譯，第141、141、118頁。。受此啟發(fā)，紐厄爾(A.Newell)和西蒙(H.A.Simon)明確指出：“形式邏輯使我們熟悉了符號，把符號看作思維的原材料，以句法方式來處理它們，同時也使我們熟悉了根據(jù)仔細(xì)定義的形式過程來處理符號的觀念。(16)②③ 〔英〕瑪格麗特·A·博登：《人工智能哲學(xué)》，劉西瑞、王漢琦譯，第141、141、118頁。符號作為可處理的形式化記號，具體可指向任意一種具有指稱和解釋功能的符號結(jié)構(gòu)(字符串或表達式)，而且這些“符號結(jié)構(gòu)是由一些以某種物理方式相聯(lián)系的符號實例(或標(biāo)記)組成的(如一個標(biāo)記緊接著另一個標(biāo)記)(17)②③ 〔英〕瑪格麗特·A·博登：《人工智能哲學(xué)》，劉西瑞、王漢琦譯，第141、141、118頁。。比如，1956年完成的表處理方法就產(chǎn)生出一個指稱模型，將數(shù)據(jù)結(jié)構(gòu)內(nèi)容表示為指稱思維結(jié)構(gòu)的符號群。

二、理性推理是一種計算

17世紀(jì)以數(shù)學(xué)為核心的理性方法取得了巨大成功，這個時期有很多哲學(xué)家是堅定的理性主義者，霍布斯也不例外。他認(rèn)為，理性推理“本身就是一個認(rèn)知過程——既可以幫助決定主體如何行動，也可以成為實踐性思考的組成部分”(18)⑦ Arash Abizadeh，“Hobbes on Mind:Practical Deliberation，Reasoning，and Language”，Journal of the History of Philosophy，2017，5(1),pp.1-34.。就分析過程而言，理性推理可以被看作“是一種通過使用語詞而實現(xiàn)的技藝，是在追求發(fā)現(xiàn)真理的努力中形成的”(19)Philip Pettit，Made with Words:Hobbes on Language，Mind，and Politics，p.45.，它與計算有著邏輯同一性。人的理性思維能力本質(zhì)上表現(xiàn)為一種計算活動，而計算就是數(shù)學(xué)意義上的加減運算。用霍布斯的話來說，“當(dāng)一個人進行推理時，他所做的不過是在心中將各部相加求得一個總和，或是在心中將一個數(shù)目減去另一個數(shù)目求得一個余數(shù)。”(20)⑧ 〔英〕托馬斯·霍布斯：《利維坦》，黎思復(fù)、黎廷弼譯，第27、28頁。與之相類似，乘除法運算也都可以通過語詞的加減運算來表示，乘法實際上就是在對相同事物做加法，除法就是在對事物做減法。以對人和動物的解釋為例，把“物體”、“活的”、“有理性的”等語詞相加就可以得出“人”的定義，而在“人”與“有理性的”等語詞之間做減法則可以得出“動物”的定義。概言之，在霍布斯心目中，理性變得不再神秘，推理活動實際上就是語詞序列的組合和分解，推理過程就是句法驅(qū)動的計算過程，它“在結(jié)構(gòu)上受組成‘推理方法’的規(guī)則或規(guī)定的支配(21)⑦ Arash Abizadeh，“Hobbes on Mind:Practical Deliberation，Reasoning，and Language”，Journal of the History of Philosophy，2017，5(1),pp.1-34.，并且加減計算本質(zhì)上就是一種思考能力或心靈活動。

當(dāng)然，“這些運算法并不限于數(shù)字方面，而是所有可以相加減的事物全都適用……無論在什么事物里，用得著加減法的地方就用得著推理，用不著加減法的地方就與推論完全無緣。(22)⑧ 〔英〕托馬斯·霍布斯：《利維坦》，黎思復(fù)、黎廷弼譯，第27、28頁。比如，算術(shù)學(xué)家、幾何學(xué)家、邏輯學(xué)家、政治學(xué)家、法學(xué)家的工作就是例證，他們的著眼點是人的理智能力，意在通過合法使用加減運算，將公認(rèn)的能夠闡明思想或觀點的語詞序列加以計算。由此可以看出，在霍布斯的理論圖景中，運算范圍非常廣泛，幾乎涉及理性推理的全部范圍，這不僅包括直接用語詞進行的推理，還包括無需借助語詞實現(xiàn)的內(nèi)心推理。

就此而言，我們可以將霍布斯“推理就是計算”的觀點看作是人工智能符號主義進路的思想源泉?；舨妓乖噲D通過解釋來排除非物理的直覺判斷，認(rèn)為理性思維活動是一個命題中主項與謂項之間的加減關(guān)系。符號主義在許多方面推進和發(fā)展了霍布斯的這一思想，主張我們只需關(guān)注人類思維系統(tǒng)的功能而非客觀物理結(jié)構(gòu)，心理世界的認(rèn)知過程可以還原為機器層面的符號運算或者符號操作。其研究綱領(lǐng)在于，基于理性推理的分析邏輯，明確地把人類心理狀態(tài)等同于大腦的計算狀態(tài)，并且更多地訴諸形式化系統(tǒng)以計算機來例示外在世界。

對此，豪格蘭德進一步給出了符號人工智能的解釋前提：(1)人類智能活動的實現(xiàn)，歸因于我們具有理性思維能力；(2)我們的理性思維能力可以等同于符號操作能力。很顯然，這兩個前提將人類理性能力與機器計算能力劃上等號，帶有理性主義和機械論色彩。而且，符號人工智能也特別強調(diào)計算過程的有效性，特別是紐厄爾、肖(J.C.Shaw)和西蒙關(guān)于“通用問題求解器”(General Problem Solver，GPS)的構(gòu)想默認(rèn)了系統(tǒng)具有豐富的信息儲備。GPS可以遵循普遍的邏輯規(guī)則解決智能和適應(yīng)性問題，因為“任何一個問題，只要我們能夠?qū)⑵浔碚鳛橐粋€合式公式集，規(guī)定出解決其狀態(tài)的形式特征，并以公理的形式表征出使得相關(guān)問題得以解決的所有前提以及相關(guān)的推理規(guī)則，那么，我們就可以指望一臺被合適編程的GPS能夠自動地解決這樣的問題”(23)轉(zhuǎn)引自徐英瑾、劉曉力：《認(rèn)知科學(xué)視域中的康德倫理學(xué)》，《中國社會科學(xué)》，2017年第12期。。也就是說，通過計算可以表征人類各種各樣的觀念知識，這些知識適用于數(shù)學(xué)、政治學(xué)、法學(xué)、醫(yī)學(xué)、棋類游戲等諸多領(lǐng)域。究其本質(zhì)而言，GPS是運用“信息處理語言”(Information Processing Language，IPL)進行啟發(fā)式搜索的推理機器，它傾向于通過線性因果的符號邏輯表征關(guān)系來模仿人類問題求解模式，且能以“手段-目的分析和規(guī)劃”方式尋求最優(yōu)解，表現(xiàn)出較強的通用性。誠然，該智能機器也面臨著一系列詰難，如它忽視了具體經(jīng)驗知識(常識)在人類解決問題過程中的重要性，受到了有限計算能力的困擾，無法為更龐大、更復(fù)雜的推理步驟提供強有力的信息，難以擴展至盤根錯節(jié)的社會現(xiàn)實問題。

三、人是執(zhí)行計算的弱“物理符號系統(tǒng)”

“霍布斯的世界觀認(rèn)為每一事件都毫無例外地受到一般物理法則的統(tǒng)治?！?24)〔英〕A.P.馬爾蒂尼：《霍布斯》，王軍偉譯，北京：華夏出版社，2015年，第33頁。作為一個唯物主義反映論者，他否定了上帝或宗教在人類理性認(rèn)知中的作用，使上帝成為空洞的軀殼，把人類活動解釋為普遍的、絕對的機械運動或數(shù)學(xué)計算，并將其整個自然哲學(xué)都放置在形而上學(xué)的機械論之上。就人的心靈運動而言，所有心理現(xiàn)象都是物體朝向或背離其他物體的微小運動，即意動。理性推理作為其中一種形式，由語言或其他意志符號引起。也就是說，人們可以用語言來表達推理，并將其作為記憶的標(biāo)記或者思想表達的符號，記錄相關(guān)思維序列，進而運用幾何學(xué)將認(rèn)識論意義上的理性推理還原為語詞的邏輯運用(在今天看來就是轉(zhuǎn)化為機器可執(zhí)行的程序)。

受霍布斯的啟發(fā)，紐厄爾和西蒙非常重視形式邏輯在幾何學(xué)中的運用，將符號作為知識的基本單元對事物的產(chǎn)生及其相互關(guān)系進行推證，并于1976年提出了“物理符號系統(tǒng)”(Physical Symbol System，PSS)這一核心概念。就其形式而言，“物理符號系統(tǒng)是一架機器，它產(chǎn)生出一個隨時間而演化發(fā)展的符號結(jié)構(gòu)集合體”(25)④ 〔英〕瑪格麗特·A·博登：《人工智能哲學(xué)》，劉西瑞、王漢琦譯，第118、99頁。，具有物理實在性。依照這一認(rèn)識，人腦就是一臺精妙的機器，“某種材料只要能夠完成形式主義計算，就能夠以它來實現(xiàn)符號，而這些計算，公認(rèn)是由計算機完成的(26)④ 〔英〕瑪格麗特·A·博登：《人工智能哲學(xué)》，劉西瑞、王漢琦譯，第118、99頁。。

由此觀之，在霍布斯看來，有生命的人遵循機械運動法則，其推理活動從本質(zhì)上來講就是符號結(jié)構(gòu)化過程，即“從名稱的定義引申出來并且繼續(xù)推到最后結(jié)論的一個三段論或一系列三段論”(27)〔英〕托馬斯·霍布斯：《論物體》，段德智譯，第103頁。，這也是他從自然哲學(xué)轉(zhuǎn)向公民哲學(xué)的思想基礎(chǔ)。遺憾的是，盡管霍布斯開辟了一個新視角，但沒有進一步討論語言符號的形式化問題，只是基于人所處的自然狀態(tài)和享有的自然權(quán)利進行理性分析，僅僅闡明了理性推理與加減運算之間的關(guān)系(沒有繼續(xù)關(guān)注想象、情緒、意志、知覺等其他心靈活動的機械化過程)。就此而言，人只能簡單地充當(dāng)一個不完善的、弱化的信息處理系統(tǒng)，“其智能可用一組控制著行為和內(nèi)部信息處理的輸入輸出規(guī)則來加以解釋”(28)高新民、付東鵬：《意向性與人工智能》，北京：中國社會科學(xué)出版社，2014年，第88頁。。

伴隨著計算機科學(xué)的發(fā)展，符號人工智能的倡導(dǎo)者明確指出：“人類之所以有符號行為，是因為人類具有物理符號系統(tǒng)的特征”(29)〔英〕瑪格麗特·A·博登：《人工智能哲學(xué)》，劉西瑞、王漢琦譯，第126頁。，即人類大腦的信息傳遞表現(xiàn)為全有或全無的確定事件，類似于0和1組成的二進制數(shù)。實際上，人類是我們最為熟悉的計算系統(tǒng)，計算機操作的字符串可以表示物理世界的客觀存在物及其行為活動，其符號結(jié)構(gòu)直接指向特定物理特征。由此，“物理符號系統(tǒng)”在抽象意義上可以被理解為一臺嚴(yán)格遵循句法運算模擬人類心理現(xiàn)象的“圖靈機”。

為了把問題引向深入，更好地解釋物理世界與心理世界的聯(lián)系，紐厄爾和西蒙進一步提出了具有理性主義色彩的經(jīng)驗性假設(shè)——“物理符號系統(tǒng)假設(shè)”(Physical Symbol System Hypothesis，PSSH)。作為符號人工智能的定性結(jié)構(gòu)定律，PSSH表明可以將“物理符號系統(tǒng)”視為理解人類智能活動的形式化裝置，“作為一般的智能行為，物理符號系統(tǒng)具有的計算手段既是必要的也是充分的。也就是說，一方面，表現(xiàn)智能行為的任何系統(tǒng)，歸根結(jié)底都能夠被分析為一個物理符號系統(tǒng)；另一方面，任何一個物理符號系統(tǒng)，只要具有足夠的組織規(guī)模和適當(dāng)?shù)慕M織形式，都會表現(xiàn)出智能。”(30)John Haugeland，Artificial Intelligence:The Very Idea，Cambridge:The MIT Press，1985，p.41.特別需要說明的是，充分意義上的智能更多指機器智能。根據(jù)這一假設(shè)，當(dāng)外部世界與物理符號系統(tǒng)發(fā)生因果聯(lián)系時，我們就可以借助機器的問題求解程序，將某些符號或模式進行操作并轉(zhuǎn)化為另外一些符號或模式，運用相關(guān)輸入輸出規(guī)則來解釋外部世界或者人類的智能行為。

作為一個遵循物理學(xué)定律的經(jīng)驗概括，PSSH明確斷言人就是一個執(zhí)行計算的“物理符號系統(tǒng)”，與機器享有共同的信息處理模式，機器可以借助語言符號建立思維的形式化模型，模擬人類的抽象邏輯思維，以一種特定的構(gòu)造方式斷言智能系統(tǒng)的性質(zhì)，進而描述人類的抽象認(rèn)知過程，如推理、知識表征、學(xué)習(xí)、記憶、意識、意向性等。同樣，機器計算能力的限制也構(gòu)成了人類理性思考的邊界。

PSSH與霍布斯關(guān)于思維活動的物理主義分析一脈相承，在霍布斯的理論中存在著這一假設(shè)的簡單形式。早在17世紀(jì)，霍布斯就“簡單地將世界上包括人和國家在內(nèi)的所有的事物都無情地歸結(jié)為冷冰冰的數(shù)字，宣布為機械運動的產(chǎn)物”(31)⑦ 〔英〕托馬斯·霍布斯：《論物體》，段德智譯，第xxiii-xxiv、84-85頁。。他在人與機器之間建立了機械性連接，強調(diào)“生命只是肢體的一種運動”(32)〔英〕托馬斯·霍布斯：《利維坦》，黎思復(fù)、黎廷弼譯，“引言”。，人不過是像鐘表一樣的自動機器：心臟是發(fā)條，神經(jīng)是游絲，關(guān)節(jié)是齒輪，其社會生活受機械運動規(guī)律支配。而且，他還指出，感覺者自身內(nèi)部觀念之間的理性推理，最終可還原為生命運動過程中各要素之間的相互作用，并可抽象地描述為符號的加減運算。故而，“‘加’和‘減’這樣的機械操作就成為了理性存在的充必條件——一方面，從加減的存在中我們就可以推出理性的存在，而另一方面，從前者的不存在中我們就可以推出后者的不存在?！?33)⑥ 徐英瑾：《心智、語言和機器——維特根斯坦哲學(xué)和人工智能科學(xué)的對話》，北京：人民出版社，2013年，第84頁?？梢?，這一認(rèn)識邏輯與PSSH所依托的形式句法理論非常接近，“霍布斯的言論雖然沒有直接涉及人工智能，但是把他的觀點納入到人工智能的敘事系統(tǒng)之內(nèi)，在邏輯上并無任何突兀之處(34)⑥ 徐英瑾：《心智、語言和機器——維特根斯坦哲學(xué)和人工智能科學(xué)的對話》，北京：人民出版社，2013年，第84頁。。

四、憑借推理得來的哲學(xué)知識意在為人類謀福利

在霍布斯看來，“努力”(即概念或想象能力中發(fā)現(xiàn)的自發(fā)行為)的作用使物體之間的運動變化呈現(xiàn)為兩類哲學(xué)知識，即探究自然物體的自然哲學(xué)和闡釋國家形成的公民哲學(xué)。也正是在此基礎(chǔ)上，霍布斯指出物體能夠思維，并將哲學(xué)看作是人的自然理性，指明出于人的利益和幸福生活的需要，人們相互訂立契約，將原來享有的自然權(quán)利托付給代表大家共同意志的個人或集體，從而建立國家以期擺脫充滿爭斗、恐懼不安的自然狀態(tài)。用霍布斯的話來說：“哲學(xué)的目的或目標(biāo)，就在于我們可以利用先前認(rèn)識的結(jié)果來為我們謀利益，或者可以通過把一些物體應(yīng)用到另一些物體上，在物質(zhì)、力量和工業(yè)所許可的限度之內(nèi)，產(chǎn)生出類似我們心中所設(shè)想的那些結(jié)果，來為人生謀福利。”(37)北京大學(xué)哲學(xué)系外國哲學(xué)史教研室編譯：《十六-十八世紀(jì)西歐各國哲學(xué)》，第63頁。哲學(xué)是“理性之光”，通過推理揭示事物之間的因果關(guān)系，產(chǎn)生出對人類有益的結(jié)果，使人類生存得更和諧。

以數(shù)字化信息加工方式出現(xiàn)的符號人工智能，遵循著霍布斯哲學(xué)研究的次序，同樣強調(diào)知識推理對人類生活的實際意義。沒有推理斷然無法給物體、運動、能力等概念下定義，從而不可能給出關(guān)于感覺性質(zhì)的認(rèn)識，最終也就無法考察人的心靈運動(如欲望、厭惡、喜愛、仁慈、希望、恐懼、憤怒、競爭、嫉妒等)和自然智能的工作機制。毋庸置疑，符號人工智能長期以來一直運用機械還原法和手段—目的分析法進行理性推理，將復(fù)雜的系統(tǒng)“分而治之”，通過模擬人腦功能實現(xiàn)了知識的符號表征和計算，演示出了眼花繚亂的成果，讓機器做了一些本來需要人才能夠做到的事情，獲得了社會的廣泛關(guān)注。與此同時，科學(xué)層面的分析方法在處理巨量且復(fù)雜數(shù)據(jù)集合的過程中日漸顯得捉襟見肘，其效率與精度也有待提升。因此，為了立足形式化認(rèn)知模型構(gòu)建有效的智能系統(tǒng)，符號人工智能也在不斷尋求新的思路和方法，如引入專門領(lǐng)域知識的專家系統(tǒng)?；诜栠壿嬐评磉@一前提，智能符號系統(tǒng)引入了狹窄領(lǐng)域的知識(規(guī)則)，并與推理部件相分離，放棄了通用的理論模型，轉(zhuǎn)而依托專家的實踐經(jīng)驗或?qū)I(yè)書本直接演繹知識(規(guī)則)。這一策略開始逐漸切近綜合法，試圖整合已有知識發(fā)展的不確定性，在一定意義上有助于改進算法，減少數(shù)據(jù)計算量，增強功能模擬系統(tǒng)的性能，從而提高人類行為的智能化水平，變革社會治理模式，給人類帶來最大利益。

“人類的最大福利，就是種種技術(shù)(38)②④ 〔英〕托馬斯·霍布斯：《論物體》，段德智譯，第96、24、21頁。。從規(guī)范意義上來講，技術(shù)扎根于客觀物質(zhì)世界和人類社會實踐，意在滿足人的需求，符號人工智能就是一個例證。這種技術(shù)以數(shù)字式信息加工方式出現(xiàn)，注重對理性的思考，根據(jù)客觀事物的發(fā)生方式推論事實之間的相互關(guān)系，以揭示智能奧秘的方式實踐著哲學(xué)家們對于思維和存在關(guān)系問題的解釋?；厮輾v史，人類關(guān)于人工智能符號主義進路的探尋，實際上就是在以哲學(xué)實踐的方式探索自我、認(rèn)識自我、發(fā)展自我，進而促進人類的生存與發(fā)展。

結(jié) 語

經(jīng)典認(rèn)知主義圖景下的符號人工智能遵循自上而下的研究思路，尋求人與機器在智能上的通行理論，試圖運用機械論模式，通過一階符號邏輯計算來詮釋智能的本質(zhì)，可以說是“基于知識的AI”。具體而言，主要包括以下幾個方面：語詞符號是思想表達的原材料；認(rèn)知的本質(zhì)就是信息的加工過程或計算過程，要想達到對智能的理解，必須尋找一種恰當(dāng)?shù)男问交Y(jié)構(gòu)，借助指稱和解釋的能力，在信息處理層次上對“物理符號系統(tǒng)”加以描述；因為唯有擴展理性能力，才能更好地關(guān)切哲學(xué)的發(fā)展與人類的福祉。

霍布斯關(guān)于推理活動的解釋就是符號人工智能意義上具有表征主義特點的理性計算觀，這一認(rèn)識傾向于機械地將大腦視為感覺信息刺激驅(qū)動的被動裝置。然而，與當(dāng)前流行的心智預(yù)測加工進路(39)心智預(yù)測加工進路顛覆了傳統(tǒng)的感知加工理論，強調(diào)知覺本身是建構(gòu)式的，心靈存在于預(yù)測之中，我們關(guān)于世界的知覺經(jīng)驗是對當(dāng)前感覺輸入進行預(yù)測的結(jié)果。詳見Jakob Hohwy，The Predictive Mind，Oxford:Oxford University Press，2013.相比，該解釋沒有跳出心靈與世界之間線性因果的表征關(guān)系，明顯忽視了康德的概念直觀能力對世界的推斷意義，以及知覺經(jīng)驗的主動選擇性。

此外，人類能否直接等同于“物理符號系統(tǒng)”，也是這場分析延伸出來的重要問題。查爾莫斯(D.J.Chalmers)明確指出，不能簡單地把人的真實意識經(jīng)驗與表征內(nèi)容相混同，意識經(jīng)驗不僅具有表征內(nèi)容，還有內(nèi)在獨特的感受性，這在他近些年關(guān)于意識“元問題”的思考中也可以得到驗證。查爾莫斯指出：“唯物主義是‘元問題’的一個突出傳統(tǒng)，在唯物主義者看來，可以通過解釋來排除非物理的直覺判斷，削弱二元論的觀點，霍布斯、休謨、斯賓諾莎和康德等哲學(xué)家堅持的就是這一策略，后來這一策略逐漸被發(fā)展為意識幻覺論，即非物理的特征就是一種幻覺?！?40)D.J.Chalmers，“The Meta-problem of Consciousness”，Journal of Consciousness Studies，2018，25(9/10),pp.6-61.由此可見，霍布斯簡單地將大腦高級認(rèn)知活動的意向性等同于計算層面的表征性，會使其知識論基礎(chǔ)和概念分析的可靠性受到質(zhì)疑。