1956年，人工智能元年。

這一年夏天，在美國(guó)新罕步什爾州的漢諾威（Hanover）小鎮(zhèn)，美麗的常春藤名校達(dá)特茅斯學(xué)院，群星閃耀，一批大師級(jí)的人物聚在一起共同研究了兩個(gè)月，目標(biāo)是“精確、全面地描述人類的學(xué)習(xí)和其他智能，并制造機(jī)器來(lái)模擬”。這次達(dá)特茅斯會(huì)議被公認(rèn)為人工智能（Artificial Intelligence，AI）這一學(xué)科的起源。

西蒙與紐厄爾

會(huì)議上最引人矚目的成果，是赫伯特·西蒙和艾倫·紐厄爾介紹的一個(gè)程序“邏輯理論家”（Logic Theorist），這個(gè)程序可以證明伯特蘭·羅素（Bertrand Russell）和艾爾弗雷德·諾思·懷特海（Alfred North Whitehead）合著的《數(shù)學(xué)原理》中命題邏輯部分的一個(gè)很大子集，“邏輯理論家”程序被許多人認(rèn)為是第一款可工作的人工智能程序。

值得提一下的是，三年之后的1959年，來(lái)自中國(guó)的邏輯學(xué)家王浩，在一臺(tái)IBM704機(jī)上，只用9分鐘就證明了《數(shù)學(xué)原理》中一階邏輯的全部定理，也成為機(jī)器證明領(lǐng)域的開創(chuàng)性人物。順便幫文藝青年“八卦”一下，畢業(yè)于西南聯(lián)大數(shù)學(xué)系的王浩，他的邏輯學(xué)老師就是金岳霖先生，而金岳霖先生正是一代才女林徽因最好的朋友。

赫伯特·西蒙對(duì)中國(guó)頗為友好，還有個(gè)中文名字叫司馬賀，他是美國(guó)著名的經(jīng)濟(jì)學(xué)家、社會(huì)學(xué)家、管理學(xué)家、心理學(xué)家和計(jì)算機(jī)科學(xué)家。令人不可思議的是，在每個(gè)領(lǐng)域，他都取得了世界級(jí)的成就。1975年，他和艾倫·紐厄爾共同獲得計(jì)算機(jī)屆的最高獎(jiǎng)——圖靈獎(jiǎng)（A.M. Turing Award），1978年獲得諾貝爾經(jīng)濟(jì)學(xué)獎(jiǎng)，1986年獲得美國(guó)國(guó)家科學(xué)獎(jiǎng)。才華橫溢的西蒙，在一次采訪中這樣介紹他的跨學(xué)科研究：“其實(shí)在我看來(lái)，早在19歲時(shí)，我已下決心投身于人類決策行為和問(wèn)題解決的相關(guān)研究了。有限理性可以看作是它在經(jīng)濟(jì)學(xué)領(lǐng)域的一個(gè)具體體現(xiàn)。而當(dāng)我接觸到計(jì)算機(jī)技術(shù)時(shí)，更是第一次感覺到終于有了一種得力的研究工具，可以讓我隨心所欲地進(jìn)行自己鐘愛的理論研究了。所以后來(lái)我投身到這個(gè)領(lǐng)域，并進(jìn)一步接觸到了心理學(xué)。”

艾倫·紐厄爾，西蒙40多年的親密合作伙伴，這樣形容自己的工作：“其實(shí)我們所研究的科學(xué)問(wèn)題，并不是由自己決定的，換句話說(shuō)，是科學(xué)問(wèn)題選擇了我，而不是我選擇了它們。在進(jìn)行科學(xué)研究時(shí)，我習(xí)慣于鉆研一個(gè)特定的問(wèn)題，人們通常把它叫作人類思維的本質(zhì)。在我的整個(gè)科學(xué)研究生涯中，我都在對(duì)這個(gè)問(wèn)題進(jìn)行探索，而且還將一直探索下去，直到生命的盡頭。”在筆者看來(lái)，紐厄爾終生鉆研的“人類思維的本質(zhì)”，正是人工智能最難和最本質(zhì)的課題！

