2 達(dá)特茅斯的十俠論劍

1956年夏，位于美國新罕布什爾州的漢諾佛（Hanover）小鎮(zhèn)充滿生機(jī)，雖然正值暑假，但位于這里的達(dá)特茅斯學(xué)院依舊熱鬧非凡。這注定是一個不平凡的夏天，時年29歲的學(xué)院教師約翰·麥卡錫（John McCarthy）和馬文·明斯基（Marvin Lee Minsky），邀請了來自五湖四海的年輕科學(xué)家們。他們相聚于達(dá)特茅斯學(xué)院，召開了一次頭腦風(fēng)暴式的研討會。

這次夏季會議的全稱為“達(dá)特茅斯人工智能夏季研討會”（圖3）。此時，帶著各種目的來參會的人們可能不會想到，這次長達(dá)一個月的討論會在人工智能發(fā)展史上將產(chǎn)生里程碑式的意義。

論道：大咖云集達(dá)特茅斯

眾所周知，達(dá)特茅斯是人工智能革命的濫觴之地。但實(shí)際上在達(dá)特茅斯的這一個月里，參會者們并沒有一個固定的議程，討論都建立在大范圍的集思廣益之上。最令人意外的是，雖然這是一次人工智能會議，參會的學(xué)者們卻大多不是計(jì)算機(jī)專業(yè)的研究者，他們有的來自數(shù)學(xué)界，有的來自哲學(xué)界，學(xué)科背景各異，但都關(guān)注同一個問題。由此可見，人工智能從一開始就是一門跨學(xué)科的學(xué)問。

比會議內(nèi)容本身更閃亮的是這些參與會議的大咖們（圖4）。會議的召集者麥卡錫是普林斯頓大學(xué)的數(shù)學(xué)博士，他當(dāng)時擔(dān)任達(dá)特茅斯學(xué)院數(shù)學(xué)系的助理教授。雖然他的職業(yè)看起來與計(jì)算機(jī)科學(xué)沒有什么直接的聯(lián)系，但他對邏輯和計(jì)算理論一直有著強(qiáng)烈的興趣。另外，他也深受“計(jì)算機(jī)之父”馮·諾伊曼（John von Neumann）的影響，對于用計(jì)算機(jī)來模擬智能抱有很大的興趣。

會議的另一位召集人馬文·明斯基是畢業(yè)于普林斯頓大學(xué)的數(shù)學(xué)博士，他和麥卡錫在讀書時就熟識。同樣也受馮·諾伊曼的啟發(fā)，其博士論文的主題就是神經(jīng)網(wǎng)絡(luò)。由此可見，盡管馮·諾伊曼沒有參加此次會議，但到處都是他的影子。

參加此次會議的重量級人物，還有后來的圖靈獎得主，也是歷史上首次同時獲得圖靈獎的師生組合——司馬賀（Herbert Alexander Simon）和艾倫·紐厄爾（Allen Newell）。司馬賀可謂年輕有為，他當(dāng)時已經(jīng)是卡內(nèi)基理工學(xué)院工業(yè)管理系的系主任。值得一提的是，他十分熱愛中國文化，并給自己取中文名為司馬賀。他還是中國科學(xué)院的外籍院士。人工智能只是司馬賀眾多獲得成就領(lǐng)域中的一個，他在政治科學(xué)和經(jīng)濟(jì)計(jì)量學(xué)領(lǐng)域的成就也足以被載入史冊。他有9個博士頭銜，各種大獎拿到手軟。除圖靈獎外，諾貝爾經(jīng)濟(jì)學(xué)獎、美國心理學(xué)會獎等重量級的國際大獎也是他的囊中之物。

紐厄爾的導(dǎo)師是博弈論領(lǐng)域的“大牛”莫根施特恩（Oskar Morgenstern）。他和司馬賀都代表人工智能符號派，他們將其哲學(xué)思路命名為“物理符號系統(tǒng)假說”。這個思想與英美的經(jīng)驗(yàn)主義哲學(xué)傳統(tǒng)接近。簡單說來就是：最原始的符號對應(yīng)于物理客體，所謂智能就是將物體轉(zhuǎn)化為符號。司馬賀和紐厄爾雖然是師生關(guān)系，但在學(xué)術(shù)上也是親密無間的搭檔。卡內(nèi)基梅隆大學(xué)計(jì)算機(jī)系的奠基者——阿蘭·珀里思（Alan Perlis），也是第一屆圖靈獎獲得者，從此該系也成為計(jì)算機(jī)學(xué)科的重鎮(zhèn)。

