麥卡錫和明斯基的建議書里羅列了他們計劃研究的七個領(lǐng)域:一、自動計算機(jī),所謂“自動”指的是可編程;二、編程語言;三、神經(jīng)網(wǎng)絡(luò);四、計算規(guī)模的理論(theory of size of a calculation),這說的是計算復(fù)雜性,明斯基后來一直認(rèn)為計算理論是人工智能的一部分,他早期對理論問題時不時會動動手,后來一手組建了MIT的計算理論隊伍;五、自我改進(jìn),這個是說機(jī)器學(xué)習(xí);六、抽象;七、隨機(jī)性和創(chuàng)見性。
麥卡錫的原始預(yù)算是一萬三千五百美元,但洛克菲勒基金會只批了七千五百美元。麥卡錫預(yù)計會有六位學(xué)界的人出席,會議應(yīng)該支付每人兩個月的薪水一千兩百美元,由此可推算出麥卡錫、明斯基當(dāng)時的年薪在八千美元左右。
除了那六君子外,另外還有四人也參加了達(dá)特茅斯會議。他們是來自IBM的撒繆爾(Arthur Samuel)和伯恩斯坦,他們一個研究跳棋,一個研究象棋。達(dá)特茅斯的教授摩爾(Trenchard More)也參與了,他后來在工業(yè)界混的時間長,少為外人所知。達(dá)特茅斯會議中一位被后人忽視的先知是所羅門諾夫(Solomonoff)。
和其他來來往往的人不同,所羅門諾夫在達(dá)特茅斯嚴(yán)肅地待了整整一個暑假。他1951年在芝加哥大學(xué)跟隨費米得了物理碩士就到了MIT。但在芝加哥對他影響最大的是哲學(xué)家卡爾納普。有意思的是神經(jīng)網(wǎng)絡(luò)的奠基者之一皮茨也受惠于卡爾納普。司馬賀的回憶錄里也講到自己在芝加哥時聽卡爾納普的課開始啟蒙邏輯,從而開始對智能相關(guān)的問題感興趣。這么說來人工智能的兩大派:邏輯和神經(jīng)網(wǎng)絡(luò)都發(fā)源于老卡。這個話題以后有機(jī)會再展開??柤{普那時的興趣是歸納推理,這成為所羅門諾夫畢生的研究方向。所羅門諾夫后來結(jié)識了明斯基和麥卡錫,在他們的影響下研究邏輯和圖靈機(jī)。達(dá)特茅斯會議時,他受麥卡錫“反向圖靈機(jī)”和喬姆斯基文法的啟發(fā),發(fā)明了“歸納推理機(jī)”。他的工作后來被萬能的蘇聯(lián)數(shù)學(xué)家柯爾莫格羅夫(Kolmogorov)重新但又獨立地發(fā)明了一遍,就是現(xiàn)在俗稱“柯爾莫格羅夫復(fù)雜性”和“算法信息論”的東西。來自中國的計算理論學(xué)者李明現(xiàn)在是這領(lǐng)域的大牛,曾有專著。柯爾莫格羅夫1968年開始引用所羅門諾夫的文章,使得后者在蘇聯(lián)的名聲比在西方更加響亮。所羅門諾夫的另一個觀點“無限點”(Infinity Point)后來被未來學(xué)家?guī)炱澗S爾改名“奇點”竊為己有。目前AI中廣泛用到的貝葉斯推理也可見到所羅門諾夫的開創(chuàng)性痕跡。他一生并沒有大富大貴,大部分時間都是在自己的咨詢公司Oxbridge(牛津+劍橋,漢語俗稱“清北”)拿政府(空軍、海軍、ARPA和NIH——NIH資助了很多AI研究,以后有空再聊)的研究經(jīng)費,那公司只有他自己一個雇員。倫敦大學(xué)皇家哈洛威學(xué)院(Royal Holloway)后來在前蘇聯(lián)學(xué)者領(lǐng)導(dǎo)下搞柯爾莫格羅夫獎,他是第一屆獲獎人,并在那里兼職教授。他的學(xué)術(shù)自傳1997年發(fā)表在計算理論雜志《計算機(jī)與系統(tǒng)科學(xué)》上。明斯基所謂AI孵化出計算理論的說法不是沒有道理。
按照麥卡錫和明斯基的說法,這十個人參加了達(dá)特茅斯會議,但現(xiàn)在有證據(jù)表明會議也有其他的列會者,后來一直做神經(jīng)網(wǎng)絡(luò)硬件研究從而躲過AI幾十年過山車的斯坦福大學(xué)電機(jī)系教授維德羅(Bernard Widrow)后來回憶他也去了達(dá)特茅斯并且在那兒待了一周。
麥卡錫原來的計劃是兩個月閉門研討,但并非所有人都對那個事那么上心。紐厄爾和司馬賀只待了一周。紐厄爾后來回憶說達(dá)特茅斯會議對他和司馬沒什么影響。
盡管是“十仙過海”,但給所有人留下最深印象的是紐厄爾和司馬賀的報告,他們公布了一款程序“邏輯理論家”(Logic Theorist),這個程序可以證明懷特海和羅素《數(shù)學(xué)原理》中命題邏輯部分的一個很大子集。司馬賀回憶錄里說自己學(xué)術(shù)生涯最重要的兩年就是1955和1956年。這篇文章后來成了AI歷史最重要的文章之一。一段有意思的插曲:這篇文章最早是投給邏輯學(xué)最重要的刊物《符號邏輯雜志》的,但慘遭主編克里尼退稿,理由是:把一本過時的邏輯書里的定理用機(jī)器重證一遍沒啥意思。紐厄爾和司馬賀給羅素寫信報告這一成果,羅老不咸不淡地回復(fù)說:“我相信演繹邏輯里的所有事,機(jī)器都能干哈。”