王飛躍 | 紀(jì)念一位真正的科學(xué)思想家:人工智能之父馬文·明斯基
馬文·明斯基(Marvin Minsky)
前言:
2016年1月24日,人工智能先驅(qū)馬文·明斯基逝世,他在人工智能史上有著特殊重要地位,其思想的深度與原始性有時(shí)遠(yuǎn)在許多人的理解范圍。但人工智能領(lǐng)域也曾因明斯基等人的XOR邏輯算子“判”了神經(jīng)元網(wǎng)絡(luò)“死刑”,而陷于10年的寒冬之中。本文作者曾與明斯基有過數(shù)次私人交流,有感于其在人工智能領(lǐng)域的特殊貢獻(xiàn),特撰文紀(jì)念。
文 | 王飛躍(中國科學(xué)院自動化研究所復(fù)雜系統(tǒng)管理與控制國家重點(diǎn)實(shí)驗(yàn)室主任)
● ● ●
為了紀(jì)念剛剛?cè)ナ赖娜斯ぶ悄軇?chuàng)始人之一、認(rèn)知科學(xué)家馬文·明斯基(Marvin Minsky)教授,《IEEE Intelligent Systems》(簡稱IS)雜志正組織相關(guān)領(lǐng)域?qū)<壹懊魉够暗膶W(xué)生與朋友,撰寫悼文,懷念這位在人工智能史上有著特殊重要地位的先驅(qū)者和開拓者。
什么是智能?人工智能之父的回答
“What magical trick makes us intelligent? The trick is that there is no trick. The power of intelligence stems from our vast diversity, not from any single, perfect principle.”
——Marvin Minsky
Source/Notes
The Society of Mind(1987),p.308
到底有什么神奇的訣竅使我們?nèi)绱酥悄埽吭E竅就是根本沒有訣竅。智能的力量來源于我們自身巨大的多樣性,而非來源于某一單個(gè)的、完美的準(zhǔn)則。
——譯文來自王飛躍的報(bào)告
作為IS雜志的前任主編和現(xiàn)任名譽(yù)主編,我也責(zé)無旁貸,同時(shí)邀請了人工智能另一位重要的先驅(qū)與開拓者、斯坦福人工智能實(shí)驗(yàn)室的尼爾斯·尼爾森(Nils Nilsson)教授參與。由于時(shí)間太短,正在夏威夷海濱度假的尼爾森無法完成,但提醒我邀請明斯基早期在MIT的博士畢業(yè)生丹尼·博布羅(Danny Bobrow)和波特·拉斐爾 (Bert Raphael)。
丹尼和波特都是自然語言處理的先驅(qū),其中丹尼的博士論文是關(guān)于文字代數(shù)問題求解的STUDENT程序,波特的博士論文是關(guān)于語義信息搜索回取的SIR程序。事實(shí)上,STUDENT和SIR都是基于LISP寫的,這是一種通用的高級計(jì)算機(jī)程序語言,曾長期壟斷人工智能領(lǐng)域的應(yīng)用,算是人工智能在早期NLP(自然語言處理,Natural Language Processing)的里程碑工作。
丹尼后來成為美國人工智能學(xué)會(AAAI)以及認(rèn)知科學(xué)學(xué)會的主席,也曾擔(dān)任《人工智能》雜志主編;波特與尼爾森等發(fā)明了A*搜索方法,研發(fā)了世界上第一臺可移動智能機(jī)器人ShaKey,他還參與創(chuàng)辦了《人工智能》雜志并任主編。
有趣的是,當(dāng)年丹尼和波特在美國倫塞利爾理工學(xué)院(Rensselaer Polytechnic Institute,簡稱RPI)讀大學(xué)時(shí)是室友,1957年畢業(yè)后,二人分別去了麻省理工學(xué)院和布朗大學(xué)讀碩士;后來在一次野營時(shí)相會,丹尼問波特在做什么,波特說正研究彈性波多散射問題,丹尼說這聽起來沒多大意思,他正研究如何用相機(jī)識別他老師明斯基的光頭,只要他走進(jìn)房間,計(jì)算機(jī)就喊:“Hello,Marvin!”。一周后,波特申請轉(zhuǎn)到MIT,成為明斯基的學(xué)生,畢業(yè)后去了斯坦福國際咨詢研究所(SRI International,美國一家民間研究機(jī)構(gòu)),真的開發(fā)起利用相機(jī)進(jìn)行視覺識別和導(dǎo)航的機(jī)器人ShaKey!
記得我曾告訴波特,我也是從美國倫塞利爾理工學(xué)院的機(jī)器人與自動化實(shí)驗(yàn)室畢業(yè)時(shí),他則感慨當(dāng)年RPI既無自動化,也無機(jī)器人和AI(人工智能,Artificial Intelligence),就連計(jì)算機(jī)課程都沒有。其實(shí)當(dāng)年MIT也沒有這些,他們兩人的AI博士學(xué)位還是從數(shù)學(xué)系得來的。
1 明斯基:一位真正的科學(xué)思想家
邀請完兩位前輩,我自己如何寫卻成了問題。他們都與明斯基有很長的交往和很深的淵源,都認(rèn)為他是一個(gè)開放、真誠、友好、幽默、具有卓越創(chuàng)造性的人。
細(xì)數(shù)起來,25年前去MIT面試機(jī)器人助理教授時(shí),我與明斯基有過一次會面,另有兩次是通過互聯(lián)網(wǎng)交流:分別是6年前因他入選“人工智能名人堂”,編輯部試圖舉辦新聞會議和4年前因他的學(xué)生、我的前輩和朋友戴夫·華爾茲(Dave Waltz)去世的兩次郵件往來,除此之外,并沒有更多的感性認(rèn)識。而且,對于明斯基的學(xué)術(shù)思想,我的看法和認(rèn)識也比較復(fù)雜,雖然越來越贊成并獲益于其觀點(diǎn)和概念,但仍然還在過程之中,至今還沒有完全定型。
雖然如此,在我眼里明斯基是一位真正意義上的科學(xué)思想家,而且其思想的深度與原始性有時(shí)遠(yuǎn)在許多人的理解范圍之外,由此受到質(zhì)疑并引起爭議。對此我深有體會:上世紀(jì)80年代中期,當(dāng)我正掙扎著完成自己關(guān)于智能機(jī)組織與協(xié)調(diào)理論的博士論文時(shí),明斯基發(fā)表了他著名的《The Society of Mind》,此書曾給我很大的希望,以為真找到通向智能機(jī)的“金光大道”了。但我還沒有讀完,就意識到對一個(gè)剛?cè)腴T的研究生來說,這條路幾乎是不可能走通的。實(shí)驗(yàn)室有的同學(xué)甚至聲稱:“就是你給明斯基的‘ Agents’加上再漂亮的數(shù)學(xué)公式和具體的邏輯程序,答辯委員會的教授們也不會通過你的論文”。美國倫塞利爾理工學(xué)院是一個(gè)工程思維主導(dǎo)的地方,客氣的教授認(rèn)為他的想法是“ decent speculation”(優(yōu)美的假說)或者“too philosophical”(過于哲學(xué)),而有人則直接認(rèn)為這些雜文 “almost nothing to do with real AI”(與真正的人工智能毫無關(guān)系)。
畢業(yè)之后,我才開始重新認(rèn)識明斯基關(guān)于Agents的想法,在NASA的火星移動機(jī)器人Spiderobot項(xiàng)目中進(jìn)行嘗試,這還是在MIT的布魯克教授(Rodney Brook)關(guān)于機(jī)器人行為編程控制的Situated AI方法有了一些成功之后。九十年代末,當(dāng)我自己開始基于代理控制(Agent-based Control, ABC)方法研究時(shí),才真正感受到當(dāng)時(shí)明斯基的Agents思想的大膽與深刻。
今天,計(jì)算與AI技術(shù)的處境已發(fā)生了翻天覆地的變化,這一切似乎是“水到渠成”,而且我個(gè)人感覺,最近二十年上下AI都主要是沿明斯基的Agents思路發(fā)展。同時(shí),我個(gè)人也認(rèn)為自己關(guān)于默頓系統(tǒng)、社會計(jì)算、基于虛實(shí)二像性的平行系統(tǒng)之平行智能的工作似乎也已進(jìn)入明斯基30年前所設(shè)想的人工智能新世界。這恰如明斯基所說的:“ You don't understand anything until you learn it more than one way”!(對于一個(gè)事物,除非從多個(gè)途徑學(xué)習(xí),否則你什么也不知道。)
除了明斯基發(fā)表的《The Society of Mind》之外,1986年還出版了人工智能和認(rèn)知科學(xué)發(fā)展史上的另一部里程碑式的著作《Parallel Distributed Processing》(簡稱PDP)。這使我有幸,更準(zhǔn)確地來講是個(gè)人的不幸,同時(shí)讀了三本書:1965年出版的《Learning Machines》,1969年發(fā)表的《Perceptrons》,以及Rumelhart、McClelland及PDP研究小組編著的PDP,外加Rosenblatt(主要是Perceptron)、Widrow(主要是Adaline)、機(jī)器學(xué)習(xí)和我的導(dǎo)師關(guān)于Learning Control等方面的論文。
尼爾森的書《Learning Machines》給出了當(dāng)時(shí)學(xué)習(xí)機(jī)器和神經(jīng)元網(wǎng)絡(luò)的最全面的數(shù)學(xué)分析,但除了引理、定理外,幾乎沒有例子,特別是數(shù)值例子,使其成為“陽春白雪”、曲高和寡,由此失去了在工程師中快速傳播推廣神經(jīng)元網(wǎng)絡(luò)的機(jī)會。
明斯基和Seymour Papert——我一直戲稱他為See more Papers(多讀文獻(xiàn)之意)教授,一位自己十分敬重的智慧教育學(xué)家和知識機(jī)器的倡導(dǎo)者——在他們的書中,用一個(gè)再簡單不過的XOR邏輯算子差不多“判”了神經(jīng)元網(wǎng)絡(luò)的“死刑”,使其十年多幾乎無人問津,直接導(dǎo)致了人工智能的第二個(gè)“冬天”,而且是“嚴(yán)冬”。
而就在1986年,當(dāng)明斯基的《The Society of Mind》欲在人工智能領(lǐng)域引發(fā)另一次浪潮或更學(xué)術(shù)地講一次Paradigm Shift(典范轉(zhuǎn)移,又稱范式轉(zhuǎn)移,用來描述在科學(xué)范疇里,一種在基本理論上對根本假設(shè)的改變。后亦應(yīng)用于各種其他學(xué)科方面的巨大轉(zhuǎn)變。)之際,PDP中基于Back-Propagation(反向傳播,是“誤差反向傳播”的簡稱,是一種與最優(yōu)化方法結(jié)合使用的,用來訓(xùn)練人工神經(jīng)網(wǎng)絡(luò)的常見方法)的多層神經(jīng)元網(wǎng)絡(luò)揭掉了明斯基和Papert貼在神經(jīng)元網(wǎng)絡(luò)上的“死咒”,使其“起死回生”,也使明斯基的聲譽(yù)有所損失。
我相信這是為什么Agents和明斯基的其他學(xué)術(shù)思想沒有更快興起的一個(gè)重要原因,也是為什么后來Brook和Agents的倡導(dǎo)者沒有更明確、更有力地闡明明斯基的原始貢獻(xiàn)的重要原因。
然而,在當(dāng)時(shí)我更傾向于明斯基和Papert在《Perceptrons》里對神經(jīng)元網(wǎng)絡(luò)(Neural Networks,簡稱NN)的評論,認(rèn)為其基本模型有局限性和致命的缺陷,合起來的網(wǎng)絡(luò)說不定會有這樣或那樣的問題,至少計(jì)算上不是很有效。特別是讀McCulloch-Pitts神經(jīng)元模型原文時(shí),覺得內(nèi)容與題目(A Logical Calculus of Ideas Immanent in Nervous Activity)相差太遠(yuǎn),幾乎有讀喬治·布爾(George Boole)的《Laws of Thought》的感覺:看懂的太簡單,看不懂的覺得根本就是文學(xué)思想,不是硬科學(xué)(Hard Science)。
正在這段時(shí)間,我的導(dǎo)師的另一位學(xué)生,一位IBM的在職工程師,其關(guān)于Boltzmann網(wǎng)絡(luò)的工作覺得明明是錯(cuò)的,但導(dǎo)師仍然支持,后來論文也發(fā)表了,更使我對NN的研究產(chǎn)生了偏見。
而且,明斯基和Papert的書使得人工智能研究的大方向穩(wěn)定在以推理和邏輯編程為主的“符號”系統(tǒng)之上,而不是以NN為代表的計(jì)算智能方法,對于剛從計(jì)算力學(xué)“逃出”不久的我而言,當(dāng)然心里更愿意接受。一直到畢業(yè)后,我才開始改變自己的認(rèn)識,九十年代初開始了關(guān)于模糊神經(jīng)網(wǎng)絡(luò)(Neuro-Fuzzy Networks ,簡稱NFN) 方面的工作,構(gòu)造了通用的九層網(wǎng)絡(luò),以及相應(yīng)的學(xué)習(xí)算法,希望將語言層次的知識轉(zhuǎn)化成數(shù)值層次的模型。
2 明斯基與神經(jīng)元網(wǎng)絡(luò)理論(NN)的糾葛
回想起來,NN乃至計(jì)算智能之所以一直游離在人工智能的主流之外,與明斯基有相當(dāng)?shù)年P(guān)系。這也給了IEEE創(chuàng)辦NN Council,還有后來的NN學(xué)會,即改名后的計(jì)算智能學(xué)會(CIS)的機(jī)會。而且,后來以NN和支持向量機(jī)(Support Vector Machine,SVM是一種監(jiān)督式學(xué)習(xí)的方法,可廣泛地應(yīng)用于統(tǒng)計(jì)分類以及回歸分析)為主要起步方法的機(jī)器學(xué)習(xí)理論在廣泛應(yīng)用之后仍長期不被主流的人工智能學(xué)者所接受,似乎也與明斯基的影響有關(guān)。好在今天的機(jī)器學(xué)習(xí),特別是深度學(xué)習(xí)已然成為人工智能的主力,以符號邏輯為主的人工智能和以數(shù)值建模為主的計(jì)算智能也逐漸邁向合二為一。
其實(shí)NN的“災(zāi)難”并不能真正地怪罪于明斯基。在《Perceptrons》和明斯基等人于1971年撰寫的關(guān)于MAC項(xiàng)目的進(jìn)展報(bào)告中,明斯基等人把對NN的學(xué)術(shù)指責(zé)非常嚴(yán)格地限制于單層和“線性閾值”網(wǎng)絡(luò),而不是后來的多層和“Sigmoid非線性閾值”網(wǎng)絡(luò)。但他們的“文學(xué)性”描述卻十分清楚地告訴大家:盡管他們不能證明多層NN基本上是無用的,但十分自信地認(rèn)為這些網(wǎng)絡(luò)作為計(jì)算學(xué)習(xí)器件是不夠的。
科學(xué)是科學(xué),文學(xué)是文學(xué),大家忘了McCulloch和Pitts的原始文章已“證明”NN可實(shí)現(xiàn)所有的布爾邏輯算子,當(dāng)然包括XOR、尼爾森的《Learning Machines》第6章也證明了多層網(wǎng)絡(luò)Layered Machines的一般性能力,而結(jié)果還是明斯基和Papert一個(gè)小小的XOR反例就使NN塵封十余年、陷人工智能于“冬天”的境地。
其實(shí)要怪只能怪自己不動腦、盲從,把文學(xué)當(dāng)科學(xué)。這點(diǎn)反過來印證了明斯基所擅長的謎語式警句:“In science, one can learn the most by studying what seems the least”。(在科學(xué)里,研究似乎最不起眼東西,往往可以學(xué)到最重要的。)
唯一讓自己感覺不適的是,NN重生以后,明斯基和Papert聲稱他們過去無意也沒有把他們在《Perceptrons》中關(guān)于XOR的結(jié)論放大到整個(gè)NN,是別人誤解了他們的真正意圖。換言之,有人愿意將其文學(xué)語言當(dāng)成科學(xué)描述,怪不得他們。我在理性上認(rèn)同明斯基和Papert的說法,但《Perceptrons》明明白白往“死”里攻擊當(dāng)時(shí)風(fēng)頭正健的Perceptron,其提出者正是明斯基的高中校友和學(xué)術(shù)上的同事加“朋友”Frank Rosenblatt,就連他們書的封面也以象征Perceptron無能與致命缺陷的雙螺旋連通圖(而且還是用了令人尷尬的色彩)示之,感性上我很難覺得他們兩人是無辜的。
另外別忘了,明斯基很自豪他在自己的博士論文中提出了世界上第一個(gè)隨機(jī)連接的神經(jīng)元網(wǎng)絡(luò)模型,同時(shí)認(rèn)為人腦就是簡單而有局限的元件組成的“人肉機(jī)器(Meat Machines)”。而且,明斯基還在此前兩年出版的一本關(guān)于形式語言和計(jì)算基礎(chǔ)理論的大學(xué)教科書《Computation: Finite and Infinite Machines》里,與眾不同地引入了神經(jīng)元模型,大力提倡利用神經(jīng)元網(wǎng)絡(luò)構(gòu)造理論計(jì)算機(jī)。
令人寬慰的是,1971年,Rosenblatt英年早逝,死于意外事故(也有人說是自殺)之后,明斯基和Papert將修正后的新版《Perceptrons》獻(xiàn)給了Frank Rosenblatt。
說起明斯基的 《Computation》 ,還有幾句相關(guān)的題外話。我跟付導(dǎo)師(Minor Advisor) Robert McNaughton (羅伯特·麥柯納赫頓)學(xué)習(xí)形式語言時(shí),直接上研究生的課。因無計(jì)算機(jī)專業(yè)的大學(xué)背景,羅伯特推薦了 《Computation》 自修補(bǔ)課。讀后感覺這是一本深而易讀的優(yōu)秀教材,特別是明斯基關(guān)于Post定理的證明。獨(dú)出心裁、簡明清晰、令人印象深刻。而且,作為一個(gè)剛到美國的中國留學(xué)生,很高興在書中看到對首位在計(jì)算機(jī)和人工智能領(lǐng)域里開拓的王浩教授工作的高度評價(jià)。書中證明了“Wang Tiles(王氏瓷片)”與圖靈通用機(jī)等價(jià),同樣具有不可決定性(Undecidability)。
王浩是位著名的哲學(xué)家、數(shù)學(xué)邏輯學(xué)家和計(jì)算機(jī)科學(xué)家,在哈佛哲學(xué)家奎因的名下完成博士學(xué)位(盡管后來王浩對奎因有許多批評),也是羅伯特的師兄和研究數(shù)理邏輯的引路人。王浩晚年與 Godel 交好,成立 Godel 學(xué)會,致力于研究 Godel 哲學(xué)思想。 忘了是1989還是1990年,我當(dāng)面向王浩提起此事,才知道“王氏瓷片”是王浩自己的一位博士生首先命名的,并證明了其不可決定性,而明斯基是這位學(xué)生博士答辯委員會的成員,所以非常了解這方面的工作,后來證明了“王氏瓷片”與圖靈機(jī)的等價(jià)性(此事我一直不明白,但不是此處討論的問題)。更有趣的是,當(dāng)我同王浩講起系里有位教授人工智能的老師認(rèn)為明斯基是位“文學(xué)家、作家、半個(gè)哲學(xué)家”時(shí),王浩回應(yīng)到:一、顯然這位教授沒有看過明斯基的“小說”; 二、明斯基不是“半個(gè)哲學(xué)家”,至少是“一個(gè)半哲學(xué)家"!
細(xì)思一下,人工智能史上的這一“事件”有著令人“哭笑不得”的效果。尼爾森是AI中力推邏輯推理的“符號”學(xué)派(所謂“純凈派”)之主力。對計(jì)算智能方法不能說有“敵視”,但起碼支持不力,可他的第一本專著《Learning Machines》本來應(yīng)興起計(jì)算智能與機(jī)器學(xué)習(xí)的時(shí)代之“火”,卻無疾而終,或者說后來被明斯基和Papert撲滅了。明斯基是AI的認(rèn)知計(jì)算和“玄妙”學(xué)派(廣義的“邋遢”派)之開山,沒想到其《Perceptrons》卻狙擊了計(jì)算智能十余年,反過來成就了“符號”學(xué)派。這段歷史,符合其《The Society of Mind》的框架,活生生的一幕默頓系統(tǒng)動力學(xué)之戲,值得社會學(xué)家和歷史學(xué)家仔細(xì)地去研究。
我隱約地感覺當(dāng)年第一位AI之“父”John McCarthy離開MIT去斯坦福創(chuàng)立新的人工智能實(shí)驗(yàn)室與明斯基有關(guān)。按McCarthy的說法,是他召集了1956年的Dartmouth會議,提出了“人工智能”一詞,明斯基只是應(yīng)邀參會。接著,McCarthy發(fā)明了LISP語言,理所當(dāng)然成了現(xiàn)代AI“符號”學(xué)派的開山鼻祖。而明斯基一直自稱也被公認(rèn)是AI的“認(rèn)知科學(xué)家”,更傾向于Cybernetics(控制論,臺灣稱為??貙W(xué),是研究人等動物與機(jī)器之間通訊的規(guī)律,現(xiàn)代信息技術(shù)的理論基礎(chǔ)之一)創(chuàng)始人諾伯特·維納(Norbert Wiener)教授關(guān)于人工智能的想法:連續(xù)邏輯、連續(xù)信號或連續(xù)數(shù)學(xué)為主,而非離散邏輯、離散符號或離散數(shù)學(xué)。
實(shí)際上,在Dartmouth的夏季會議之前,維納過去的學(xué)生和同事已經(jīng)于同年的春天在MIT校園里組織了一次關(guān)于認(rèn)知科學(xué)的研討會。此會是否對接下來夏天的人工智能研討有影響,我目前無法知道,但無論如何,背后都有維納的影響。而且,維納與McClelland及Pitts的決裂,斷送了當(dāng)時(shí)計(jì)算方法引導(dǎo)AI發(fā)展的趨勢,客觀上為后來符號方法在AI的興起創(chuàng)造了機(jī)會。
但MAC項(xiàng)目中的AI部分,主導(dǎo)者卻成了明斯基,原因或許與項(xiàng)目資助人DARPA的Licklider博士的興趣有關(guān),其心理學(xué)和通信的背景,會更傾向于Wiener所指明的方向,結(jié)果導(dǎo)致McCarthy的離開,使斯坦福成為MIT MAC Project的競爭對手和“純凈派”的大本營。當(dāng)然這一切都是我的猜想,目前并無任何材料和考證。
今年年初我去俄勒岡州拜訪退休的尼爾森教授,還談起他的《Learning Machines》和明斯基的《The Society of Mind》,希望有時(shí)間回頭細(xì)讀,結(jié)果得到他購贈的一本來自英國格拉斯哥大學(xué)(Glasgow University)圖書館的1965年原版《Learning Machines》。沒想到回到北京后,辦公室送來一份湛廬文化董寰總編的禮物,明斯基《Emotion Machines》的中譯本《情感機(jī)器》。我曾略讀過英文版,但當(dāng)時(shí)整體上并不認(rèn)同其思路,也不相信其中的一些結(jié)論,正要把中文本帶在出差的路上細(xì)讀的時(shí)候,傳來了明斯基去世的消息。
兩本書,一個(gè)不幸的消息,加上谷歌AlphaGo算法大勝歐洲圍棋冠軍的《自然》論文和隨之而來關(guān)于深度學(xué)習(xí)及“人類vs人工智能”的討論熱浪,逼著自花時(shí)間去讀相關(guān)論文,也讓我頓然失去了細(xì)讀《情感機(jī)器》的心情?;蛟S,還是先看看尼爾森的小冊子《Understanding Belief》,理解信念到底為何吧。
不管信念為何,在一件事上我必須表明對明斯基教授的敬佩,就是他從不與自己的學(xué)生合作寫文章,但竭力為他們創(chuàng)造自由良好的成長環(huán)境,甚至連自己的家都成了學(xué)生們隨時(shí)可以來聊天吃飯的“俱樂部”。丹尼還記得明斯基請他去MIT教授餐廳吃飯,見過一個(gè)人,他還以為也是一個(gè)學(xué)生,結(jié)果竟是大名鼎鼎的維納Wiener教授。同任IS雜志主編(我的前任),也是《Science》雜志在信息領(lǐng)域的唯一編委,RPI計(jì)算機(jī)教授詹姆斯·漢德勒(James Hendler)也講了類似的故事: 他做學(xué)生參加會議時(shí),明斯基請他一起吃飯,并說還請了另外一人,希望他不要失望,到后令詹姆斯大吃一驚,原來他是人工智能的另一位“開山之父”、圖靈獎(jiǎng)和諾貝爾經(jīng)濟(jì)獎(jiǎng)得主哈伯特·西蒙(Herbert Simon)教授。明斯基對學(xué)生的扶持與風(fēng)格,可見一斑。
隨思亂筆,零散的回憶,算是自己對明斯基這位真正的科學(xué)與技術(shù)之思想家的懷念與致敬!
附錄
2012年,時(shí)任IEEE IS雜志主編王飛躍提議建立“人工智能名人堂”,Minsky是入選的十位之一。
Minsky1967年出版的唯一一本形式語言與計(jì)算理論大學(xué)教本,首次引入了神經(jīng)元模型和基于神經(jīng)元網(wǎng)絡(luò)的理論計(jì)算機(jī),并對華裔哲學(xué)家、數(shù)理學(xué)家和人工智能的開拓者王浩的工作進(jìn)行介紹。
1969年,Minsky和Papert發(fā)表《Perceptrons》,其狹義科學(xué)分析通過廣義文學(xué)語言的描述封殺了神經(jīng)元網(wǎng)絡(luò)研究十余年,將人工智能研究推入第二個(gè)"冬天"。史稱"The Perceptron Controversy"或"The XOR Affair"。有人甚至聲稱Perceptron的發(fā)明人,英年意外死亡的Rosenblatt就是因此而自殺的。
1986年,Minsky出版了他第一本面向大眾也是最有影響的專著《The Society of Mind》。本應(yīng)立即引導(dǎo)人工智能走向新世界,但這一年,神經(jīng)元網(wǎng)絡(luò)起死回生,重新崛起,客觀上延緩了Minsky思想的傳播。但近二十年,人工智能大體上還是沿著Minsky的特定領(lǐng)域代理Agents交互的思路發(fā)展。
2006年Minsky完成的《情感機(jī)器》,至今毀譽(yù)參半,沒有被人充分理解,形成共識。書一出版,就因其中壓根沒有提及生物神經(jīng)情感專家(也是歌唱家、作曲家)LeDoux的工作和專著《情感大腦》而受指責(zé)。Minsky在書中認(rèn)為意識、情感、推理都是思維,從而也就是智能之不同的方式而已。意識不是單一的"自我(Self)",而是不同心理過程所組成的"分布式云(Decentralized Cloud)"。而且,應(yīng)該把大腦看成血肉構(gòu)成的交換機(jī),實(shí)現(xiàn)人工智能的途徑就是如何使我們的理智(Mind)更像思維機(jī)器,而不是使機(jī)器更像人類。
王飛躍,主要研究領(lǐng)域?yàn)橹悄芸刂?、社會?jì)算、平行系統(tǒng)、知識自動化等。1990年獲美國倫塞利爾理工學(xué)院(RPI)計(jì)算機(jī)與系統(tǒng)工程博士學(xué)位?,F(xiàn)為中國科學(xué)院自動化研究所復(fù)雜系統(tǒng)管理與控制國家重點(diǎn)實(shí)驗(yàn)室主任,國防科技大學(xué)軍事計(jì)算實(shí)驗(yàn)與平行系統(tǒng)技術(shù)研究中心主任,中國科學(xué)院大學(xué)中國經(jīng)濟(jì)與社會安全研究中心主任, 青島智能產(chǎn)業(yè)技術(shù)研究院院長。
(責(zé)任編輯 徐可 葉水送)