大名鼎鼎的信息論創(chuàng)始人克勞德·香農(nóng)也在此次會議的參與者名單中。香農(nóng)在戰(zhàn)時也曾參與破解密碼的工作，早在1943年時就同圖靈會晤過。然而，雖然他受到麥卡錫的邀請參會，但他們兩個的觀點(diǎn)其實(shí)并不一致，平時的相處也并不和睦。這些錯綜復(fù)雜的關(guān)系表明，這次會議可不是一派平和的交流會，其中充滿實(shí)打?qū)嵉挠^點(diǎn)碰撞。

遺珠：隱藏的“大人物”

在這次會上，除了如今如雷貫耳的業(yè)內(nèi)大拿們，也有一些參會者顯得有些“小眾”，但是他們在人工智能領(lǐng)域的成績不容忽視。

在眾多參會者之中，塞弗里奇（Oliver Selfridge）的名聲現(xiàn)在不太響亮，實(shí)際上他算得上是真正的人工智能學(xué)科先驅(qū)。他在模式識別領(lǐng)域是開山鼻祖式的人物，第一個可工作的AI程序也是由他書寫的。著名的MIT計(jì)算機(jī)科學(xué)實(shí)驗(yàn)室和人工智能實(shí)驗(yàn)室的前身就是由塞弗里奇在麻省理工學(xué)院參與領(lǐng)導(dǎo)的MAC的項(xiàng)目。鮮為人知的是，塞弗里奇的祖父創(chuàng)辦了英國第二大百貨店。塞弗里奇雖出身豪門，但他卻醉心于計(jì)算機(jī)科學(xué)。

另一位被后人忽視的參會者是所羅門諾夫（Ray Solomonoff）。提到他就不得不提現(xiàn)在炙手可熱的未來學(xué)家雷·庫茲韋爾（Ray Kurzweil），庫茲韋爾憑借“奇點(diǎn)”的觀點(diǎn)收獲擁躉無數(shù)，并著有《奇點(diǎn)臨近》一書，谷歌和美國宇航局還合作開辦了一所奇點(diǎn)大學(xué)（Singularity University，簡稱SU）。這所大學(xué)設(shè)在硅谷的美國宇航局埃姆斯研究中心內(nèi)，戰(zhàn)略地位不言而喻。這所新興崛起的大學(xué)致力于培養(yǎng)未來科學(xué)家，申請入校難度非常之大。然而，“奇點(diǎn)”這一觀點(diǎn)就來源于所羅門諾夫的“無限點(diǎn)”觀點(diǎn)。所羅門諾夫?qū)I中被廣泛運(yùn)用的貝葉斯理論也有開創(chuàng)性貢獻(xiàn)。

在后人看來，這次會議可謂群星閃耀，而在當(dāng)時，這些人不過是剛剛顯現(xiàn)的新星。在會議籌辦之初，組織者和與會者們也并沒有料到其將成為人工智能發(fā)展史上的一座里程碑。

追溯：緣何相聚達(dá)特茅斯？

由于美國教授都只能領(lǐng)九個月工資，1955年夏天，麥卡錫為了掙錢到IBM打短工。納撒尼爾·羅切斯特作為IBM第一代通用機(jī)701的主設(shè)計(jì)師，恰巧是他的老板，而且納撒尼爾·羅切斯特對神經(jīng)網(wǎng)絡(luò)非常有興趣。麥卡錫和羅切斯特一拍即合，決定第二年夏天即1956年在達(dá)特茅斯學(xué)院舉辦一次活動。

籌辦會議首先要尋找資金支持，麥卡錫和羅切斯特說動了香農(nóng)和明斯基一起給洛克菲勒基金會寫了一份項(xiàng)目建議書，希望得到資助。這份建議書羅列了他們計(jì)劃研究的自動計(jì)算機(jī)、編程語言、神經(jīng)網(wǎng)絡(luò)等七個領(lǐng)域。

麥卡錫給這次活動取名為“達(dá)特茅斯人工智能夏季研討會”，這一用詞在當(dāng)時看來十分別出心裁。現(xiàn)在我們對之已司空見慣，而在20世紀(jì)50年代大家對 “人工”一詞并沒取得完全的共識，“人工智能”一詞真正取得學(xué)界的廣泛認(rèn)可是在1965年。由此，麥卡錫也被認(rèn)為是發(fā)明了“人工智能”一詞。

意外：達(dá)特茅斯沒有神話

盡管有諸多的參與者和顯赫的名聲，事實(shí)上達(dá)特茅斯會議并沒有取得顯赫的成果，這次會議中也沒有嚴(yán)格規(guī)定的議題和要討論的問題，因?yàn)樵谌斯ぶ悄芊脚d之時，大家對很多問題都沒有共識。

