1997年5月,IBM的深藍超級電腦擊敗當時的國際象棋世界冠軍蓋瑞.卡斯帕羅夫,這場勝利為人工智慧(AI)贏得深遠意義的喝彩。可是創造和引領人工智慧研究的約翰.麥卡錫,他可不這麼認為。
追溯到60年代中期,國際象棋被稱為“人工智慧的果蠅”(果蠅常被生物學家參照,用來揭示遺傳密碼),麥卡錫認為他自己在人工智慧領域的成功將類推論法帶得太遠。
“電腦國際象棋得到很大程度的發展,遺傳學也可能取得類似成就—如果遺傳學家將精力集中在1910年開始的飼養賽跑果蠅。”麥卡錫在深藍贏得比賽後寫下感言。“我們也許有些科學建樹,但更多的成就是我們創造了飛得快果蠅。”
黛芬妮.科勒是史丹佛人工智慧研究所的一位教授,她依然高舉麥卡錫人工智慧正統願景的火炬,在一段概括麥卡錫和其工作的敘述中她說道:“世人對他最好的描述是“堅定不移”,她告訴《連線》雜誌,“他相信人工智慧能夠真正複製人類水準的智慧,也正因此,他對今日人工智慧的很多產品不甚滿意,這些產品提供非常有用的應用程式但過於關注機器學習能力。”
“他想讓人工智慧通過圖靈測試。(圖靈提出的一個關於機器人的著名判斷原則。所謂圖靈測試是一種測試機器是不是具備人類智慧的方法。被測試的有一個人,另一個是聲稱自己有人類智慧的機器。
麥卡錫任職近40年的史丹佛大學釋出訊息稱,約翰.麥卡錫於週一(2011年10月24日)去世,享年84歲。1956年召開的達特茅斯暑期人工智慧研究會議,麥卡錫不僅將人工智慧一詞加入字典,也令他與人工智慧大師馬文.明斯基,納撒尼爾·羅徹斯特和克勞德.夏農齊名,開創了人工智慧研究的嶄新領域。隨後數年,他發明了LISP語言(一種基於λ演算的函數語言程式設計語言)—全世界最有影響力的程式語言之一—麥卡錫還在分時系統的發展上扮演重要角色。
“如果沒有分時系統,就沒有今日世界的網際網路。”50年代後期與麥卡錫共事於麻省理工大學、後又在麥卡錫1962年協助創立的史丹佛人工智慧研究所任職的萊斯特.恩尼斯特如是評價。
但麥卡錫對當今世界的全部影響遠不止此,2003年加入谷歌發展無人駕駛車之前重振了史丹佛人工智慧研究所的塞巴斯蒂安.讓姆說。“麥卡錫是人工智慧界的哲學家。”
分時系統
萊斯特.恩尼斯特第一次遇見麥卡錫是在麻省理工大學,當時他在為政府的半自動防空系統(SAGE)專案出力—SAGE是較早期、可同時允許多個使用者登陸計算機的網路系統—恩尼斯特稱SAGE啟發了麥卡錫的分時系統。“他是第一個提出將分時系統用於民用而非專業用途的人。”恩尼斯特說。
麥卡錫的一篇論文引發了相容分時系統(CTSS)—CTSS1961年在麻省理工大學被提出—後來麥卡錫幫助波特-貝拉尼克和紐曼公司建立了類似系統,這傢俬人諮詢公司在網際網路的創立上起到重要作用。
但對於麥卡錫來說,分時系統排在人工智慧之後。在麻省理工大學任職期間,他創立了一個令他齊名於美國達特默思人工智慧大師馬文.明斯基的“人工智慧群”,這最終促成了麻省理工的MAC(實現分時系統)專案,一個美國國/防高階研究計劃署(DARPA)的專案—所創下的成就在多年後一直稱雄該領域。
在麻省理工期間,麥卡錫開發出LISP語言,不僅成為人工智慧社群的標準程式用語,而且普遍地滲透於計算機世界。時至今日,它是仍在使用中的、世界第二古老、高階程式語言—僅排在Fortran之後。但不同於Fortran語言的是,它還在哺育新的語言。
“[麥卡錫] 真正的濃縮了計算的意義,”谷歌研發總監皮特.諾菲格說,指出現代語言諸如JavaScript和Python都是LISP語言的繼承者。“某種程度上,以前也有人做過;比如圖靈有一個定義計算的數學方法。但麥卡錫是第一個將計算的本質置入程式語言的人,這對無數人產生了巨大的影響。”
史丹佛人工智慧研究所及以外
MAC專案展開後,麥卡錫前往史丹佛,並在那裡創立史丹佛人工智慧研究所(SAIL),SAIL後來成為MIT的長期競爭對手。萊斯特.恩尼斯特後來加盟,他將SAIL視為現代科技的繁殖地—該觀念得到谷歌塞巴斯蒂安.讓姆的認同,他指出從電腦使用者介面到程式工作幾乎都發源於SAIL的研究。
恩尼斯特說阿倫.凱就是研究所影響力的例證,凱在加入帕洛阿爾託研究中心(PARC)之前在SAIL學習,他用他的SmallTalk語言發明了目標導向程式,並宣稱麥卡錫和LISP對他的發明影響重大。凱後來稱LISP語言是“有史以來最好的程式語言。”
在80和90年代,SAIL研究所淡出科技界關注。“人工智慧經歷了一個寒冬,”谷歌的塞巴斯蒂安.讓姆說。“現實與預期成果之間出現一個錯位。人們意識到我們無法毫無差異地複製人類智慧。”但在2003年,讓姆重振了SAIL,至少在某些方面—如麥卡錫精神。
如黛芬妮.科勒,讓姆說如今的人工智慧工作與麥卡錫的理念並不總是一致。“在我看來,谷歌就是人工智慧,”他說,“但麥卡錫對此表示疑義。他常找上我並告訴我錯了。”
[這種時候],讓姆就會很尊重地表達不同意,“我知道如何把我的事做對,但不是把你的事做對。”他這樣對麥卡錫說。但讓姆承認,總有一天麥卡錫會佔上風。“在他所維護的問題上取得成功。”讓姆說。
“當我們真正理解人類類推論時,這一刻就會來臨。”