Herbert A. Simon和Allen Newell，以及他們規(guī)劃的草案

50年前，Carnegie的科學(xué)家Allen Newell和Herbert A. Simon在圣誕期間發(fā)明了第一個人工智能（AI）裝置。1956年在達特茅斯學(xué)院大會，John McCarthy、Marvin Minsky、Allen Newell和Herbert Simon“人工智能四大師”將人工智能定為一門正式的學(xué)科。目標(biāo)是理解智 能行為的原理和機制。1971年的圖靈獎授予了提出“人工智能”這一術(shù)語并使之成為一個重要學(xué)科領(lǐng)域的斯坦福大學(xué)教授約翰·麥卡錫 (John MeCarthy)。1969年的圖靈獎授予了人稱“人工智能之父”和框架理論的創(chuàng)立者—馬文·明斯基(Marvin Lee Minsky)。

作為人工智能三大學(xué)術(shù)流派之一，Allen Newell和Herbert A. Simon創(chuàng)建了符號主義（Symbolism)，基于邏輯推理的智能模擬，模擬人類求解問題的心理過程。

1975年Allen Newell和Herbert A. Simon獲得圖靈獎，獲獎原因是：由于在人工智智能、人類識別心理和表處理的基礎(chǔ)貢獻。1978年，兩人還獲諾貝爾經(jīng)濟學(xué)獎。

兩位獲獎?wù)呓榻B地址：
http://www./awards/citations/newell.html
http://www./awards/citations/simon.html

附錄更詳細(xì)的背景介紹資料：

1975年度的圖靈獎同時授予卡內(nèi)基—梅隆大學(xué)的兩位教授：赫伯特·西蒙(Herbert Alexander Simon）和艾倫 · 紐厄爾(Allen Newell)。他們曾是師生，后來成為極其親密的合作者，共事長達42年，直至紐厄爾于1992年去世。

西蒙1916年6月15日生于美國威斯康辛州密西根湖畔。他從小聰明好學(xué)，當(dāng)入學(xué)芝加哥大學(xué)時年方17。1936年他從芝加哥大學(xué)畢業(yè)，取得政治學(xué)學(xué)位。參加工作后廣泛接觸計算機并產(chǎn)生了濃厚興趣。1939年，他轉(zhuǎn)至加州大學(xué)伯克利分校，在那里完成了博士論文，經(jīng)他的原母校芝家哥大學(xué)進行評審答辯，被授予政治學(xué)博士學(xué)位。1949年他來到他的最后一個落腳點卡內(nèi)基—梅隆大學(xué)。紐厄爾1927年生于舊金山。二戰(zhàn)期間，曾在海軍服了兩年預(yù)備役，表現(xiàn)出色。戰(zhàn)后他進入斯坦福大學(xué)學(xué)習(xí)物理，1949年獲得學(xué)士學(xué)位。之后他在暜林斯頓大學(xué)研究生院攻讀數(shù)學(xué)，一年后輟學(xué)到RAND公司工作，和空軍合作開發(fā)早期預(yù)警系統(tǒng)。系統(tǒng)需要模擬在雷達顯示屏前工作的操作人員在各種情況下的反應(yīng)，這導(dǎo)致紐厄爾對“人如何思維”這一問題發(fā)生興趣。也正是從這個課題開始，紐厄爾和卡內(nèi)基—梅隆大學(xué)的西蒙建立起了合作關(guān)系。在合作過程中，紐厄爾所表現(xiàn)出的才能和創(chuàng)新精神深得西蒙贊賞，在西蒙的竭力推薦下，紐厄爾得以在卡內(nèi)基—梅隆大學(xué)注冊為研究生，并在西蒙指導(dǎo)下完成其博士論文，于1957年獲得博士學(xué)位. 并且他還提出了“中間結(jié)局分析法”作為求解人工智能問題的一種技術(shù)。利用這種方法，他們合作開發(fā)成功了最早的啟發(fā)式程序“邏輯理論家”LT(LogicThorist)和“通用問題求解器”。LT證明了數(shù)學(xué)名著《數(shù)學(xué)原理》一書第二章52個定理中的38個定理（1963年對LT改進后可證明全部52個定理），從而也開創(chuàng)了機器定理證明（mechanical theorem proving）這一新的學(xué)科領(lǐng)域。在開發(fā)邏輯理論家的過程中，他們首次提出并成功應(yīng)用了“鏈表”（list）作為基本的數(shù)據(jù)結(jié)構(gòu)，并設(shè)計與實現(xiàn)了表處理語言IPL。IPL是所有表處理語言的始祖，也是最早使用遞歸子程序的語言。其實他們兩人在人工智能中作出的最基本貢獻還在于他們提出了“物理符號系統(tǒng)假說”PSSH (Pysical Symbol System Hypothesis)，成為人工智能中影響最大的符號主義學(xué)派的創(chuàng)始人和代表人物，而這一學(xué)說則鼓勵著人們對人工智能進行偉大的探索。根據(jù)這一假說，物理符號系統(tǒng)也就是對一般智能行為具有充分而必要手段的系統(tǒng)，即任一物理符號系統(tǒng)如果是有智能的，則必能執(zhí)行對符號的輸入、輸出、存儲、復(fù)制、條件轉(zhuǎn)移和建立符號結(jié)構(gòu)這樣6種操作。反之，能執(zhí)行這6種操 作的任何系統(tǒng)，也就一定能表現(xiàn)出智能。依此推論：人是具有智能的，因此人是一個物理符號系統(tǒng)；計算機是一物理符號系統(tǒng)，因此它必具有智能；計算機能模擬人，或者說能模擬人的大腦。

1956年夏天，西蒙和紐厄爾參加了著名的“達特茅斯會議”，他們和該會議的發(fā)起人麥卡錫和明斯基一起，被人稱為“人工智能之父”。西蒙除和紐厄爾共獲圖靈獎外，還在1978年獲諾貝爾經(jīng)濟學(xué)獎。1980年，被天津大學(xué)聘為名譽教授，并派出一些學(xué)者在西蒙指導(dǎo)下進行短期記憶方面的研究。