西蒙比紐厄爾大11歲，他在RAND公司學(xué)術(shù)休假時(shí)認(rèn)識(shí)了只有25歲的紐厄爾，兩人相見恨晚，十分投機(jī)。西蒙那時(shí)已經(jīng)是卡內(nèi)基理工學(xué)院工業(yè)管理系的年輕系主任，他后來(lái)力邀紐厄爾到卡內(nèi)基理工學(xué)院，親自擔(dān)任紐厄爾的博士導(dǎo)師，并開始了他們終生的合作。雖然西蒙是紐厄爾的老師，但是他們的合作卻是平等的。合作的文章署名，通常是按照字母順序，紐厄爾在前，西蒙在后。參加會(huì)議時(shí)，西蒙如果見到別人把他的名字放在紐厄爾之前，通常都會(huì)糾正。西蒙這樣謙謙君子的人品，實(shí)在太值得中國(guó)的知識(shí)分子好好學(xué)習(xí)。圖1.3是西蒙（左）和紐厄爾。

 

[[391109]]

圖1.3 西蒙（左）和紐厄爾

西蒙和紐厄爾雙劍合璧，創(chuàng)建了人工智能的重要流派：符號(hào)派。符號(hào)派的哲學(xué)思路稱為“物理符號(hào)系統(tǒng)假說(shuō)”，簡(jiǎn)單理解就是：智能是對(duì)符號(hào)的操作，最原始的符號(hào)對(duì)應(yīng)于物理客體。

西蒙、紐厄爾和第一屆圖靈獎(jiǎng)得主艾倫·佩利（Alan Perlis）一起創(chuàng)立了卡內(nèi)基梅隆大學(xué)（Carnegie Mellon University，CMU）的計(jì)算機(jī)系，從此，卡內(nèi)基梅隆大學(xué)就成為計(jì)算機(jī)科學(xué)和人工智能的重要基地。在華人學(xué)者中，活躍于谷歌、微軟、百度等公司的李開復(fù)、陸奇、沈向洋和洪小文，都畢業(yè)于卡內(nèi)基梅隆大學(xué)的計(jì)算機(jī)系。佩利作為ALGOL語(yǔ)言的核心設(shè)計(jì)者，曾說(shuō)過(guò)這樣一句話：“任何名詞都可以變?yōu)閯?dòng)詞。”（Any noun can be verbed.）他的意思是說(shuō)，任何遠(yuǎn)大的理想、志向、抱負(fù)和對(duì)新事物的追求，通過(guò)努力和不懈的實(shí)踐，都是可以實(shí)現(xiàn)的。這是佩利總結(jié)自己的一生所形成的至理名言。

麥卡錫與明斯基

麥卡錫（見圖1.4），1927年出生于波士頓，他的父母都是美國(guó)共產(chǎn)黨員，曾經(jīng)為勞工和婦女的權(quán)利做出過(guò)斗爭(zhēng)和貢獻(xiàn)，他似乎也從父母那里繼承了一些理想主義思想和組織才能。麥卡錫從小就天資聰穎，小學(xué)時(shí)連續(xù)跳級(jí)，高中時(shí)開始自學(xué)加州理工學(xué)院一、二年級(jí)的微積分教材，把書上練習(xí)題全作了一遍，后來(lái)，他被加州理工學(xué)院數(shù)學(xué)系錄取，并立刻申請(qǐng)直接進(jìn)入大學(xué)三年級(jí)學(xué)習(xí)，而且很快得到了批準(zhǔn)。

[[391110]]

圖1.4 麥卡錫

在加州理工學(xué)院的一次學(xué)術(shù)研討會(huì)上，麥卡錫聽到了偉大的計(jì)算機(jī)先驅(qū)馮·諾伊曼（John von Neumann）的學(xué)術(shù)報(bào)告：“自動(dòng)操作下的自我復(fù)制”。在報(bào)告中，馮·諾伊曼提出能夠設(shè)計(jì)具有自我復(fù)制能力的機(jī)器，這個(gè)觀點(diǎn)激發(fā)了麥卡錫的極大興趣。他不禁暗暗思索，這種機(jī)器能不能擁有像人類一樣的智能呢？可以說(shuō)，與馮·諾伊曼的這次相遇和后來(lái)的交流，最終確定了麥卡錫終生的職業(yè)方向。

麥卡錫在24歲時(shí)就拿到了普林斯頓大學(xué)的博士學(xué)位，后來(lái)又結(jié)識(shí)了香農(nóng)和IBM公司的納撒尼爾·羅切斯特這些大師，還認(rèn)識(shí)了他的好友明斯基。這些交往使得達(dá)特茅斯會(huì)議的組織成為可能。

