高新民
摘 要: 人工智能的自然計算研究在模擬廣泛的自然事物的功能作用,建構(gòu)諸如退火算法、進化算法等過程中,不僅在提升和拓展人類能力方面做出了積極的探索和貢獻,而且為我們從哲學和工程技術(shù)角度進一步思考有關(guān)智能觀問題、解決人工智能中深層次的基礎(chǔ)理論問題提供了難得的素材。面對自然計算,人工智能哲學的迫切問題是區(qū)分開規(guī)范性問題和事實性問題,解決智能觀中的本質(zhì)循環(huán)問題。人工智能在模擬和超越自然智能上要想取得積極的進展,不能只以一種智能樣式為解剖的原型實例,陷入“沙文主義”極端,而應(yīng)在避免“自由主義”錯誤的同時放寬智能標準,堅持智能的復(fù)雜多樣性理論,不犯以偏概全的錯誤,著力解剖盡可能多的智能樣式的構(gòu)成、作用方式和運作機理,以此為基礎(chǔ)創(chuàng)造出更多、更有用的人工智能新樣式。
關(guān)鍵詞: 自然計算;智能觀;本質(zhì)循環(huán)問題;智能多樣性
中圖分類號:TP18文獻標識碼:A文章編號:1004-8634(2020)05-0086-(12)
DOI:10.13852/J.CNKI.JSHNU.2020.05.010
人工智能的理想境界或“圣杯”就是用“某種不是活組織的東西”來實現(xiàn)過去只能由人體實現(xiàn)的智能,(B. P. 麥克羅林:《計算主義、聯(lián)結(jié)主義和心智哲學》,載盧西亞諾·弗洛里迪主編:《計算與信息哲學導(dǎo)論》上冊,劉鋼譯,商務(wù)印書館2010年版,第313—314頁。)甚至超越和增強人的能力。要實現(xiàn)這一目的,無疑要弄清智能的表現(xiàn)形式、本質(zhì)、內(nèi)在機理、實現(xiàn)機制及條件方法等。正是在這里,人工智能一開始便與哲學結(jié)下了不解之緣,乃至掉進了哲學爭論的漩渦。有鑒于此,著名認知科學家丹尼特說:“人工智能就是哲學”,“享有與追問知識如何可能的傳統(tǒng)認識論一樣的學科性質(zhì)”。(D. Dennett,“AI as Philosophy and as Psychologe”, in M. Ringle (ed), Philosophical Perspectives in AI, Atlantic Highlands, Humanitices Press,1979, pp.60-64.)這樣的說法盡管一開始就遭到了許多人工智能專家的批判,但它以極端的形式道出了人工智能這樣的宿命,即人工智能自始至終必須回答屬于哲學的智能觀問題,如什么是心靈、智能?其判斷標準是什么?它們是不是人類獨有的?研究智能應(yīng)以什么為“原型實例”?是否只應(yīng)關(guān)注人類的智能?是否可以像 “異人工智能策略”或泛智能主義所主張的那樣,將智能研究視野指向非人類的行為及能力?機器表現(xiàn)出的、符合“圖靈測試”的行為特性能否被看作是我們抽象智能本質(zhì)的原型實例?不僅如此,在回答上述問題時,必然會繼續(xù)心靈哲學和認知科學中的“沙文主義”與“自由主義”的曠日持久的爭論。人工智能的自然計算探索,以及在此基礎(chǔ)上所展開的深層理論思考,以自己獨特的方式回應(yīng)了上述問題和爭論,因為它在模擬一些自然事物(如蟻群行為、蜂舞、事物的退熱過程等)的功能作用,建構(gòu)諸如退火算法、進化算法等過程中,不僅在提升和拓展人類能力方面做出了積極的探索和貢獻,具有重要的工程技術(shù)意義,而且具有重要的人工智能哲學特別是智能觀意義,對于我們從哲學和工程技術(shù)角度進一步思考有關(guān)智能觀問題、解決上述人工智能中深層次的基礎(chǔ)理論問題提供了難得的素材,值得深入研究。
一、自然計算及其對智能樣式的“地理大發(fā)現(xiàn)”
自然計算是人工智能專家受人以外的自然事物(如生物乃至無生命事物)的特定的發(fā)揮作用方式和過程及其機理啟發(fā)而開發(fā)出的一種人工智能算法,包括進化計算、蟻群算法等許多不同的形式。根據(jù)中國學者汪鐳等人的概括,它指的是“以自然界,特別是其中典型的生物系統(tǒng)和物理系統(tǒng)的相關(guān)功能、特點和作用機理為基礎(chǔ)”而建立的各種算法的總稱。它要研究的是,“其中所蘊含的豐富的信息處理機制,在所需求解問題特征的相關(guān)目標引導(dǎo)下,提取相應(yīng)的計算模型,設(shè)計相應(yīng)的智能算法,通過相關(guān)的信息感知積累、知識方法提取、任務(wù)調(diào)度實施、定點信息交換等模塊的協(xié)同工作,得到智能化的信息處理效果,并在各相關(guān)領(lǐng)域加以應(yīng)用”。(汪鐳等:《自然計算——人工智能的有效實現(xiàn)方式》,載涂序彥主編:《人工智能:回顧與展望》,科學出版社2006年版,第50頁。)這一算法由于模擬的是非人事物表現(xiàn)出的智能現(xiàn)象,因此根本有別于以人類智能為模擬的“原型實例”的人類智能算法。盡管如此,在倡導(dǎo)者看來,只要將它們實現(xiàn)于一定的硬件中,就會有相應(yīng)的、像人的智能一樣的智能現(xiàn)象凸現(xiàn)出來。它們不僅彌補了傳統(tǒng)算法的許多缺陷,擁有許多不可替代的優(yōu)勢從而顯示出方興未艾的發(fā)展生機,而且由于提出了一些深刻的智能觀問題,并對傳統(tǒng)智能觀發(fā)起了挑戰(zhàn),因此,受到人工智能哲學的高度關(guān)注。例如,對智能是否是人類獨有的特性這一既有理論意義又有實踐價值的問題提出了冒天下之大不韙的看法。正如何燦華等學者概括的:“人并不是唯一有智能的動物,地球生命活動中的生物進化、個體發(fā)育和免疫、神經(jīng)網(wǎng)絡(luò)、大腦思維、社會系統(tǒng)、生態(tài)系統(tǒng)都表現(xiàn)出了某種形式的自然智能?!保ê螤N華等:《從邏輯學的觀點看人工智能學科的發(fā)展》,載涂序彥主編:《人工智能:回顧與展望》,第99頁。)更寬泛的理解是,智能有其生存上的表現(xiàn),即只要事物生存下來了,就表明其有智能。盡管這是智能觀上的革命性思想,但無疑是一家之言,爭議極大。
自然計算的誕生與人工智能發(fā)展的辯證本性息息相關(guān),這是由它面臨的困境使然。布里德曼在評價過去幾十年人工智能的成績時不無沮喪地說:“傳統(tǒng)的人工智能研究……已經(jīng)在幾乎所有曾經(jīng)看來大有可為的領(lǐng)域止步不前……近四十年光景里人工智能領(lǐng)域并沒有什么實質(zhì)性的突破?!保ú祭锏侣骸吨颇X者:創(chuàng)造堪與人腦匹敵的智能》,張陌等譯,生活·讀書·新知三聯(lián)書店2001年版,第29頁。)這不是布里德曼一個人的憂慮,而是許多人的共同困惑。為了找到答案,人們紛紛打破常規(guī),從不同的方面展開探索。著名認知科學家克拉克(A. Clark)等學者說,要沖破困境,必須“徹底改變思考智能行為的方式”。(A. Clark and D. Chalmers, “The Extended Mind”, in D. Chalmers (ed.), Philosophy of Mind, Oxford University Press, 2002, p.644.)事實也是這樣,一方面,為了模擬和超越人類智能,人們不再只是關(guān)注智能的靜態(tài)結(jié)構(gòu),而將目光投向大自然締造智能的歷史過程,解剖和學習大自然的智能建筑術(shù)。目的論意向性理論和關(guān)于人工進化、進化算法的種種方案就是這些探索的一些成果。它們的思路是這樣的,要想讓人工系統(tǒng)表現(xiàn)出真正的智能,就應(yīng)研究智能的根源和機理。而要如此,又必須研究大自然是怎樣設(shè)計和締造了它。因此,當務(wù)之急是向大自然這位設(shè)計師和締造者學習,研究它締造智能的歷史過程。把其弄清了,一切問題便會迎刃而解。另一方面,沖破智能“沙文主義”的牢籠,將智能的存在范圍拓展到人以外的生物乃至無機物上,研究這些事物所表現(xiàn)出的智能現(xiàn)象及其運作機理。隨之而來的便是各種自然算法的誕生和蓬勃發(fā)展。在一些專家看來,對于人工智能來說,進化的模擬遠比神經(jīng)網(wǎng)絡(luò)的模擬更有前途,于是經(jīng)過大量的實踐,人工進化研究已成為一個蔚為壯觀的研究領(lǐng)域。人工免疫系統(tǒng)也是這一運動的產(chǎn)物。鐘義信先生說:“最近的研究表明,擴展人類智力的更為深刻的方法是‘智能生成機制模擬(即‘機制模擬)?!辈粌H如此,還可以“在機制模擬的框架下”實現(xiàn)結(jié)構(gòu)模擬、行為模擬和功能模擬的統(tǒng)一。(韓力群:《人工神經(jīng)網(wǎng)絡(luò)教程》,北京郵電大學出版社2006版,“序”。)總之,包括進化計算、人工神經(jīng)網(wǎng)絡(luò)等在內(nèi)的自然計算就是基于這樣的動機和思路而建構(gòu)出來的。布里德曼概括說:“許多進入這一領(lǐng)域的年輕研究人員已經(jīng)希望在別處找到靈感。靈感就是自然本身?!薄耙宰匀粸榛A(chǔ)的研究策略開始在人工智能研究領(lǐng)域逐漸成型?!保ǜダ锏侣骸吨颇X者:創(chuàng)造堪與人腦匹敵的智能》,第57—58頁。)中國學者也十分關(guān)注這一領(lǐng)域,有的學者甚至提出了AI研究要“向生物界學習”“師法自然”等響亮口號。
這里不可回避的哲學和科學問題是,人以外的事物所表現(xiàn)出的那些特性,如退火算法所模擬的金屬的冷卻過程及機理,蟻群算法所模擬的蟻群覓食行為,是不是智能現(xiàn)象?倡導(dǎo)自然算法的人的回答是堅定的:能解決問題就是有智能的標志。根據(jù)這一標準,生存下來、有適應(yīng)性等都可看作智能現(xiàn)象。魯格爾(G. Luger)說:“智能世界就是生存下來的世界?!薄胺植嫉幕谥黧w的結(jié)構(gòu)和自然選擇的適應(yīng)性壓力綜合在一起,形成了智力的起源和運作的強大的模型?!保℅. Luger:《人工智能:復(fù)雜問題求解的結(jié)構(gòu)和策略》,史忠植等譯,機械工業(yè)出版社2006年版,第588、595頁。)根據(jù)這一觀點,人的智能與非人的自然智能在本質(zhì)、性能上沒有差別,差別只在于實現(xiàn)方式的不同。用心靈哲學的一個概念“可多樣實現(xiàn)”很容易說清這個道理。正如桌子既可用木頭做成(實現(xiàn)),又可用鋼鐵制成(實現(xiàn))一樣。此即著名的“可多樣實現(xiàn)性”原則。同理,一種能力或一個軟件模型離不開硬件的實現(xiàn),并受到硬件結(jié)構(gòu)的限制。但同一軟件模型可在不同造物的不同硬件上實現(xiàn),而同一硬件可實現(xiàn)不同的軟件。質(zhì)言之,人和非人的自然事物都有表現(xiàn)智能的可能性,只是表現(xiàn)、實現(xiàn)的方式不同罷了。例如,人和非人都有尋優(yōu)的能力,但實現(xiàn)方式可能各不相同。如果是這樣,堅持人以外的事物可成為智能的載體這一觀點就沒有什么理論上的障礙了。
自然計算是在有關(guān)自然事物運行機理啟發(fā)下形成的一種算法。其靈感和構(gòu)建過程都源自自然規(guī)律,因為自然界中存在許多自主優(yōu)化的現(xiàn)象。既然如此,只要有辦法挖掘其中所隱含的條件、機理,弄清它們的形式結(jié)構(gòu)及轉(zhuǎn)化過程,就可為算法建構(gòu)提供參照。事實也是如此,如模擬退火算法就是將金屬物體降溫過程中的自然規(guī)律引入化優(yōu)求解的產(chǎn)物;遺傳算法就是受生物物種進化機理的啟發(fā)而建立的;蟻群算法就是在觀察、研究蟻群個體間信息傳遞方式和作用機制后提出的;粒子群算法就是模擬鳥群捕食的過程而產(chǎn)生的;混沌優(yōu)化算法是借鑒自然現(xiàn)象的混沌規(guī)律而創(chuàng)立的??傊?,自然算法要么是通過仿生的途徑、要么是通過擬物的途徑產(chǎn)生的。就仿生算法而言,它又有模仿個體智能和群體智能兩種方式。其目的在于,以自然界中生物的功能、特點和作用機理為基礎(chǔ),研究其中所蘊含的豐富的信息處理機制,抽取相應(yīng)的計算模型,設(shè)計相應(yīng)的算法。這樣形成的算法的作用在于,能解決傳統(tǒng)計算方法難以解決的復(fù)雜問題,其應(yīng)用前景十分廣闊,如在大規(guī)模復(fù)雜系統(tǒng)的最優(yōu)化設(shè)計、優(yōu)化控制、計算機網(wǎng)絡(luò)安全等中都可大顯身手。
與傳統(tǒng)的一些算法一樣,自然算法也屬于問題求解尋優(yōu)方法,或最優(yōu)化方法。傳統(tǒng)方法的特點是,初始值確定以后,尋優(yōu)分析的結(jié)果固定不變,因此是典型的確定性方法。其形式很多,如單純形法、牛頓法、最速下降法、變尺度法、步長加速法、卡馬卡算法等。它們也有自己的優(yōu)點,如穩(wěn)定性強、速度快。但問題在于,由于對初始值過于依賴,對連續(xù)性、可微性的要求高,因此容易陷入局部極值,難以找到全局最優(yōu)解,尤其是對現(xiàn)代工程實踐中的那些較復(fù)雜的非線性、不確定性問題無能為力。鑒于這些問題,非確定性算法應(yīng)運而生。較早的形式有,退火算法、遺傳算法。它們的特點是,對自然規(guī)律和人類進化規(guī)律做了簡單模擬,屬于擬物和仿生智能方法。由于在傳統(tǒng)算法基礎(chǔ)上做了改進,因此它們能保證全局收斂性,有解決復(fù)雜問題的潛力。后來又陸續(xù)誕生了基于群智能的優(yōu)化方法,如蟻群算法、粒子群算法。再后來,又相繼出現(xiàn)了系列機制融合型算法,其特點是,把遺傳算法、退火算法等算法中的機制引入粒子群算法中,從而使該算法的性能大大提高。(陳杰等:《智能優(yōu)化方法的聚集性與彌散性》,載涂序彥主編:《人工智能:回顧與展望》,第254頁。)
目前對自然算法的分類差異很大,如汪鐳等學者將它們列舉為,進化計算、神經(jīng)計算、生態(tài)計算、量子計算、群體智能計算、光子計算、分子計算、人工內(nèi)分泌系統(tǒng)及其他相關(guān)復(fù)雜自適應(yīng)計算等。(汪鐳等:《自然計算——人工智能的有效實現(xiàn)方式》,載涂序彥主編:《人工智能:回顧與展望》,第50頁。)還有人認為,算法有確定性和非確定性之別。筆者認為,可根據(jù)自然算法所模擬的對象將算法分為這樣兩大類,一是以生物及其進化、遺傳過程為模擬對象的算法,如進化算法、人工免疫算法、協(xié)同進化算法等;二是以模擬非生物過程為基礎(chǔ)而形成的算法,如退火算法、量子算法、光子算法、分子算法等。筆者認為,每一種算法盡管還不是現(xiàn)實的智能能力,但一旦由硬件實現(xiàn),則成了現(xiàn)實的能力,因此至少可能說,一種算法就是一種現(xiàn)實能力的潛在形式。從心靈哲學的心理地理學來說,自然計算形式的發(fā)現(xiàn)具有心理能力“地理大發(fā)現(xiàn)”的意義,就像心靈哲學在前不久發(fā)現(xiàn)了“感受性質(zhì)”、作為認知能力組成部分的民間心理學等一樣,經(jīng)過自然計算倡導(dǎo)者的積極探索,大量新的智能形式,如人類智能以外的生物智能、自然智能、人造智能乃至群智能等,紛紛呈現(xiàn)于心靈哲學、智能科學面前。這些對于人類的心靈、智能認識的發(fā)展都是功不可沒的。下面,我們將按對自然計算的分類,分別對它們的具體樣式及其智能觀意義做出考釋。
二、進化計算與生物現(xiàn)象中的智能
進化計算側(cè)重模擬的是生物進化的過程與機理,由于有不同的理論基礎(chǔ),如有的以達爾文的進化論為根據(jù),有的以拉馬克、門德爾等人的進化論為根據(jù),因此,其內(nèi)部又有達爾文式算法與非達爾文式算法之別。前一類算法的例子是,人工神經(jīng)網(wǎng)絡(luò)、遺傳算法、進化計算等;后一類算法的例子是,協(xié)同進化計算、拉馬克克隆選擇計算等。盡管有側(cè)重點上的這些差別,但有一點是共同的,即都承諾或預(yù)設(shè)世界上的智能不局限于人類,人以外還客觀存在著各種形式的“生物智能”。正是它們成了進化計算構(gòu)建各種人工智能系統(tǒng)的理論基礎(chǔ)和創(chuàng)新源泉。焦李成等人說:“生物智能是人工智能研究靈感的重要來源。從信息處理的角度看,生物體是一部優(yōu)秀的信息處理機,而其通過自身演化解決問題的能力讓目前最好的計算機也相形見絀?!保ń估畛傻龋骸斗沁_爾文進化機制與自然計算》,載涂序彥主編:《人工智能:回顧與展望》,第228頁。)
先看達爾文式計算。這種計算提出的靈感來自自然設(shè)計師的策略。早在20世紀60年代,德國柏林工業(yè)大學的熱奇伯格(I. Rechenberg)等人在從事空氣動力學試驗時發(fā)現(xiàn),在描述物體幾何形狀的參數(shù)時,難以用傳統(tǒng)方法實現(xiàn)優(yōu)化。由于想到了生物的遺傳變異,于是隨機改變參數(shù)值,結(jié)果出人意料地收到了預(yù)期的效果。后來,他們還在此基礎(chǔ)上,系統(tǒng)地提出了所謂的“進化策略”。與此同時,美國加利福尼亞大學的科學家在研究自動機時也提出了類似的“進化規(guī)則”方法。再后來,密歇根大學的霍蘭和同事在綜合有關(guān)成果的基礎(chǔ)上,結(jié)合自己的獨立研究,最終系統(tǒng)地闡發(fā)了進化計算的思想。
只要細心觀察大自然就會發(fā)現(xiàn),進化、選擇是極為微妙、富于創(chuàng)造性的過程,且常常以想象不到的方式解決問題。根據(jù)智能的解決問題標準,這些無疑是奇妙的智能。在有關(guān)專家看來,生物的進化就是問題求解的最佳范例,其進化的過程實際上就是問題求解尋優(yōu)的過程。對于給定的初始條件和環(huán)境約束,選擇使表現(xiàn)型盡可能向最優(yōu)靠近。加上環(huán)境處在不斷的變化中,于是物種就不斷地向最優(yōu)進化,其突出的表現(xiàn)是強魯棒性。所謂魯棒性是指生物在不同環(huán)境中通過效率與功能之間的協(xié)調(diào)平衡而達到更好的生存能力這樣的特性或能力。進化的內(nèi)在機理是什么呢?新達爾主義的看法是,進化之所以表現(xiàn)為向最優(yōu)的逼近,根源在于,物種和種群內(nèi)部存在著復(fù)制、變異、競爭、選擇這樣的內(nèi)在過程。復(fù)制是指生物的主要特征向一代的傳遞,變異則是復(fù)制過程中所表現(xiàn)出的差異,競爭是生物為爭奪有限資源而表現(xiàn)出的行為,選擇是對要傳承下去的特征的取舍。在強調(diào)生物智能的人看來,這些現(xiàn)象即使不是十足的智能樣式,也包含著智能的元素和根據(jù)。
問題是,生物的進化有無可能被學習和模擬?回答是肯定的。因為進化過程有形式的一面,因此將它們加以抽象化,并加以編程,就可形成一種計算模型,進化計算正是這樣形成的。如用一組特征數(shù)據(jù)(基因)表示一個生命體,用它對生存環(huán)境的適應(yīng)度來評價它的優(yōu)劣,然后再讓那些適應(yīng)度優(yōu)的特征繁殖得更快,甚至取代適應(yīng)性差的特征。從類型上說,已有的達爾文式進化計算有四種形式,即進化規(guī)劃、進化策略、遺傳算法、遺傳程序設(shè)計。目前還有這樣一種新的走勢,即進化計算的各種形式相互融合,人們把它稱作人工智能的進化主義方向。
就遺傳算法來說,它是以達爾文進化論為基礎(chǔ)形成的算法,濃縮了達爾文進化的主要過程,如借自然選擇、重組與變異所實現(xiàn)的基因突變。從特點和作用上說,它是依據(jù)“適者生存、優(yōu)勝劣汰”的進化原理而創(chuàng)立的一種搜索算法。其創(chuàng)立的動因有兩方面,一是應(yīng)用方面的動因。例如,有許多復(fù)雜問題需要找到最優(yōu)解,而可能的解卻很多,每一種推演下去會非常復(fù)雜。如果考題到?jīng)Q定問題的因素本身是在變化的,那么可能的解就更難確定了。用窮舉的尋優(yōu)方法顯然是不行的,很多時候根本不可能找到解。二是理論上的動因。自然界的生物是按進化的規(guī)律不斷向前發(fā)展的,其內(nèi)在機理究竟是什么?這一問題如果能弄清楚,那么將有利于人工系統(tǒng)的設(shè)計。遺傳算法在借鑒有關(guān)生物學理論的基礎(chǔ)上,形成了自己特有的概念體系,如遺傳算法。遺傳算法是一種概率搜索算法,它把某種編碼技術(shù)用于被稱作染色體的二進制數(shù)串,進而模擬由這些數(shù)串組成群體的進化過程,通過有組織的、隨機的信息交換,重組那些適應(yīng)度高的數(shù)串。因此,它是通過作用于染色體上的基因、尋找好的染色體來完成問題求解最優(yōu)化的一種隨機算法。此外還有染色體、變異、適應(yīng)度和選擇等概念。
遺傳算法有簡單和復(fù)雜之分。簡單的一般包括三種基本操作,即復(fù)制、交叉和變異。復(fù)雜遺傳算法又稱高級遺傳算法。簡單遺傳算法的優(yōu)點是實現(xiàn)起來比較簡單,因為它采用一般復(fù)制法即轉(zhuǎn)輪法來選擇后代,使適應(yīng)值高的個體具有較高的復(fù)制概率。其問題在于,種群最好的個體可能難以產(chǎn)生出后代,造成所謂的隨機誤差。為了解決這一問題,有關(guān)專家提出了一些新的復(fù)制方法,從而使遺傳算法變得更為復(fù)雜。這些復(fù)制方法有,穩(wěn)態(tài)復(fù)制法、代溝法、選擇種子法等。選擇種子法也可被稱作最優(yōu)串復(fù)制法,其作用是能保證最優(yōu)個體被選進下一步進化種群。由于遺傳算法有對問題的依賴小、可以獲得最優(yōu)解等優(yōu)點,因此應(yīng)用的領(lǐng)域非常廣,如在模糊控制、神經(jīng)網(wǎng)絡(luò)、圖像處理與識別、規(guī)劃與調(diào)度等方面都有較成功的應(yīng)用。
遺傳算法模擬的是大自然在進化過程中所用的操作過程和機制,無疑是師法自然、向大自然這位心智建筑大師學習的成功的范例。從信息論的觀點看,它的加工過程非常類似于人的尋優(yōu)過程。如從問題開始,經(jīng)過一系列中間過程,最后獲得關(guān)于問題的解答。如果人的解題、尋優(yōu)過程具有意向性這一智慧的根本特性,那么遺傳算法也有。當然,這只能是遺傳算法倡導(dǎo)者的一家之言。不錯,從形式上看,遺傳算法有類似于生物、對于外在環(huán)境的意向性、關(guān)聯(lián)性,如在操作開始時,向它提供的是關(guān)于環(huán)境的某些信息,是待求解的問題,因而不是形式或符號本身,在操作結(jié)束時,它提供的是關(guān)于問題的最優(yōu)解,至少能以很大概率提供整體最優(yōu)解。總之,它所處理的代碼以及對代碼的處理過程和結(jié)果都超出了自身,并關(guān)聯(lián)于它們之外的東西。但從實質(zhì)上說,它并沒有真正的關(guān)聯(lián)性,充其量只有派生的、形式上的關(guān)聯(lián)性。因為,它從始至終只是在進行代碼的轉(zhuǎn)換,即使其中也夾雜著較復(fù)雜的操作,如雜交、變異、適應(yīng)度和個體的選擇,等等。但它們本身什么也不代表,什么也不關(guān)涉。初始狀態(tài)中的個體以及結(jié)果狀態(tài)中的輸出本身什么也不代表。它們要能代表、表示什么,一點也離不開設(shè)計和操作人員。
再看進化策略,20世紀60年代由比納特(Peter Bienert)等人創(chuàng)立,它是在模仿自然進化原理的基礎(chǔ)上建立的一種數(shù)值優(yōu)化算法,最近被應(yīng)用于離散型優(yōu)化問題的解決。它的一般過程是,先確定要解決的問題,然后從可能的范圍內(nèi)隨機選擇父向量的初始種群。父向量通過加入一個零均方差的高斯隨機變量以及預(yù)先選擇的標準偏差來產(chǎn)生子代向量。通過對誤差做出排序來選擇保持哪些向量。那些擁有最少誤差的向量被確定為新的父代。最后,通過產(chǎn)生新的實驗數(shù)據(jù)、選擇最小誤差向量以找到符合條件的答案。從與遺傳算法的關(guān)系看,它們盡管都是通過模擬生物進化智能屬性而產(chǎn)生的,但進化策略中的個體的每個元素因為不被看作是基因,而被看作是行為特性,因此它便有別于遺傳算法。其特點在于,不注重父代與子代或復(fù)制的各個種群之間的遺傳聯(lián)系,而更多地強調(diào)它們之間的行為上的聯(lián)系。
進化規(guī)劃也是一種進化算法。剛開始,這種方法與進化策略十分相似,后來逐漸演變成一種有自己鮮明特點的算法。促成這種變化的主要是福格爾(D. B. Fogel)等人。他們認為,一個系統(tǒng)要產(chǎn)生智能行為,必須有根據(jù)給定目標來預(yù)測環(huán)境,且還能根據(jù)這種預(yù)測完成響應(yīng)行為的能力。在這種思想的指導(dǎo)下,他們在有限狀態(tài)機的基礎(chǔ)上建構(gòu)了一種新的進化算法,即根據(jù)環(huán)境中出現(xiàn)的下一個符號以及定義完善的目標函數(shù),來產(chǎn)生對算法最有利的輸出符號。這種進化計算可用于離散狀態(tài)的優(yōu)化問題、實數(shù)值的連續(xù)優(yōu)化問題。不同于進化策略的地方在于:其一,進化策略所采用的選擇機制是嚴格確定的,而進化規(guī)劃一般注重隨機性選擇;其二,進化策略中的編碼結(jié)構(gòu)一般對應(yīng)于個體,而進化規(guī)劃中的編碼結(jié)構(gòu)則對應(yīng)于物種。因此,前者可通過重組操作產(chǎn)生新的嘗試解,而后者做不到這一點,因為不同物種之間不可能進行所需的溝通。
再看非達爾文式進化計算。20世紀70年代,生物學向分子水平發(fā)展,產(chǎn)生了分子水平的綜合進化論,此即非達爾文主義。它有多種形式,如受拉馬克思想影響的進化論。拉馬克認為,物種可變,穩(wěn)定性是相對的。進化的方式或法則是,用進廢退、獲得性遺傳。所謂獲得性遺傳是指,生物由于受環(huán)境的影響,受用進廢退的作用,便會獲得一些特性,而這些特性可傳給下一代,這種傳遞就表現(xiàn)為進化。一些專家受拉馬克的進化學說影響創(chuàng)立了有效的機器學習算法,即“拉馬克學習”,它模擬的是生物的獲得與傳授過程,而表現(xiàn)出的則是智能中最重要的學習行為和能力。協(xié)同、共生進化論也是非達爾文式進化論。它認為,達爾文的進化論過分強調(diào)物種的獨特性和生物競爭,而沒有看到生物的相互依存、協(xié)同、共生對進化的作用。有鑒于此,這種理論便突出了這些方面。另外,達爾文的進化論只是從宏觀上研究了物種進化,而沒有具體觸及生物進化的內(nèi)在過程及其機理,孟德爾的遺傳學彌補了這一不足。于是,達爾文進化論與遺傳學便走向了融合,并與系統(tǒng)分類學、古生物學結(jié)合在一起,形成了現(xiàn)代達爾文主義。其基本觀點是,在生物進化過程中,個體基因結(jié)構(gòu)是自變量,個體對外界的適應(yīng)度是唯一因自變量變化而改變的量?;蚪Y(jié)構(gòu)改變后,不同基因的后代在適者生存的法則作用下,后代數(shù)量也不同。
在上述非達爾文式進化論思想的啟發(fā)下,許多新的進化算法便應(yīng)運而生,協(xié)同進化算法就是其中的一種形式。協(xié)同進化算法是在協(xié)同進化論基礎(chǔ)上產(chǎn)生的一種進化算法。其不同于其他進化算法的特點在于,它在肯定進化算法的基礎(chǔ)上,同時強調(diào)種群與種群、種群與環(huán)境之間的協(xié)調(diào)對于進化的作用。這一算法有多種形式。一是基于種群間競爭機制的協(xié)同進化算法。它把種群再分為子種群,并認為子種群處在有合作行為的競爭關(guān)系中,子種群通過個體遷移達到信息交流。其中,最簡單的算法是并行遺傳算法,有三個模型,即踏腳板模型、粗粒度模型、細粒度模型。它們都通過個體遷移等手段實現(xiàn)信息交流,進而使各種群得到協(xié)同進化。二是基于捕食—獵物機制的協(xié)同進化算法。這一算法依據(jù)的是捕食者與被捕食者在追捕與反追捕的斗爭中共同獲得進化的過程及機理。捕食與獵物的關(guān)系不外是遭受選擇壓力的個體間的一種反饋機制。由于有這一機制,系統(tǒng)便獲得了進化,如由簡單走向復(fù)雜。三是基于共生機制的協(xié)同進化算法。其操作是,把總問題分解為子問題,每個子問題對應(yīng)于一個種群,然后讓每一種群按一種進化算法來進化。對于一個待解的問題,每個進化個體只提供部分解,而完整的解則取決于這些部分解的相互作用。(焦李成等:《非達爾文進化機制與自然計算》,載涂序彥主編:《人工智能:回顧與展望》,第232—234頁。)
拉馬克克隆選擇計算是非達爾文式進化計算的又一新的形式。由于它依據(jù)的是脊椎動物免疫系統(tǒng)的作用機理,特別是人這樣的高級脊椎動物免疫系統(tǒng)的信息處理模式,因此經(jīng)這種方法構(gòu)建而成的智能算法也可被稱作人工免疫系統(tǒng)算法。眾所周知,作為它的“原型實例”的生物免疫系統(tǒng)十分復(fù)雜,功能也很明顯和獨特。例如,它能抵御細菌、病毒和真菌等病原體的入侵,消除變異、衰老的細胞和抗原性異物,還要在發(fā)揮這些功能作用時不斷通過學習、識別、記憶外界入侵者,自動建立、更新自己的防御體系。它學習的方式很獨特,不像神經(jīng)系統(tǒng)那樣通過改變神經(jīng)元連接強度而學習,而是通過改變細胞網(wǎng)絡(luò)單元間的濃度與親和度來完成學習任務(wù)。有關(guān)專家認識到,免疫系統(tǒng)完成其功能所用的方法、手段、策略如果能被模擬,轉(zhuǎn)化成計算機的東西,那么它們本身盡管不是智能,但極有利于智能的形成和發(fā)展。另外,免疫系統(tǒng)的通信機制、免疫反饋機制、冗余策略、多樣性遺傳、工作可靠性和網(wǎng)絡(luò)分布特性等也都值得模擬。只要能建構(gòu)關(guān)于它們的計算模型,那么就會產(chǎn)生許多新的人工智能樣式。人工免疫系統(tǒng)就是通過模擬這些特性而形成的智能系統(tǒng)。盡管被模擬的功能還十分有限,但在當今,它已成為推動人工智能研究的新的動力。這里更激進的觀點是,“生物免疫系統(tǒng)就是高度進化的智能系統(tǒng)”,模擬它而形成的人工免疫系統(tǒng)因具有自己獨特的信息處理能力和方式,因此被認為其有智能屬性。(史忠植:《智能科學》,清華大學出版社2006年版,第388—389頁。)它有無教師學習、自組織、記憶等進化學習機理,還綜合了分類器、神經(jīng)網(wǎng)絡(luò)和機器推理的優(yōu)點。其應(yīng)用范圍十分廣泛,效果顯著,在控制、數(shù)據(jù)處理、優(yōu)化學習和故障診斷等領(lǐng)域中都顯示了強大的生命力。從哲學上說,這樣的算法無疑具有一定程度的智能特性,甚至有智能中最關(guān)鍵的意向性,它們能根據(jù)環(huán)境的變化形成對問題的較優(yōu)的解決辦法,表明它們與外在的東西有動的交涉。這類算法有許多不同的形式,如克隆選擇算法。它有類似于遺傳算法的地方,但由于它側(cè)重于模擬生物體免疫系統(tǒng)自適應(yīng)抗原刺激的動態(tài)過程以及它的學習、記憶、抗體多樣性等生物特性,尤其是模擬克隆選擇機理,因此被稱作克隆選擇算法。再如拉馬克克隆選擇算法,它是在前述克隆算法的基礎(chǔ)上通過引入拉馬克進化機制而形成的一種自然算法。其特點是強調(diào)個體不斷學習和適應(yīng)周圍環(huán)境的能力,強調(diào)父代只要能提供適應(yīng)性經(jīng)驗,就能將它們傳給下一代。
可以肯定,進化計算理論和實踐不僅在生物世界發(fā)現(xiàn)了相同于或不同于人類智能的新的智能形式,而且嘗試用不同于人類的方式將它們實現(xiàn)于機器之上,如協(xié)同進化算法較好解決了機器學習中的分類問題,同時用新方法將分類的能力實現(xiàn)于機器之上。其表現(xiàn)是不用個體表示規(guī)則,而用個體表示組織,所用的算子是遷移算子、交換算子、合并算子之類的進化算子,加上一組進化機制。非達爾文式進化計算由于模擬了生物體的較復(fù)雜的特性,并強調(diào)自適應(yīng)、自組織、非線性和方法的多樣性,因而有解決復(fù)雜問題的潛力。從特定的意義上可以說,它們不僅確認了智能多樣性的本體論地位,而且以獨特的方式創(chuàng)造了大量新的人工智能形式。
三、擬物算法、群智能與智能的物理機制
人工智能研究有一新的激進觀點,那就是強調(diào)人工智能模擬的“原型實例”不僅超出了人類智能,進到了自然界廣泛存在的信息處理系統(tǒng),例如神經(jīng)系統(tǒng)、遺傳系統(tǒng)、免疫系統(tǒng)、生命系統(tǒng)、生物進化過程(微觀機理與宏觀行為),而且延伸到無生命事物的某些加工過程,如眾多個體自發(fā)結(jié)合在一起形成的無意識的群體行為(蟻群的無意識的覓食行為導(dǎo)致的群智能)、物體的退熱過程及機理(退火算法據(jù)此而產(chǎn)生)。這種觀念上的變化導(dǎo)致了新的領(lǐng)域和研究熱點的涌現(xiàn)。我們這里關(guān)注的是經(jīng)模擬群體行為和無生命事物的作用機制而形成的一些自然算法形式及其智能觀問題。
先看群智能算法。單個的螞蟻好似沒有頭腦,至多只有極微弱的智能,事實也是這樣,一個螞蟻的構(gòu)造極為簡單,就那么幾個神經(jīng)元,但是螞蟻集合在一起卻有神奇的功能。如若干螞蟻能圍著一只死蛾轉(zhuǎn),經(jīng)過大家的推拉,可以把它推向蟻丘。當人們觀察它們的集體及其行為時,會感到吃驚,它們很像一個社會,一臺計算機。它們能進行分工協(xié)作,其蟻丘、外墻、頂蓋需要各種規(guī)格的材料,這些都是它們的杰作。白蟻群更神奇,它們能建造由許多穹頂小室組成、具有自然空調(diào)功能、冬暖夏涼的晶狀大廈。少數(shù)的白蟻當然不可能有什么作為,但當越來越多的白蟻加入、達到某個臨界值后,似乎便有了思維,如全部白蟻分工合作,操縱兩柱合攏,形成天衣無縫的拱圈??傊?,隨著群體的變大,智能也隨之出現(xiàn)并增大,當數(shù)量達到某個閾值時,便會導(dǎo)致性能的質(zhì)變。這種由本無或很少智能的個體的集體行為所凸顯出來的性能居然成了智能大家族中的一種別樣的智能——群智能。這個概念極有意義,準確表達了一種新的智能樣式。
人工智能專家受蟻群及其智能的啟發(fā),創(chuàng)造了各種模擬生物種群體的智能,如蟻群算法等。20世紀90年代初,在意大利米蘭理工大學讀博士的多里戈(M. Dorigo)基于對蟻群覓食行為、勞動分工、孵化分類、協(xié)作運輸?shù)募毿挠^察,提出了蟻群算法的基本思想。多里戈說:蟻群算法的“靈感來自群體尋找食物的行為,而算法針對的是離散的優(yōu)化的問題”。(M. Dorigo等:《蟻群算法》,張軍等譯,清華大學出版社2007年版,第2頁。)其目的是,“通過開發(fā)引導(dǎo)真實螞蟻高度協(xié)作行為的自組織原理,來調(diào)動一群人工自主體協(xié)作解決一些計算問題”。(M. Dorigo等:《蟻群算法》,第1頁。)該算法模擬的主要是蟻群尋找食物的行為。顯然,蟻群在覓食時會派出一些螞蟻分頭尋找。如果一只螞蟻找到了食物源,就會返回。在返回途中,它會留下一連串的“信息素”,以便讓其他螞蟻行進時參照。如果兩只螞蟻找到了一個食物源,它們就會分頭返回。如果返回的路徑不一樣,一個長,一個短,那么返回路徑較直、較短的那一條留下的“信息素”會濃一些。模仿這種行為而產(chǎn)生的蟻群算法包括三方面的內(nèi)容:其一,記憶。根據(jù)螞蟻不會再選擇搜索過而無結(jié)果的路徑這一行為特點,該算法建立了禁忌列表;其二,利用信息素相互通信;其三,集群活動。如前所述,螞蟻在搜索時,如果路徑上留下的信息素數(shù)量大,那么螞蟻選擇它的概率就會加大,信息素也因通過的螞蟻增加而加強。反之,路徑上通過的螞蟻少,其上的信息素則會隨時間推移而蒸發(fā)。據(jù)此而形成的群智能路徑選擇機制,就會使蟻群算法的搜索向最優(yōu)解推進。如此完成的行為之所以可看作是一種群智能,是因為無論是真實的蟻群的行為還是這個算法的執(zhí)行,都可完成以前只能由人類智能完成的行為。不僅如此,它們有時的表現(xiàn)并不比人類智能差,如該算法在機器上實現(xiàn)可以以較高的質(zhì)量、人類無法與之相比的速度和精確性解決各種路由問題、分配問題、調(diào)度問題、子集問題、最短公共超系列問題、箱子包裝問題、機器學習問題等。
類似的自然計算還有粒子群算法或微粒群優(yōu)化算法,它是受鳥群覓食行為啟發(fā)而發(fā)展起來的一種基于群體協(xié)作的隨機搜索算法。一群鳥的隨機搜索食物的行為像蟻群覓食行為一樣也表現(xiàn)出了群智能。假設(shè)某個區(qū)域只有一塊食物,所有的鳥都不知道食物在哪里,但是它們知道當前的位置離食物還有多遠。在這種情況下,找到食物的最優(yōu)策略就是搜尋離食物最近的鳥的周圍區(qū)域。有關(guān)專家受其啟發(fā)認為,從這種行為模式中可找到解決優(yōu)化問題的計算策略。根據(jù)這一策略,每個優(yōu)化問題的解都是搜索空間中的一只鳥,可稱作“粒子”。所有的粒子都有一個由被優(yōu)化的函數(shù)決定的適應(yīng)值,每個粒子還有一個速度決定它們飛翔的方向和距離。該算法的起點是一群隨機粒子(隨機解),然后通過迭代HYPERLINK“https://baike.baidu.com/item/%E8%BF%AD%E4%BB%A3/8415523“\t"_blank"找到最優(yōu)解,在每一次迭代中,粒子通過跟蹤兩個“極值”來更新自己。第一個就是粒子本身所找到的最優(yōu)解,這個解叫作個體極值,另一個極值是整個種群找到的最優(yōu)解,這個極值是全局極值。如果不用整個種群而只用其中一部分最優(yōu)粒子的鄰居,那么在所有鄰居中的極值就是局部極值。
根據(jù)一種哲學解釋,這些算法不僅表現(xiàn)了智慧特性,而且還締造了一種新的智能形式,即群智能。它們是由本無或很少智能的個體的集體行為所凸顯出來的。這就是說,一些簡單的存在盡管本身沒有智慧特性,但大自然的奇妙之處在于,這些存在以特定的方式集合在一起,相互作用,居然能導(dǎo)致智能大家族中的一種別樣的智能——群智能——的誕生。有什么理由說它們是智能?因為它們不僅能解決以前只能由人類智能解決的問題,而且有時解決得比人類好,至少有人類智能所不及的特點,如這類群智能所有的靈活性、簡單性、并行性、擴充性、魯棒性等。這些特點根源于無智能或只有簡單智能特點的個體所完成的群體協(xié)作和組織行為。由于它們沒有中心的控制和數(shù)據(jù),因此由個體所組成的系統(tǒng)就有魯棒性,不會因一個或幾個個體的故障而影響整個問題的求解;由于群體可以更好適應(yīng)隨時變化的環(huán)境,因此這樣的系統(tǒng)就有上述靈活、并行等特點。在有關(guān)專家看來,自然界到處都存在著能導(dǎo)致智能產(chǎn)生的條件和機制。在這里,適應(yīng)對群體表現(xiàn)智能特性至關(guān)重要。所謂適應(yīng)就是一結(jié)構(gòu)通過改變自身而讓自身在環(huán)境中生存下來并有良好的表現(xiàn)。著名算法專家霍蘭德(J. Holland)說,適應(yīng)在本質(zhì)上“就是一種優(yōu)化過程”。(J. Holland:《自然與人工系統(tǒng)中的適應(yīng)》,張江譯,高等教育出版社2008年版,第1頁。)由于適應(yīng)有此作用且有廣泛的存在性,因此智能在無智能性的事物中產(chǎn)生出來就不足為奇。
退火算法模擬的盡管是自然事物如固體的冷卻、退火過程,但作為一種隨機尋優(yōu)算法,可為大規(guī)模優(yōu)化組合問題提供解,因此也具有自己獨特的智慧特性。它采用了Metroplis接受準則,還用一組被稱作冷卻進度表的參數(shù)控制算法進程,進而使算法在多項式時間中給出一個近似最優(yōu)解。這種算法有保優(yōu)和溫控的智能特性,這些特性不是由神秘的或精神的力量使然,而是根源于自然事物本身所固有的構(gòu)造和特性:其保優(yōu)性能根源于事物本身所固有的聚集性,此特性能引導(dǎo)分析進而聚集到最優(yōu)點所在的區(qū)域,而溫控的特性和狀態(tài)接受機制體現(xiàn)的是自然事物所固有的彌散性,它們能把分析分散到其他區(qū)域,減小遺漏最優(yōu)點的概率。質(zhì)言之,算法的尋優(yōu)智能特性就根源于事物本身所固有的聚集性和彌散性。所謂聚集性即引力場中的粒子表現(xiàn)出的向心性,即向群體中心聚集的現(xiàn)象,彌散性即斥力場中的粒子表現(xiàn)出的群體離心擴散的現(xiàn)象。人類的尋優(yōu)智能之所以能尋優(yōu),一方面是因其內(nèi)有遍歷性,即盡可能全面搜索、了解各種可能空間,另一方面有收斂性,即不斷向中心收縮。有關(guān)算法及其所模擬的對象由于有聚集性和彌散性,因此也可表現(xiàn)智能所具有的那些遍歷和收斂的智慧特征。另外,這些算法還有遍歷的特性,只要有此特性,算法就有全局收斂性,這一收斂性可針對任意可尋優(yōu)對象或函數(shù)。而對象和函數(shù)的多樣性、復(fù)雜性又讓算法在保證可以遍歷所有點的能力時,能夠確保隨著算法的進步而找到全局最優(yōu)值,即完成尋優(yōu)這一原先要由人類智能才能完成的任務(wù)。
四、“沙文主義”“自由主義”與智能觀問題的一種嘗試性解答
各種自然算法在人工智能“師法自然”這一新的探索實踐中無疑邁出了開創(chuàng)性的一步,不僅在認識智能的樣式、本質(zhì)和奧秘上做出了新的探索,而且為人類建造更接近于自然智能的人工智能積累了經(jīng)驗和教訓(xùn)。從實際效果來看,新的模擬進化和別的事物運作及其機制的方法,較之傳統(tǒng)的方法在解決許多問題的過程中顯示出強大的生命力,在優(yōu)化問題上甚至有傳統(tǒng)方法不可企及的優(yōu)點。汪鐳等學者說:“這些算法均具有模擬自然界相關(guān)生物組織和生物系統(tǒng)的智能特征?!保ㄍ翳D等:《自然計算——人工智能的有效實施模式》,載涂序彥主編:《人工智能:回顧與展望》,第50頁。)但同時必須承認的是,自然算法的研究尚處在起步階段,問題和困難在所難免。愛挑毛病的批評者正是看到了這一點,對自然智能提出了各種批評和責難,有的甚至做了徹底的否定,如斷言所謂的自然計算根本算不上智能。
根據(jù)批評者的看法,這些算法的要害問題仍是太形式主義,甚至太拘泥于圖靈機的概念框架,與人的真實的智能存在根本差異,因為人的心智并非只有形式的一面,并非只是一個按固定算法行事的機器。另外,人的智能是極其復(fù)雜的,或者說是復(fù)雜系統(tǒng)。而復(fù)雜系統(tǒng)的特點在于,能“根據(jù)規(guī)則做出決定,它們時刻準備根據(jù)新得到的信息修改規(guī)則。不僅如此,主體有能力產(chǎn)生以前從未用過的新規(guī)則”。(約翰·卡斯蒂:《虛實世界:計算機仿真如何改變科學的疆域》,王千祥等譯,上??茖W教育出版社1998年版,第230頁。)也就是說,人的智能有非算法的、抵制編程的一面。根據(jù)批評者的苛刻智能標準,自由、自主的意向性或關(guān)聯(lián)外物的作用是智能的根本標志,否則不是智能。自然算法及其所產(chǎn)生的所謂智能由于不符合這個標準,因此不能被看作智能。在彭羅斯看來,智能、智慧離不開意識、意向性。他說:“智慧問題屬于意識問題范圍內(nèi),我相信,如果沒有意識相伴隨,真正的智慧是不會呈現(xiàn)的?!保_杰·彭羅斯:《皇帝新腦:有關(guān)電腦、人腦及物理定律》,許明賢等譯,湖南科學技術(shù)出版社1995年版,第469頁。)根據(jù)這個標準,自然計算沒有智能特性。著名科學家哈肯也有類似的看法,他說:“現(xiàn)今的各種計算機仍然遠遠不能達到被稱為‘智能這一要求,因而還無法談及計算機的智商問題。”(赫爾曼·哈肯:《大腦工作原理:腦活動、行為和認知的協(xié)同性研究》,郭治安等譯,上??萍冀逃霭嫔?000年版,第310頁。)“可以毫無異議地說,大腦的工作不同于圖靈機。用另一種方式講,當圖靈機產(chǎn)生一組數(shù)字作為一個數(shù)學問題的解時,是人給這些數(shù)字賦予了具體的含義。如果圖靈機發(fā)現(xiàn)一個問題不可判定,人可以確定真正發(fā)生的事件!”(赫爾曼·哈肯:《大腦工作原理:腦活動、行為和認知的協(xié)同性研究》,第313頁。)
這樣的爭論表面上是關(guān)于自然計算之類的人工智能是不是真正的智能的爭論,其實涉及的是關(guān)于智能觀根本問題的爭論,因此可看作是心靈哲學、認知科學和人工智能哲學中“沙文主義”與“自由主義”爭論的繼續(xù)。當然,在爭論中派生出了許多有新的思想內(nèi)容的理論形態(tài)。“沙文主義”和“自由主義”這兩個概念是一方在批評、指責對方時送給對方的綽號?!吧澄闹髁x”認為,心智是人類獨有的現(xiàn)象,是人與非人區(qū)分的標準。由于它堅持只有人類才擁有智能,人的智能是研究智能的唯一的“原型實例”,因此被批評者認為犯了人類沙文主義錯誤?!白杂芍髁x”則走向了另一極端,認為除人的智能是原型實例外,我們還應(yīng)把心智現(xiàn)象歸于人以外的生物、無機物、計算機、外星人甚至符號系統(tǒng)等。激進的做法是提出了智能普存論,認為智能在于信息加工,信息加工無處不在,因此智能遍在。(涂序彥:《人工智能的歷史、現(xiàn)狀與前景》,載涂序彥主編:《人工智能:回顧與展望》,第63頁。)有的甚至認為,機器表現(xiàn)出的智能現(xiàn)象也應(yīng)成為我們抽象智能定義的一個“原型實例”。魯格爾說:“我們避免使用‘智能是人類的特有能力的粗淺說法,而相信我們能夠通過設(shè)計和評估人工智能產(chǎn)物來有效地研究可能的智能空間?!保℅. Luger:《人工智能:復(fù)雜問題求解的結(jié)構(gòu)和策略》,第1頁。)這一看法不僅別出心裁地強調(diào)智能樣式具有多樣性、無窮可能空間的新特點,而且隱含著一種研究人工智能的新戰(zhàn)略,即主張通過從實驗上研究和評估計算機上所表現(xiàn)出的智能現(xiàn)象來推進人工智能的發(fā)展。他說:“人工智能研究的是智能行為中的機制,它是通過制造和評估那些試圖采用這些機制的人工制品來進行研究的?!保℅. Luger:《人工智能:復(fù)雜問題求解的結(jié)構(gòu)和策略》,第587—588頁。)這是典型的“異人工智能策略”或泛智能主義。很顯然,這里的爭論是關(guān)于智能的本質(zhì)、起源等智能觀的一般性觀點的爭論。而智能觀問題是哲學和人工智能科學都無法回避的問題。例如,一般人工智能專家認為,人工智能研究既是一門有形而上性質(zhì)的抽象科學,又是一門十分具體的應(yīng)用工程學。因為它不僅要解決計算機如何能表現(xiàn)出人類智能、計算機實現(xiàn)智能需要哪些原理、條件和技術(shù)支撐等問題,而且要站在像哲學一樣的高度來回答智能是什么、有何標志、特征,其實現(xiàn)有何條件等問題。在此意義上,許多人工智能專家認為,這一學科“是一般性的智能科學”,“是認知科學的智力內(nèi)核”,“它的目標就是提供一個系統(tǒng)的理論,該理論既可以解釋(也許還能使我們復(fù)制)意向性的一般范疇,也可以解釋以此為基礎(chǔ)的各種不同心理能力”。(瑪格麗特·博登編著:《人工智能哲學》,劉西瑞、王漢琦譯,上海譯文出版社2001年版,第2頁。)
筆者認為,這里的爭論焦點是,智能是一還是多?除了人有智能、能成為智能的原型實例外,非人事物是否能有智能特性?質(zhì)言之,智能是否是遍在的?對這些問題,研究的論著可謂汗牛充棟,但觀點莫衷一是。之所以如此,根本原因是這一問題沒有得到清晰的分析和梳理,特別是沒有看到里面纏繞的“本質(zhì)循環(huán)難題”,沒有對之做出合理的解答。這個難題的表現(xiàn)是:要按智能觀的要求找到關(guān)于智能的本質(zhì),建構(gòu)科學的定義,首先必須盡可能全面地查明智能的個別事例或原型實例,事例越多,越有望避免以偏概全的錯誤;而要如此,又必須找到區(qū)分智能與非智能的標準,即有對智能的本質(zhì)的正確認識;要有這個認識,又得有對個例的了解;要想知道某個例是否是認識智能本質(zhì)的個例,又必須有判斷的標準或關(guān)于本質(zhì)的認識,如此循環(huán),以至無窮。以往的有些爭論其實已觸及了此難題,只是人們沒有認識到予以解決的必要性和辦法,或者通過預(yù)設(shè)回避了循環(huán)問題,如強調(diào)以人的智能為原型實例的“沙文主義”就預(yù)設(shè)了自己關(guān)于智能本質(zhì)的一種觀點,而堅持機器表現(xiàn)出的智能也應(yīng)成為研究智能的可能空間中的實例的人也有自己對智能本質(zhì)的預(yù)設(shè)。之所以爭論沒有促成認識向真理的逼近,原因在于,一是這里的循環(huán)沒有得到清理和超越,二是都以預(yù)設(shè)作為論證自己觀點、批駁對方觀點的前提。究竟該怎樣化解這一難題呢?
要化解危機、沖破迷霧,關(guān)鍵要認識到這一難題有兩個問題沒有得到足夠清晰的認知。它們分別是“規(guī)范性問題”和“事實性問題”。筆者認為,智能觀問題中的本質(zhì)追問同時糾纏著這兩個問題,不區(qū)分開來就直接去給出對本質(zhì)問題的回答,必定陷入自說自話、各唱各調(diào)的境地。所謂規(guī)范性問題是指語詞或命名問題。命名是一種規(guī)范性行為,一旦出現(xiàn)過去語詞沒法予以表述的對象時,命名就有其必要性,如為一新生兒命名就是如此。用什么名字去稱呼他,純粹是在有關(guān)可能選項中挑選的問題,即屬于“應(yīng)該”問題。能指與所指之間的關(guān)系有任意性,沒有要符合的事實,因此不存在對與錯,只有貼切不貼切、妥當不妥當?shù)膯栴}。但兩者的關(guān)系一旦得到確立,就有其強制性。智能問題中的規(guī)范性問題,是指人們創(chuàng)立或使用“智能”這個詞究竟要指稱什么對象,指稱多大范圍內(nèi)的對象,這是一個像命名一樣的規(guī)范性問題,有其任意性,屬于應(yīng)該的問題。如有的人強調(diào)其智能指的是人所能表現(xiàn)出的智能,有的人則把“智能”指稱的范圍擴大到高等動物,乃至擴大到一切事物上,這是每個人所擁有的權(quán)利,沒有對錯之分,只有應(yīng)該不應(yīng)該的區(qū)別。正是因為有這個權(quán)利,哲學家和科學家經(jīng)常創(chuàng)立新的語詞或賦予舊詞以新義。智能的事實性問題則不同,它指的是一旦“智能”一詞的外延、指稱范圍被確定以后,其個例具有什么共性,能從中抽象出什么本質(zhì)規(guī)定性就是一個事實問題,所得的結(jié)論就有對錯之分。過去的爭論之所以越爭越糊涂,是因為沒有把這兩個問題區(qū)分開來,在不同的規(guī)范或外延下討論智能的本質(zhì),如用從人類智能個例中抽象出的智能本質(zhì)理論去批判堅持智能更大外延的人的智能本質(zhì)理論,這就相當于在兩個根本不同的語言世界中爭吵。在筆者看來,兩種以上的關(guān)于智能本質(zhì)的理論的爭論,只有在都堅持了同樣外延的前提下才是有意義的。如對于智能有無意向性、意識等本質(zhì)特點的爭論,只有在把智能的外延局限在人的智能范圍內(nèi)才是有意義的,因為這類本質(zhì)特點是從人身上抽象出來的。若據(jù)此去批評指責堅持自然計算是智能現(xiàn)象的觀點就是無的放矢,因為堅持這一觀點的人所理解的智能本質(zhì)(即能解決問題)是從更廣泛的事物包括無機物中抽象出來的。在此意義上,筆者既承認意向性是智能的本質(zhì)特點,也承認沒有意向性的事物也可表現(xiàn)出智能特性,因為它們是分別相對于不同的外延而言的。既然如此,不加限定地論證或批評某種智能本質(zhì)理論是沒有意義的,像塞爾那樣無條件地指責人工智能因沒有意向性從而不是智能就有失偏頗。
綜上,筆者認為,如果在解決智能的規(guī)范性問題時堅持認為,“智能”一詞的意義是信息加工或能解決問題,其原型實例包括人類、自然界、計算機乃至社會中符合這個意義的一切過程或系統(tǒng)的話,那么可以斷言,“自由主義”甚至智能普存論是無可指責的。當然如果在理解智能時以人為原型實例,只承認人的具有意識、意向性特性的過程是智能現(xiàn)象,那么當然應(yīng)否認自然計算有智能特性(它們即使有意向性也只有派生的意向性,而沒有像人的意向性那樣的原始意向性)。新出現(xiàn)的各種自然算法不僅在揭示自然智能及其必備特征的根據(jù)、條件、原理的過程中形成了新的結(jié)論,而且在模擬的技術(shù)實踐中也有新的收獲,甚至突破。計算智能已把模擬人的“能看、能聽、能想”的能力作為明確的目標提了出來。邱玉輝等學者說:“智能計算的最終目標和希望是‘機器最終能看、能聽,甚至是能想?!保ㄇ裼褫x等:《計算智能》,載涂序彥主編:《人工智能:回顧與展望》,第152頁。)據(jù)此,計算智能應(yīng)定義為:“包含計算機和濕件(如人腦)的一種方法論,而這種計算展示了適應(yīng)和處理新情況的能力,使系統(tǒng)具有推理的屬性,如泛化、發(fā)現(xiàn)、聯(lián)想和抽象?!?(邱玉輝等:《計算智能》,載涂序彥主編:《人工智能:回顧與展望》,第152頁。)當然應(yīng)承認,它們沒有、甚至永遠不可能有人的原始意向性所具有的那種有意識的自主的關(guān)聯(lián)作用。其實它們也不需要有這樣的特性,因為自然界、人類社會、人工世界都是按分工協(xié)作原則組織起來的。
也正是基于這樣的對規(guī)范性問題的解答,筆者不贊成智能單一論,而贊成智能形式的多樣性、開放性理論。當然這是相對于一種規(guī)范而言的,改變規(guī)范,結(jié)論就不同了。根據(jù)智能多樣性理論,智能的形式多種多樣,廣泛存在于自然界、人類心靈、人類社會中,層次有高低之別,而且還具有開放性、可再造性,人類可通過自己的才智創(chuàng)造出更加豐富多樣的智能體。就此而言,“異人工智能策略”或泛智能主義、智能普存論是合理的,也值得進一步推進和發(fā)展,這對我們實現(xiàn)人工智能的目標是必不可少的。在一定的規(guī)范下承認智能的多樣性、遍在性、開放性,對于我們通過人工智能的方式創(chuàng)造出更多、更實用的智能樣式,對于人類自身的發(fā)展是有不可限量意義的。既然如此,人工智能未來發(fā)展就應(yīng)著眼于對廣泛的、具體個別的智能樣式的解剖,即應(yīng)以盡可能多的智能個例為原型實例,探討它們構(gòu)成、起作用的方式和運作機理,而不應(yīng)停留于議論宏大的、泛泛的智能現(xiàn)象。如果確實是以具體的智能為模型而建構(gòu)出來的人工智能,那么就應(yīng)承認其是真正的智能。也就是說,應(yīng)放寬智能標準,堅持智能的復(fù)雜多樣性理論,不犯以偏概全的錯誤,不將智能子類的標準泛化到其他子類之上,否則,就會人為扼殺真正的人工智能。
Natural Computation and Its Problems in the View of Intelligence
GAO Xinmin
Abstract: In the process of simulating the function of a wide range of natural things and constructing such as annealing algorithm and evolutionary algorithm, the research of natural computing of artificial intelligence not only makes active exploration and contribution in improving and expanding human ability, but also provides us with rare materials for further thinking about the problems of intelligence concept and solving the in-depth basic theoretical problems of artificial intelligence from the perspective of philosophy and engineering technology. The urgent problem of AI philosophy is to distinguish normative problem from factual problem and to solve the essential circulation problem in the view of intelligence when it comes to natural computing. If artificial intelligence wants to make positive progress in simulating and surpassing natural intelligence, it should not only take one intelligent mode as the prototype example of anatomy and fall into the “chauvinism” extreme, but also relax the intelligent standard while avoiding the “l(fā)iberalism” error, adhere to the complex diversity theory of intelligence, avoid the error of over-generalization, focus on dissecting as much intelligent modes structure and operation mechanism as possible, and base on all these work to create more and more useful new modes of artificial intelligence.
Key words: natural computation, the view of intelligence, essential circulation problem, diversity of intelligence
(責任編輯:知 魚)
基金項目:教育部人文社會科學研究規(guī)劃基金項目“意向性與人工智能建?;A(chǔ)問題研究”(20YJA720003)
作者簡介:華中師范大學哲學研究所教授,博士生導(dǎo)師(湖北 武漢 430079)。