會議由明斯基和麥卡錫發(fā)起，他們的初衷是創(chuàng)立一門新學(xué)科。但原計(jì)劃兩個月的閉門研討，并沒有讓與會者們?nèi)硇耐度脒M(jìn)去，實(shí)際上鮮少有人在達(dá)特茅斯待滿兩周。即使是重要參與者如紐厄爾后來都回憶說，達(dá)特茅斯會議對他和司馬賀的研究并沒有產(chǎn)生什么影響。

1956年9月，在美國無線電工程師協(xié)會（即IRE）信息論年會上，麥卡錫受邀對達(dá)特茅斯會議作一個報(bào)告，報(bào)告公布了紐厄爾和司馬賀一款名為“邏輯理論家” 的程序，這個程序可以用于證明懷特海和羅素《數(shù)學(xué)原理》中命題邏輯部分的一個很大子集。因此，最后關(guān)于達(dá)特茅斯會議的總結(jié)是由紐厄爾和司馬賀介紹他們的“邏輯理論家”并發(fā)表一篇題為《邏輯理論機(jī)》的文章。這篇文章是AI歷史上最重要的文章之一，“邏輯理論家”也是第一個可工作的AI程序。

同在IRE的信息年會上，心理學(xué)家喬治·米勒（George Miller）也發(fā)表《人類記憶和對信息的儲存》一文。諾姆·喬姆斯基（Noam Chomsky）則發(fā)表了論文《語言描述的三種模型》。

雖然如今我們將達(dá)特茅斯會議作為人工智能的起源，但是從參與者和會議成果的角度看，1956年的IRE信息論年會更重要，影響也更深遠(yuǎn)。明斯基后來回憶到，達(dá)特茅斯會議期間，他曾在紙上畫了一個幾何定理證明器的設(shè)計(jì)圖，并手動證明了等腰三角形的某一個定理。信息年會后IBM就招募了剛畢業(yè)的物理博士格蘭特（Herb Gelernter）來實(shí)現(xiàn)明斯基的幾何定理證明器構(gòu)想。

喬姆斯基晚年和物理學(xué)家克勞斯對話時被問及“機(jī)器可以思維嗎？”，這個問題圖靈也被問到過。喬姆斯基套用計(jì)算機(jī)科學(xué)家戴客斯特拉（Dijkstra）的說法反問：“潛艇會游泳嗎？”（圖5）

喬姆斯基認(rèn)為“意識”是相對簡單的，而“前意識”（preconsciousness）是困難的問題。他把AI分成工程的和科學(xué)的兩類。工程的一面，如自動駕駛車等，能做出對人類有用的東西；科學(xué)的一面，他引用圖靈的話：這問題too meaningless to deserve discussion（沒有討論的意義）。

其實(shí)，達(dá)特茅斯會議的地位之所以被捧得如此之高，很重要的原因是它的影響力源遠(yuǎn)流長。參會者們后來都成為AI發(fā)展中的中流砥柱，并且在不斷地激發(fā)新的創(chuàng)造力，由此才使得這次會議被視為AI興起之源。2006年，達(dá)特茅斯會議五十周年，十位當(dāng)時的與會者在世的只剩五位：摩爾、麥卡錫、明斯基、所羅門諾夫和塞弗里奇，他們在達(dá)特茅斯團(tuán)聚，追憶往昔，展望未來。

結(jié)語：達(dá)特茅斯會議的真正意義？

雖然達(dá)特茅斯會議本身沒有產(chǎn)生什么了不起的思想。但是，它的意義超過十個圖靈獎，因?yàn)樗岢隽藛栴}。好幾個以后非常熱門的研究領(lǐng)域的研究工作，包括人工智能和機(jī)器學(xué)習(xí)的探索研究，就始于那次會議之后。

哲學(xué)家丹尼爾·丹尼特（Daniel Dennett）曾說：AI就是哲學(xué)。哲學(xué)是科學(xué)之母，但一旦問題確定，科學(xué)就分離出來成為獨(dú)立的學(xué)科。如同AI，它衍生諸多問題，而在解決這些問題的過程中會產(chǎn)生許多子學(xué)科，一旦這些子學(xué)科能夠獨(dú)立，就沒人再去關(guān)心AI了。

現(xiàn)在計(jì)算機(jī)科學(xué)已成為成熟的學(xué)科，每一個計(jì)算機(jī)系都大致有三撥人：理論、系統(tǒng)和AI方面這樣三撥。AI如今成為一個熱詞，但我們不能忘記的是，AI人曾經(jīng)是被壓迫者。