我們的重頭戲來了,上回說到明斯基帶著“Snarc”參加了1956年6月的“達特茅斯夏季人工智能研究會議”。這個會議是受洛克菲勒(就是那個石油大王)基金的資助,在美國達特茅斯學院(這可也是常春藤名校啊!)裏召開的。
達特茅斯會議舊址
不過,洛克菲勒基金也不是隨隨便便給錢的,需要申請者提交申請提案。年輕的達特茅斯學院教師麥卡錫等人在申請洛克菲勒基金的提案裏,前瞻性地提出如何製造機器來模擬人的學習或智能的問題,並羅列了他們計劃研究的七個領域:自動計算機、自然語言處理、神經網絡、計算規模理論、自我改進、抽象、隨機性和創見性。麥卡錫認為,如果精心挑選一些科學家在一起工作一個夏天,則可以在這些問題上取得重大的進展。
這個會議有什麽來頭呢?不說不知道,一說嚇一跳,在這個會議上,“人工智能”(Artificial Intelligence,AI)一詞正式宣告出世,最終成為後人公認的開創人工智能領域的重要裏程碑事件,1956年也是公認的“人工智能元年”。也就是說,我們之前所用到的“人工智能”四個字隻是為了說明方便,那時候大家實際並不把這一領域稱為“人工智能”。其實,英國人最早的說法是“機器智能”(Machine Intelligence),這可能和圖靈那篇“計算機與智能”有關。
麥卡錫當時是達特茅斯學院的數學係助理教授。1954年,達特茅斯學院數學係同時有四位教授退休,這對達特茅斯這樣的小學校來說,簡直是一次沉重的打擊。剛上任的年輕係主任克門尼之前兩年才在普林斯頓大學邏輯學家丘奇門下取得了邏輯學博士,於是跑到母校求援。他成功地從普林斯頓大學數學係帶回了剛畢業的四位博士前往達特茅斯學院任教,麥卡錫是其中之一。1997年5月11日,深藍計算機在國際象棋比賽中以2勝3平1負的戰績首次擊敗排名世界第一的棋手加裏·卡斯帕羅夫,震撼世界!深藍能夠贏得勝利,靠的就是麥卡錫研究出的“α-β搜索法”。在這次達特茅斯會議之後的1959年,麥卡錫又開發了著名的LISP語言,成為人工智能界第一個最廣泛流行的語言,不過這是後話。