當(dāng)代哲學(xué)、認(rèn)知科學(xué)和人工智能語(yǔ)境下,類(lèi)比不僅是一種論證形式、認(rèn)知活動(dòng),也是人工智能得以發(fā)展的基礎(chǔ)理念和核心進(jìn)路之一。
本書(shū)采取一種具身認(rèn)知立場(chǎng),主張從解釋功能的類(lèi)比轉(zhuǎn)向?qū)嵺`功能的類(lèi)比。作者論證了類(lèi)比實(shí)踐模型的涌現(xiàn)的必然性,并基于瑪麗·赫西、保羅·巴薩關(guān)于類(lèi)比模型的二維邏輯構(gòu)造,集中探討了從具身認(rèn)知立場(chǎng)出發(fā),我們?nèi)绾文転橹悄苄袨樘峁┮环N合理的類(lèi)比解釋的問(wèn)題。作者提出,具身智能包括人類(lèi)、動(dòng)物、人工物三個(gè)層次,每一層次的類(lèi)比解釋對(duì)應(yīng)于各自的類(lèi)比實(shí)踐模型,進(jìn)而詳細(xì)分析以習(xí)性為核心的社會(huì)行為的類(lèi)比實(shí)踐模型,以專(zhuān)有功能為核心的動(dòng)物行為的類(lèi)比實(shí)踐模型,以及作為具身人工智能的形式化的類(lèi)比實(shí)踐模型。
20世紀(jì)60年代后,以瑪麗·赫西(Mary Hesse)為起點(diǎn),類(lèi)比研究擺脫了從弗朗西斯·培根肇始,直至凱恩斯(John Maynard Keynes)和卡爾納普(Rudolf Carnap)達(dá)到巔峰的歸納邏輯范式的藩籬,沿兩條進(jìn)路發(fā)展。一是哲學(xué)邏輯學(xué)進(jìn)路,類(lèi)比研究繼續(xù)關(guān)注類(lèi)比推理的定義及其有效性評(píng)估。例如瑪麗·赫西建構(gòu)了基于格代數(shù)的類(lèi)比形式定義,并建構(gòu)了第一個(gè)類(lèi)比模型即類(lèi)比質(zhì)料模型(material analogy)。保羅·巴薩(PaulBartha)建構(gòu)了被稱(chēng)為詳描模型(the articulation model)的類(lèi)比哲學(xué)定義,以及亨利·普拉德(Henri Prade)的布爾代數(shù)定義。
第二條進(jìn)路是類(lèi)比研究的認(rèn)知轉(zhuǎn)向,即心理學(xué)、人工智能和認(rèn)知科學(xué)進(jìn)路。根據(jù)根特納(Dedre Gentner)和霍利約克(Keith Holyoak)等人的相關(guān)觀(guān)點(diǎn),其進(jìn)程可以粗略地劃分為三個(gè)20年。20世紀(jì)80年代之前的第一個(gè)20年是類(lèi)比認(rèn)知轉(zhuǎn)向的奠基,類(lèi)比研究主要關(guān)注智力測(cè)試題中使用的幾何類(lèi)比題,例如托馬斯·埃文斯(Thomas Evans)的人工智能程序ANALOGY和斯滕伯格(Robert Sternberg)對(duì)類(lèi)比測(cè)試中的心理過(guò)程分析。前者是第一個(gè)類(lèi)比人工智能程序。該程序用來(lái)解決幾何類(lèi)比的智商測(cè)試題,即回答如下問(wèn)題:圖形A之于圖形B,就像圖形C之于哪個(gè)圖形?ANALOGY程序的目的就是要找到從圖形A到圖形B的最好的轉(zhuǎn)換規(guī)則并將之用于圖形C的轉(zhuǎn)換。斯滕伯格則通過(guò)類(lèi)比推理實(shí)驗(yàn)專(zhuān)門(mén)證明了類(lèi)比推理測(cè)試為什么是對(duì)一般智力的好的測(cè)量。
從1980年到2000年的第二個(gè)20年是類(lèi)比認(rèn)知轉(zhuǎn)向的20年。類(lèi)比研究的主題轉(zhuǎn)向?qū)茖W(xué)和現(xiàn)實(shí)生活中的真實(shí)類(lèi)比的認(rèn)知機(jī)制和發(fā)生過(guò)程的探究以及人工智能實(shí)現(xiàn),例如根特納的結(jié)構(gòu)映射理論(SMT)及其結(jié)構(gòu)映射引擎程序(SME)、羅杰·尚克(Roger Shank)的動(dòng)態(tài)記憶理論以及與詹妮特·科洛德納(Janet Kolodner)合作開(kāi)發(fā)的第一個(gè)案例推理器程序CYRUS,侯世達(dá)(Douglas Richard Hofstadter)的高層知覺(jué)理論及其Copycat程序等類(lèi)比計(jì)算模型。在這一過(guò)程中,研究者也從人類(lèi)擴(kuò)展到動(dòng)物,利用樣本配對(duì)任務(wù)測(cè)試來(lái)研究動(dòng)物能不能做類(lèi)比。
2000年以來(lái)的第三個(gè)20年,類(lèi)比認(rèn)知研究進(jìn)入腦科學(xué)階段,開(kāi)始借助腦成像技術(shù)(fMRI)、腦電圖技術(shù)(EEG)進(jìn)行類(lèi)比認(rèn)知活動(dòng)的神經(jīng)機(jī)制研究,描述類(lèi)比推理在大腦中的實(shí)際發(fā)生,如與類(lèi)比推理相關(guān)的腦區(qū),它們分別執(zhí)行類(lèi)比推理的什么功能,負(fù)責(zé)類(lèi)比認(rèn)知的哪個(gè)子過(guò)程等。
雖然類(lèi)比研究的認(rèn)知轉(zhuǎn)向還在持續(xù)進(jìn)展中,但現(xiàn)有的成果已經(jīng)足夠耀眼。類(lèi)比在作為論證或推理形式之外,也被視為認(rèn)知活動(dòng)或智能行為,即做類(lèi)比(analogy making)。類(lèi)比被視為人類(lèi)認(rèn)知/智能的核心。同時(shí),鑒于類(lèi)比在人工智能發(fā)展中的關(guān)鍵作用,認(rèn)為每一個(gè)人工智能程序都基于一個(gè)類(lèi)比計(jì)算模型的觀(guān)點(diǎn)也并不顯得難以接受。大量的動(dòng)物實(shí)驗(yàn)結(jié)果也讓我們開(kāi)始認(rèn)識(shí)到,類(lèi)比似乎并不為人類(lèi)所獨(dú)有。
然而,這些耀眼的成就也暴露出一個(gè)關(guān)鍵問(wèn)題。當(dāng)我們?cè)谒伎碱?lèi)比的認(rèn)知轉(zhuǎn)向,或者對(duì)類(lèi)比作為認(rèn)知活動(dòng)(智能行為)做出解釋時(shí),我們所謂的認(rèn)知仍然是傳統(tǒng)三明治式的離身認(rèn)知,而并沒(méi)有從具身認(rèn)知這一新的認(rèn)知基本立場(chǎng)出發(fā)。如果從具身認(rèn)知出發(fā),對(duì)人類(lèi)智能行為的解釋?xiě)?yīng)該轉(zhuǎn)換為對(duì)具身行動(dòng)的類(lèi)比解釋?zhuān)瑢?duì)動(dòng)物能不能做類(lèi)比的問(wèn)題應(yīng)該走出實(shí)驗(yàn)室的樣本配對(duì)任務(wù)測(cè)試,同樣,對(duì)類(lèi)比的人工智能實(shí)現(xiàn)應(yīng)該表現(xiàn)為具身性的類(lèi)比計(jì)算模型。因此,本書(shū)探討的問(wèn)題可以精煉地描述為,從具身認(rèn)知立場(chǎng)出發(fā),我們?nèi)绾螢橹悄苄袨樘峁┮环N合理的類(lèi)比解釋?zhuān)炕诰呱碚J(rèn)知的智能行為,或者更直接地,具身智能包括人類(lèi)、動(dòng)物、人工物(人工智能)三個(gè)層次。每一層次具身智能的類(lèi)比解釋?xiě)?yīng)該對(duì)應(yīng)于各自的(具身)類(lèi)比實(shí)踐模型。這樣,我們的任務(wù)也就轉(zhuǎn)換為,論證、建構(gòu)和分析(具身)類(lèi)比實(shí)踐模型的可能性、邏輯機(jī)制及其實(shí)踐功能。
為了回答這一問(wèn)題,本書(shū)基本框架如下:第1章梳理類(lèi)比理論的歷史和當(dāng)代發(fā)展。第2章分析類(lèi)比實(shí)踐模型的涌現(xiàn)。第3、4、5章分別從人類(lèi)、動(dòng)物和人工物(人工智能)出發(fā)處理這三個(gè)不同層次的智能行為的類(lèi)比解釋?zhuān)搭?lèi)比實(shí)踐模型的建構(gòu)。最后給出簡(jiǎn)短的結(jié)論,對(duì)類(lèi)比實(shí)踐模型的未來(lái)發(fā)展做出預(yù)測(cè)。
鮑建竹
生于1977年,中國(guó)人民大學(xué)哲學(xué)博士,上海大學(xué)哲學(xué)系副教授,上海大學(xué)智能哲學(xué)與文化研究院研究員,加拿大不列顛哥倫比亞大學(xué)(UBC)訪(fǎng)問(wèn)學(xué)者。研究領(lǐng)域?yàn)橐圆紶柕隙蚝皖?lèi)比推理為中心的法國(guó)哲學(xué)、科學(xué)哲學(xué)、邏輯學(xué)以及人工智能研究,在《光明日?qǐng)?bào)(理論版)》《自然辯證法研究》等報(bào)紙期刊發(fā)表學(xué)術(shù)論文10余篇,出版專(zhuān)著《作為社會(huì)技藝的語(yǔ)言:布爾迪厄社會(huì)語(yǔ)言學(xué)研究》,譯著勞特利奇哲學(xué)史第八卷《20世紀(jì)大陸哲學(xué)》(合譯)等,主持上海市哲學(xué)社會(huì)科學(xué)基金項(xiàng)目2項(xiàng)。
導(dǎo)言
第1章類(lèi)比理論的演化
1.1古希臘類(lèi)比理論
1.2中世紀(jì)類(lèi)比理論
1.3現(xiàn)代類(lèi)比理論
1.4當(dāng)代類(lèi)比理論的發(fā)展
第2章類(lèi)比實(shí)踐模型的涌現(xiàn)
2.1類(lèi)比是人類(lèi)認(rèn)知的核心
2.2類(lèi)比的模型化
2.3類(lèi)比的功能問(wèn)題
第3章人類(lèi)行為的類(lèi)比實(shí)踐模型
3.1人類(lèi)行為的類(lèi)比解釋?zhuān)翰紶柕隙虻膯⑹?br />3.2習(xí)性的具身認(rèn)知解釋
3.3類(lèi)比實(shí)踐模型的邏輯構(gòu)造
第4章動(dòng)物行為的類(lèi)比實(shí)踐模型
4.1動(dòng)物能做類(lèi)比嗎?
4.2基于專(zhuān)有功能的動(dòng)物行為學(xué)
4.3動(dòng)物行為類(lèi)比實(shí)踐模型的邏輯構(gòu)造
第5章人工智能的類(lèi)比實(shí)踐模型
5.1人工智能的類(lèi)比邏輯機(jī)制
5.2具身人工智能:形式化的類(lèi)比實(shí)踐模型
5.3形式化類(lèi)比實(shí)踐模型的邏輯構(gòu)造
結(jié)語(yǔ)
參考文獻(xiàn)
致謝