分類(lèi):《IT史記》
Herbert A. Simon和Allen Newell，以及他們規劃的草案
50年前，Carnegie的科學(xué)家Allen Newell和Herbert A. Simon在圣誕期間發(fā)明了第一個(gè)人工智能（AI）裝置。1956年在達特茅斯學(xué)院大會(huì )，John McCarthy、Marvin Minsky、Allen Newell和Herbert Simon“人工智能四大師”將人工智能定為一門(mén)正式的學(xué)科。目標是理解智 能行為的原理和機制。1971年的圖靈獎授予了提出“人工智能”這一術(shù)語(yǔ)并使之成為一個(gè)重要學(xué)科領(lǐng)域的斯坦福大學(xué)教授約翰·麥卡錫 (John MeCarthy)。1969年的圖靈獎授予了人稱(chēng)“人工智能之父”和框架理論的創(chuàng )立者—馬文·明斯基(Marvin Lee Minsky)。
作為人工智能三大學(xué)術(shù)流派之一，Allen Newell和Herbert A. Simon創(chuàng )建了符號主義（Symbolism)，基于邏輯推理的智能模擬，模擬人類(lèi)求解問(wèn)題的心理過(guò)程。
1975年Allen Newell和Herbert A. Simon獲得圖靈獎，獲獎原因是：由于在人工智智能、人類(lèi)識別心理和表處理的基礎貢獻。1978年，兩人還獲諾貝爾經(jīng)濟學(xué)獎。
兩位獲獎?wù)呓榻B地址：
http://www.acm.org/awards/citations/newell.html
http://www.acm.org/awards/citations/simon.html
1975年度的圖靈獎同時(shí)授予卡內基—梅隆大學(xué)的兩位教授：赫伯特·西蒙(Herbert Alexander Simon）和艾倫 · 紐厄爾(Allen Newell)。他們曾是師生，后來(lái)成為極其親密的合作者，共事長(cháng)達42年，直至紐厄爾于1992年去世。
西蒙1916年6月15日生于美國威斯康辛州密西根湖畔。他從小聰明好學(xué)，當入學(xué)芝加哥大學(xué)時(shí)年方17。1936年他從芝加哥大學(xué)畢業(yè)，取得政治學(xué)學(xué)位。參加工作后廣泛接觸計算機并產(chǎn)生了濃厚興趣。1939年，他轉至加州大學(xué)伯克利分校，在那里完成了博士論文，經(jīng)他的原母校芝家哥大學(xué)進(jìn)行評審答辯，被授予政治學(xué)博士學(xué)位。1949年他來(lái)到他的最后一個(gè)落腳點(diǎn)卡內基—梅隆大學(xué)。紐厄爾1927年生于舊金山。二戰期間，曾在海軍服了兩年預備役，表現出色。戰后他進(jìn)入斯坦福大學(xué)學(xué)習物理，1949年獲得學(xué)士學(xué)位。之后他在暜林斯頓大學(xué)研究生院攻讀數學(xué)，一年后輟學(xué)到RAND公司工作，和空軍合作開(kāi)發(fā)早期預警系統。系統需要模擬在雷達顯示屏前工作的操作人員在各種情況下的反應，這導致紐厄爾對“人如何思維”這一問(wèn)題發(fā)生興趣。也正是從這個(gè)課題開(kāi)始，紐厄爾和卡內基—梅隆大學(xué)的西蒙建立起了合作關(guān)系。在合作過(guò)程中，紐厄爾所表現出的才能和創(chuàng )新精神深得西蒙贊賞，在西蒙的竭力推薦下，紐厄爾得以在卡內基—梅隆大學(xué)注冊為研究生，并在西蒙指導下完成其博士論文，于1957年獲得博士學(xué)位. 并且他還提出了“中間結局分析法”作為求解人工智能問(wèn)題的一種技術(shù)。利用這種方法，他們合作開(kāi)發(fā)成功了最早的啟發(fā)式程序“邏輯理論家”LT(LogicThorist)和“通用問(wèn)題求解器”。LT證明了數學(xué)名著(zhù)《數學(xué)原理》一書(shū)第二章52個(gè)定理中的38個(gè)定理（1963年對LT改進(jìn)后可證明全部52個(gè)定理），從而也開(kāi)創(chuàng )了機器定理證明（mechanical theorem proving）這一新的學(xué)科領(lǐng)域。在開(kāi)發(fā)邏輯理論家的過(guò)程中，他們首次提出并成功應用了“鏈表”（list）作為基本的數據結構，并設計與實(shí)現了表處理語(yǔ)言IPL。IPL是所有表處理語(yǔ)言的始祖，也是最早使用遞歸子程序的語(yǔ)言。其實(shí)他們兩人在人工智能中作出的最基本貢獻還在于他們提出了“物理符號系統假說(shuō)”PSSH (Pysical Symbol System Hypothesis)，成為人工智能中影響最大的符號主義學(xué)派的創(chuàng )始人和代表人物，而這一學(xué)說(shuō)則鼓勵著(zhù)人們對人工智能進(jìn)行偉大的探索。根據這一假說(shuō)，物理符號系統也就是對一般智能行為具有充分而必要手段的系統，即任一物理符號系統如果是有智能的，則必能執行對符號的輸入、輸出、存儲、復制、條件轉移和建立符號結構這樣6種操作。反之，能執行這6種操 作的任何系統，也就一定能表現出智能。依此推論：人是具有智能的，因此人是一個(gè)物理符號系統；計算機是一物理符號系統，因此它必具有智能；計算機能模擬人，或者說(shuō)能模擬人的大腦。
1956年夏天，西蒙和紐厄爾參加了著(zhù)名的“達特茅斯會(huì )議”，他們和該會(huì )議的發(fā)起人麥卡錫和明斯基一起，被人稱(chēng)為“人工智能之父”。西蒙除和紐厄爾共獲圖靈獎外，還在1978年獲諾貝爾經(jīng)濟學(xué)獎。1980年，被天津大學(xué)聘為名譽(yù)教授，并派出一些學(xué)者在西蒙指導下進(jìn)行短期記憶方面的研究。
聯(lián)系客服
