西蒙與紐厄爾

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

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

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

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

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

圖1.3 西蒙（左）和紐厄爾

西蒙和紐厄爾雙劍合璧，創建了人工智能的重要流派：符號派。符號派的哲學思路稱為“物理符號系統假說”，簡單理解就是：智能是對符號的操作，最原始的符號對應于物理客體。

西蒙、紐厄爾和第一屆圖靈獎得主艾倫·佩利（Alan Perlis）一起創立了卡內基梅隆大學（Carnegie Mellon University，CMU）的計算機系，從此，卡內基梅隆大學就成為計算機科學和人工智能的重要基地。在華人學者中，活躍于谷歌、微軟、百度等公司的李開復、陸奇、沈向洋和洪小文，都畢業于卡內基梅隆大學的計算機系。佩利作為ALGOL語言的核心設計者，曾說過這樣一句話：“任何名詞都可以變為動詞?！保ˋny noun can be verbed.）他的意思是說，任何遠大的理想、志向、抱負和對新事物的追求，通過努力和不懈的實踐，都是可以實現的。這是佩利總結自己的一生所形成的至理名言。