明斯基（見圖1.5），1927年出生于紐約，和麥卡錫同歲，他的父親是一名眼科專家，也是畫家和音樂(lè)家，他的母親是一個(gè)活躍的猶太復(fù)國(guó)主義者。明斯基回憶童年時(shí)，說(shuō)起過(guò)父親：“我們家沒(méi)有什么復(fù)雜的家具，只是到處都布滿了各種各樣的凸透鏡、棱鏡和光圈。我經(jīng)常把父親的這些器材拆得七零八落，但他從來(lái)不會(huì)因此責(zé)備我，而只是不聲不響地將這些零件重新組裝回去。”

[[391111]]

圖1.5 明斯基

父母親所創(chuàng)造的這種充滿科學(xué)和藝術(shù)氛圍的環(huán)境，幫助明斯基從小就對(duì)自然科學(xué)表現(xiàn)出了很高的天分和學(xué)習(xí)熱情，并取得了優(yōu)異的學(xué)習(xí)成績(jī)。但是第二次世界大戰(zhàn)的爆發(fā)暫時(shí)終止了他的學(xué)業(yè)，明斯基應(yīng)征加入海軍，接受了電子學(xué)的訓(xùn)練，退伍后他進(jìn)入哈佛大學(xué)攻讀數(shù)學(xué)。明斯基的專業(yè)是數(shù)學(xué)，同時(shí)對(duì)物理學(xué)和生物學(xué)也有濃厚的興趣，后來(lái)他又對(duì)人類最復(fù)雜的器官——大腦的奧秘開始著迷。

1951年，明斯基和迪安·埃德蒙茲（Dean Edmonds）合作設(shè)計(jì)了SNARC，SNARC是“Stochastic Neural Analog Reinforcement Calculator”的縮寫，意思是“隨機(jī)神經(jīng)網(wǎng)絡(luò)模擬強(qiáng)化計(jì)算器”。它是第一個(gè)人工神經(jīng)網(wǎng)絡(luò)，盡管它只是用3000個(gè)真空管模擬40個(gè)神經(jīng)元的運(yùn)行，但它仍然能夠在不斷地嘗試過(guò)程中學(xué)會(huì)一些解決問(wèn)題的方法。明斯基將這項(xiàng)成果寫成了博士論文，在進(jìn)行博士論文答辯時(shí)，因?yàn)槭菙?shù)學(xué)博士論文，一位答辯導(dǎo)師抱怨說(shuō)，明斯基所做的這些研究跟數(shù)學(xué)并沒(méi)有多大的關(guān)系。對(duì)此，當(dāng)時(shí)世界上最牛的數(shù)學(xué)家之一，偉大的馮·諾伊曼為他辯護(hù)說(shuō)：“就算現(xiàn)在看起來(lái)它跟數(shù)學(xué)關(guān)系不大，但總有一天，你會(huì)發(fā)現(xiàn)它們之間是存在著密切聯(lián)系的。”明斯基順利地拿到了博士學(xué)位，筆者認(rèn)為，他當(dāng)時(shí)也許有“人生得一知己，斯世當(dāng)以同懷視之”的感受吧。

在達(dá)特茅斯會(huì)議上，西蒙和紐厄爾的“邏輯理論家”、明斯基的SNARC和麥卡錫的α-β搜索法，是最受關(guān)注的學(xué)術(shù)成果。另一關(guān)鍵事件是麥卡錫首次提出人工智能，大師們的深入討論和傳播，推動(dòng)人工智能成為計(jì)算機(jī)科學(xué)中一門獨(dú)立的學(xué)科。

1958年，麥卡錫和明斯基先后轉(zhuǎn)到麻省理工學(xué)院（Massachusetts Institute of Technology，MIT）工作，他們共同創(chuàng)建了MAC項(xiàng)目，這個(gè)項(xiàng)目后來(lái)演化為麻省理工學(xué)院人工智能實(shí)驗(yàn)室，這是世界上第一個(gè)人工智能實(shí)驗(yàn)室，為人工智能行業(yè)培養(yǎng)了無(wú)數(shù)的精英人才。1969年，明斯基獲得圖靈獎(jiǎng)。1971年，麥卡錫獲得圖靈獎(jiǎng)。他們兩人都曾被稱為“人工智能之父”。