1歡迎大家學(xué)習(xí)

《人工智能導(dǎo)論》

清華大學(xué)計(jì)算機(jī)系馬少平2自我介紹3緒論很早人類就有制造機(jī)器人的幻想黃帝的“指南車”諸葛亮的“木牛流馬”亞里士多德的形式邏輯布萊尼茨的關(guān)于數(shù)理邏輯的思想“機(jī)器人”一詞的來(lái)源捷克劇作家卡雷爾·恰佩克于1922年搬上紐約舞臺(tái)的戲劇《羅薩姆的萬(wàn)能機(jī)器人》4現(xiàn)代人工智能的興起現(xiàn)代人工智能（ArtificialIntelligence，簡(jiǎn)稱AI），一般認(rèn)為起源于美國(guó)1956年的一次夏季討論（達(dá)特茅斯會(huì)議），在這次會(huì)議上，第一次提出了“ArtificialIntelligence”這個(gè)詞。5什么是人工智能？至今沒有統(tǒng)一的定義從“計(jì)算”到“算計(jì)”6像人一樣思考的系統(tǒng)理性地思考的系統(tǒng)“要使計(jì)算機(jī)能夠思考..….意思就是：有頭腦的機(jī)器”（Haugeland,1985）“與人類的思維相關(guān)的活動(dòng)，諸如決策、問題求解、學(xué)習(xí)等活動(dòng)”（Bellman,1978）“通過利用計(jì)算模型來(lái)進(jìn)行心智能力的研究”（Chamiak和McDermott,1985）“對(duì)使得知覺、推理和行為成為可能的計(jì)算的研究”（Winston,1992）像人一樣行動(dòng)的系統(tǒng)理性地行動(dòng)的系統(tǒng)“一種技藝，創(chuàng)造機(jī)器來(lái)執(zhí)行人需要智能才能完成的功能”（Kurzweil,1990）“研究如何讓計(jì)算機(jī)能夠做到那些目前人比計(jì)算機(jī)做得更好的事情”（Rich和Knight,1991）“計(jì)算智能是對(duì)設(shè)計(jì)智能化智能體的研究”（Poole等，1998）“AI..….關(guān)心的是人工制品中的智能行為”（Nilsson,1998）7圖靈測(cè)試如何知道一個(gè)系統(tǒng)是否具有智能呢？1950年，計(jì)算機(jī)科學(xué)家圖靈提出了著名的“圖靈測(cè)試”。8希爾勒的中文屋子羅杰?施安克的故事理解程序（舉例）機(jī)器是否真的理解了呢？希爾勒的中文屋子問題：通過了圖靈測(cè)試就具有了智能嗎？思考題：如何理解希爾勒的中文屋子？9故事理解程序舉例“一個(gè)人進(jìn)入餐館并訂了一份漢堡包。當(dāng)漢堡包端來(lái)時(shí)發(fā)現(xiàn)被烘脆了，此人暴怒地離開餐館，沒有付帳或留下小費(fèi)?！薄耙粋€(gè)人進(jìn)入餐館并訂了一份漢堡包。當(dāng)漢堡包端來(lái)后他非常喜歡它，而且在離開餐館付帳之前，給了女服務(wù)員很多小費(fèi)?！弊鳛閷?duì)“理解”故事的檢驗(yàn)，可以向計(jì)算機(jī)詢問，在每一種情況下，此人是否吃了漢堡包。返回10AI的本質(zhì)問題

研究如何制造出人造的智能機(jī)器或系統(tǒng)，來(lái)模擬人類智能活動(dòng)的能力，以延伸人們智能的科學(xué)。計(jì)算機(jī)應(yīng)用就是AI問題11數(shù)據(jù)平臺(tái)應(yīng)用系統(tǒng)AI12AI的歷史回顧第一階段（40年代中～50年代末）神經(jīng)元網(wǎng)絡(luò)時(shí)代 雙層網(wǎng)絡(luò)

M-P模型、感知器模型等 問題：XOR問題不能解決13AI的歷史回顧（續(xù)1）XOR問題（異或問題）輸入1輸入2輸出000011101110(0,0)(1,1)(0,1)(1,0)14AI的歷史回顧（續(xù)2）Minsky的著作：《Perceptions》（感知器）從理論上證明了一層神經(jīng)元網(wǎng)絡(luò)不可能解決XOR問題致使世界范圍內(nèi)有關(guān)神經(jīng)網(wǎng)絡(luò)的研究停滯十多年15AI的歷史回顧（續(xù)3）第二階段（50年代中～60年代中）通用方法時(shí)代物理符號(hào)系統(tǒng)主要研究的問題：GPS、游戲、翻譯等對(duì)問題的難度估計(jì)不足，陷入困境16AI的歷史回顧（續(xù)4）一個(gè)笑話（英俄翻譯）：

Thespiritiswillingbutthefleshisweek.

（心有余而力不足）

Thevodkaisstrongbutmeatisrotten.

（伏特加酒雖然很濃，但肉是腐爛的）17AI的歷史回顧（續(xù)5）出現(xiàn)這樣的錯(cuò)誤的原因：

Spirit：

1）精神

2）烈性酒結(jié)論： 必須理解才能翻譯，而理解需要知識(shí)18AI的歷史回顧（續(xù)6）知識(shí)就是力量——培根知識(shí)蘊(yùn)涵著力量——費(fèi)根鮑姆一個(gè)例子：Thepenisintheboxandtheboxisinthepen.19AI的歷史回顧（續(xù)7）第三階段（60年代中～80年代初）知識(shí)工程時(shí)代專家系統(tǒng)知識(shí)工程知識(shí)工程席卷全球各國(guó)發(fā)展計(jì)劃：美國(guó)星球大戰(zhàn)計(jì)劃英國(guó)ALVEY計(jì)劃法國(guó)UNIKA計(jì)劃日本五代機(jī)計(jì)劃中國(guó)“863”計(jì)劃20AI的歷史回顧（續(xù)8）遇到的困難：知識(shí)獲取的瓶頸問題21AI的歷史回顧（續(xù)9）第四階段（80年代中～90年代初）新的神經(jīng)元網(wǎng)絡(luò)時(shí)代BP網(wǎng)（算法），解決了多層網(wǎng)的學(xué)習(xí)問題Hopfield網(wǎng)，成功求解了旅行商問題二層網(wǎng)絡(luò)可以任意逼近任何有界連續(xù)函數(shù)三層網(wǎng)絡(luò)可以任意逼近任何函數(shù)存在問題：理論依據(jù)解決大規(guī)模問題的能力2006年，深度學(xué)習(xí)（DeepLearning）興起22AI的歷史回顧（續(xù)10）第五階段（90年代初～現(xiàn)在）海量信息處理與網(wǎng)絡(luò)時(shí)代統(tǒng)計(jì)機(jī)器學(xué)習(xí)時(shí)代大數(shù)據(jù)深度學(xué)習(xí)統(tǒng)計(jì)機(jī)器學(xué)習(xí)大發(fā)展網(wǎng)絡(luò)給AI帶來(lái)無(wú)限的機(jī)會(huì)網(wǎng)絡(luò)拯救了人工智能知識(shí)發(fā)現(xiàn)與數(shù)據(jù)挖掘網(wǎng)絡(luò)信息檢索與挖掘AI走向?qū)嵱没恍┐蠊镜呐e動(dòng)百度成立深度學(xué)習(xí)研究院（IDL，2013.4）Google與NASA合作，成立量子人工智能實(shí)驗(yàn)室（2013.5）半年內(nèi)收購(gòu)了8加機(jī)器人公司Facebook成立人工智能實(shí)驗(yàn)室（2013.12）IBM成立沃森業(yè)務(wù)集團(tuán)IBM、微軟也分別開展仿人腦研究23流行熱詞大數(shù)據(jù)深度學(xué)習(xí)奇點(diǎn)臨近2425歷史上AI的三大流派符號(hào)主義認(rèn)知基元是符號(hào)，認(rèn)知過程即符號(hào)操作過程鏈接主義思維基元是神經(jīng)元，智能通過神經(jīng)元的鏈接實(shí)現(xiàn)行為主義智能取決于感知和行動(dòng)不需要知識(shí)、不需要表示、不需要推理26AI的研究?jī)?nèi)容搜索技術(shù)知識(shí)表示規(guī)劃方法機(jī)器學(xué)習(xí)認(rèn)知科學(xué)27AI的研究?jī)?nèi)容（續(xù)1）自然語(yǔ)言理解與機(jī)器翻譯專家系統(tǒng)與知識(shí)工程定理證明博弈機(jī)器人數(shù)據(jù)挖掘與知識(shí)發(fā)現(xiàn)28AI的研究?jī)?nèi)容（續(xù)2）網(wǎng)絡(luò)信息檢索與挖掘社交網(wǎng)絡(luò)的分析與挖掘情感分析與計(jì)算觀點(diǎn)挖掘多Agent系統(tǒng)人機(jī)交互技術(shù)大數(shù)據(jù)29人工智能取得的一些成果近六十年來(lái)，人工智能的研究雖然步履艱難，但也取得了一些很突出的成績(jī)。下面列舉一些實(shí)例。30定理證明50年代中期，世界上最早的啟發(fā)式程序“邏輯理論家”，證明了數(shù)學(xué)名著《數(shù)學(xué)原理》中的38個(gè)定理。經(jīng)改進(jìn)后，62年證明了該書中全部的52個(gè)定理。被認(rèn)為是用計(jì)算機(jī)探討人類智力活動(dòng)的第一個(gè)真正的成果。31四色定理的證明四色定理從1852年發(fā)現(xiàn)四色問題，世界上很多著名的科學(xué)家試圖證明，當(dāng)一直未能完成。1976年6月，哈肯在美國(guó)伊利諾斯大學(xué)的兩臺(tái)不同的電子計(jì)算機(jī)上，用了1200個(gè)小時(shí)，作了100億次判斷，終于完成了四色定理的證明，從而解決了一個(gè)歷時(shí)100多年的問題，轟動(dòng)了世界。32通用問題求解器（GPS）從1957年開始，Newell等人開始研究一種不依賴于具體領(lǐng)域的通用解題程序，這個(gè)程序的設(shè)計(jì)是從模仿人類問題求解的規(guī)程開始的。在它能處理的有限類別的問題中，它顯示出程序決定的子目標(biāo)及可能采取的行動(dòng)的次序，與人類求解同樣問題是類似的。因此，GPS很可能是第一個(gè)實(shí)現(xiàn)了“像人一樣思考”方法的程序。33專家系統(tǒng)人類之所以能求解問題，是因?yàn)槿祟惥哂兄R(shí)。專家系統(tǒng)就是把有關(guān)領(lǐng)域?qū)＜业闹R(shí)整理出來(lái)，讓計(jì)算機(jī)利用這些知識(shí)求解專門領(lǐng)域的問題。1968年世界上第一個(gè)專家系統(tǒng)DENDRAL問世。MYCIN，一個(gè)著名的醫(yī)療診斷專家系統(tǒng)34第一個(gè)商用專家系統(tǒng)：R1世界上第一個(gè)成功的商用專家系統(tǒng)，1982年開始正式在DEC公司使用。該程序幫助為新計(jì)算機(jī)系統(tǒng)配置訂單；到1986年為止，估計(jì)它為公司每年節(jié)省了4千萬(wàn)美元。35海灣戰(zhàn)爭(zhēng)中的專家系統(tǒng)在1991年的海灣危機(jī)中，美國(guó)軍隊(duì)使用專家系統(tǒng)用于自動(dòng)的后勤規(guī)劃和運(yùn)輸日程安排。這項(xiàng)工作同時(shí)涉及到50000個(gè)車輛、貨物和人，而且必須考慮到起點(diǎn)、目的地、路徑以及解決所有參數(shù)之間的沖突。AI規(guī)劃技術(shù)使得一個(gè)計(jì)劃可以在幾小時(shí)內(nèi)產(chǎn)生，而用舊的方法需要花費(fèi)幾個(gè)星期。36IBM公司的兩顆衛(wèi)星深藍(lán)沃森37IBM的“深藍(lán)”

北京時(shí)間1997年5月12日凌晨4點(diǎn)50分，美國(guó)紐約公平大廈，當(dāng)IBM公司的“深藍(lán)”超級(jí)電腦將棋盤上的一個(gè)兵走到C4的位置上時(shí)，國(guó)際象棋世界冠軍卡斯帕羅夫?qū)Α吧钏{(lán)”的人機(jī)大戰(zhàn)落下帷幕，“深藍(lán)”以3.5：2.5的總比分戰(zhàn)勝卡斯帕羅夫。38正在與深藍(lán)下棋的卡斯帕羅夫39IBM的“深藍(lán)”（續(xù)1）96年2月第一次比賽結(jié)果： “深藍(lán)”：勝、負(fù)、平、平、負(fù)、負(fù)97年5月第二次比賽結(jié)果： “深藍(lán)”：負(fù)、勝、平、平、平、勝40IBM的“深藍(lán)”（續(xù)2）“深藍(lán)”的技術(shù)指標(biāo)：32個(gè)CPU每個(gè)CPU有16個(gè)協(xié)處理器每個(gè)CPU有256M內(nèi)存每個(gè)CPU的處理速度為200萬(wàn)步/秒41浪潮杯中國(guó)象棋人機(jī)大戰(zhàn)2006年8月9日，經(jīng)過了三個(gè)小時(shí)的激烈搏戰(zhàn)，浪潮天梭擊敗大師聯(lián)盟。柳大華等五位中國(guó)象棋大師組成的大師隊(duì)，在十局比賽中，2勝5平3負(fù)，最終以9：11的總比分最終負(fù)于浪潮天梭。2006年8月15日，中國(guó)象棋第一人許銀川與天梭大戰(zhàn)兩個(gè)回合，不分勝負(fù)（兩盤均和棋）42許銀川與天梭握手言和43“（國(guó)際象棋）人機(jī)之戰(zhàn)”簡(jiǎn)史1958年，IBM704成為第一臺(tái)能同人下棋的計(jì)算機(jī)，名為“思考”，思考速度每秒200步60年代中期，科學(xué)家德里夫斯斷言，計(jì)算機(jī)將無(wú)法擊敗一位年僅10歲的棋手1973年，國(guó)際象棋軟件4.0被開發(fā)出來(lái)，這是未來(lái)程序的基礎(chǔ)1979年，國(guó)際象棋軟件4.9達(dá)到專家級(jí)水平1981年，CRAYBLITZ新的超級(jí)計(jì)算機(jī)擁有特殊的集成電路，預(yù)言將可在1995年擊敗世界棋王441983年，BELLEAT＆T開發(fā)了國(guó)際象棋硬件，達(dá)到了大師水平80年代中期，皮茲堡的CARNEGIEMELLON大學(xué)開始研究世界級(jí)的國(guó)際象棋計(jì)算機(jī)程序1987年，“深思”首次以每秒鐘75萬(wàn)步的思考速度露面，它的水平相當(dāng)于擁有國(guó)際等級(jí)分為2450的棋手1988年，“深思”擊敗丹麥特級(jí)大師拉爾森1989年，“深思”已經(jīng)有6臺(tái)信息處理器，每秒思考速度達(dá)200萬(wàn)步，但在與世界棋王卡斯帕羅夫進(jìn)行的“人機(jī)大戰(zhàn)”中對(duì)陣以0比2敗北451990年，“深思”第二代產(chǎn)生，使用IBM的硬件，吸引了前世界棋王卡爾波夫與之對(duì)抗1991年，“弗里茨”問世1993年，“深思”二代擊敗了丹麥國(guó)家隊(duì)，在與世界優(yōu)秀女棋手小波爾加的對(duì)抗中獲勝1995年，“深藍(lán)”更新程序，新的集成電路將其思考速度達(dá)到每秒300萬(wàn)步1996年，“深藍(lán)”在與卡斯帕羅夫的挑戰(zhàn)賽中，以2比4不敵卡斯帕羅夫1997年，“超級(jí)深藍(lán)”開發(fā)出了更加高級(jí)的“大腦”，4名國(guó)際大師參與IBM的挑戰(zhàn)小組為電腦與卡斯帕羅夫重戰(zhàn)出謀劃策，最后“超級(jí)深藍(lán)”以3比2擊敗了卡斯帕羅夫，卡斯帕羅夫要求重賽，但沒有得到回應(yīng)461999年，“弗里茨”升級(jí)為“更弗里茨”(DeepFritz)2001年，“更弗里茨”更新了程序，擊敗了卡斯帕羅夫和阿南德，以及除了克拉姆尼克之外的所有排名世界前十位的棋手2002年10月，“更弗里茨”與克拉姆尼克在巴林進(jìn)行“人機(jī)大戰(zhàn)”，思考速度為每秒600萬(wàn)步，雙方4比4戰(zhàn)平2003年1～2月“更年少者”與卡斯帕羅夫舉行人機(jī)對(duì)抗，雙方3比3戰(zhàn)平47計(jì)算機(jī)圍棋谷歌的AlphaGo戰(zhàn)勝歐洲冠軍2016年3月9日~15日挑戰(zhàn)韓國(guó)棋手李世石Nature封面論文：MasteringthegameofGowithdeepneuralnetworksandtreesearch（通過深度神經(jīng)網(wǎng)絡(luò)和搜索樹，學(xué)會(huì)圍棋游戲）4849圍棋人機(jī)對(duì)戰(zhàn)史第一階段：2005年以前，初學(xué)者水平基本上是基于規(guī)則的方法第二階段：2006年~2015年，業(yè)余五段水平蒙特卡洛樹方法+上限信心界策略2012年3月，由日本研發(fā)的被認(rèn)為是當(dāng)時(shí)世界上最先進(jìn)的電腦圍棋軟件“ZEN”，在先后受五子和受四子的情況下，均擊敗日本武宮正樹九段，這是電腦圍棋首次被讓四子戰(zhàn)勝第一流職業(yè)棋手。2013年3月，電腦圍棋軟件“Zen”與“CrazyStone”在受四子的情況下，均戰(zhàn)勝日本石田芳夫九段。2014年3月，日本依田紀(jì)基九段在均讓四子的情況下，以1目的優(yōu)勢(shì)戰(zhàn)勝“Zen”，以2目半的劣勢(shì)不敵“CrazyStone”。50第三階段：2015年~，職業(yè)水平蒙特卡洛樹+深度學(xué)習(xí)+強(qiáng)化學(xué)習(xí)谷歌的AlphaGo，5:0戰(zhàn)勝

歐洲冠軍樊麾（職業(yè)二段）2016年3月挑戰(zhàn)李世石5152IBM的沃森

新浪科技訊北京時(shí)間2011年2月17日消息，據(jù)國(guó)外媒體報(bào)道，由IBM和美國(guó)德克薩斯大學(xué)聯(lián)合研制的超級(jí)電腦“沃森”(Watson)今日在美國(guó)最受歡迎的智力競(jìng)猜電視節(jié)目《危險(xiǎn)邊緣》中擊敗該節(jié)目歷史上兩位最成功的選手肯-詹寧斯和布拉德-魯特，成為《危險(xiǎn)邊緣》節(jié)目新的王者。5354沃森的一些指標(biāo)90個(gè)跑在Linux系統(tǒng)上的POWER750服務(wù)器16T內(nèi)存2800多個(gè)核共10個(gè)機(jī)架總價(jià)大概100萬(wàn)美元3秒內(nèi)完成一個(gè)答案實(shí)際使用了100多個(gè)技術(shù)IBM成立沃森業(yè)務(wù)集團(tuán)，通過分析海量大數(shù)據(jù)的思考、通過學(xué)習(xí)實(shí)現(xiàn)提升、并發(fā)現(xiàn)解決復(fù)雜問題答案在網(wǎng)站，搜“Watson”可以找到有關(guān)沃森系統(tǒng)的論文。5556歷史上的人工智能大師下面介紹圖靈和幾位獲得圖靈獎(jiǎng)的人工智能大師57阿倫?圖靈

（AlanTuring）

計(jì)算機(jī)科學(xué)理論的創(chuàng)始人58阿倫?圖靈（AlanTuring）1912年出生于英國(guó)倫敦，1954年去世1936年發(fā)表論文“論可計(jì)算數(shù)及其在判定問題中的應(yīng)用”，提出圖靈機(jī)理論1950年發(fā)表論文“計(jì)算機(jī)與智能”，闡述了計(jì)算機(jī)可以具有智能的想法，提出圖靈測(cè)試1966年為紀(jì)念圖靈的杰出貢獻(xiàn)，ACM設(shè)立圖靈獎(jiǎng)59馬文?明斯基

（MarnivLeeMinsky）

人工智能之父 框架理論的創(chuàng)立者 首位獲得圖靈獎(jiǎng)的人工智能學(xué)者60馬文?明斯基

（MarnivLeeMinsky）1927年出生于美國(guó)紐約1951年提出思維如何萌發(fā)并形成的基本理論1956年達(dá)特茅斯會(huì)議的發(fā)起人之一1958年在MIT創(chuàng)建世界上第一個(gè)AI實(shí)驗(yàn)室1969年獲得圖靈獎(jiǎng)1975年首創(chuàng)框架理論61約翰?麥卡錫

（JohnMcCarthy）人工智能之父LISP語(yǔ)言的發(fā)明人首次提出AI的概念62約翰?麥卡錫

（JohnMcCarthy）1927年出生于美國(guó)波士頓1956年發(fā)起達(dá)特茅斯會(huì)議，并提出“人工智能”的概念1958年與明斯基一起創(chuàng)建世界上第一個(gè)人工智能實(shí)驗(yàn)室發(fā)明α－β剪枝算法1959年開發(fā)LISP語(yǔ)言開創(chuàng)邏輯程序研究，用于程序驗(yàn)證和自動(dòng)程序設(shè)計(jì)1971年獲得圖靈獎(jiǎng)63赫伯特?西蒙(司馬賀)

（HerbertA.Simon）符號(hào)主義學(xué)派的創(chuàng)始人愛好廣泛的全能科學(xué)家中國(guó)科學(xué)院外籍院士64赫伯特?西蒙(HerbertA.Simon）1916年出生于美國(guó)的威斯康辛州1943年在匹茲堡大學(xué)獲政治學(xué)博士學(xué)位1969年因心理學(xué)方面的貢獻(xiàn)獲得杰出科學(xué)貢獻(xiàn)獎(jiǎng)1975年和他的學(xué)生艾倫?紐厄爾共同獲得圖靈獎(jiǎng)1978年獲得諾貝爾經(jīng)濟(jì)學(xué)獎(jiǎng)1986年因行為學(xué)方面的成就獲得美國(guó)全國(guó)科學(xué)家獎(jiǎng)?wù)?550年代至60年代初開發(fā)了世界上最早的啟發(fā)式程序“邏輯理論家”LT，證明了《數(shù)學(xué)原理》第二章中的全部52個(gè)定理，開創(chuàng)了機(jī)器定理證明這一新的學(xué)科領(lǐng)域57年開發(fā)了IPL(InformationProcessingLanguage)語(yǔ)言，是最早的AI語(yǔ)言。60年開發(fā)了“通用問題求解系統(tǒng)”GPS66年開發(fā)了最早的下棋程序之一MATER70年發(fā)展與完善了語(yǔ)義網(wǎng)絡(luò)的概念和方法70年代提出了“物理符號(hào)系統(tǒng)假說(shuō)”70年代提出決策過程模型，成為DSS的核心內(nèi)容66艾倫?紐厄爾（AllenNewell）符號(hào)主義學(xué)派的創(chuàng)始人之一西蒙的學(xué)生與同事1975年與西蒙同獲圖靈獎(jiǎng)67查理德?卡普

（RichardM.Karp）

發(fā)明“分枝界限法”的三棲學(xué)者68查理德?卡普（RichardM.Karp）1935年出生于美國(guó)波士頓是加州大學(xué)伯克利分校三個(gè)系的教授：電氣工程和計(jì)算機(jī)系數(shù)學(xué)系工業(yè)工程和運(yùn)籌學(xué)系60年代提出“分枝界限法”，成功求解含有65個(gè)城市的旅行商問題，創(chuàng)當(dāng)時(shí)的記錄1985年獲得圖靈獎(jiǎng)69愛德華?費(fèi)根鮑姆

（EdwardA.Feigenbaum）

知識(shí)工程的提出者 大型人工智能系統(tǒng)的開拓者70愛德華?費(fèi)根鮑姆

（EdwardA.Feigenbaum）1936年出生于美國(guó)的新澤西州通過實(shí)驗(yàn)和研究，證明了實(shí)現(xiàn)智能行為的主要手段是知識(shí)1977年提出知識(shí)工程，使人工智能從理論轉(zhuǎn)向應(yīng)用名言：知識(shí)蘊(yùn)藏著力量1994年和勞伊?雷迪共同獲得圖靈獎(jiǎng)711963年主編了《計(jì)算機(jī)與思想》一書，被認(rèn)為是世界上第一本有關(guān)人工智能的經(jīng)典性專著1965年開發(fā)出世界上第一個(gè)專家系統(tǒng)開發(fā)出著名的專家系統(tǒng)MYCIN80年代合著了四卷本的《人工智能手冊(cè)》開設(shè)Teknowledge和IntelliGenetics兩個(gè)公司，是世界上第一家以開發(fā)和將專家系統(tǒng)商品化的公司72勞伊?雷迪

（RajReddy）

大型人工智能系統(tǒng)的開拓者73勞伊?雷迪（RajReddy）37年出生于印度，66年在美國(guó)獲得博士1994年與費(fèi)根鮑姆共同獲得圖靈獎(jiǎng)主持過一系列大型AI系統(tǒng)的開發(fā)Navlab能在道路行駛的自動(dòng)車輛項(xiàng)目LISTEN用于掃盲的語(yǔ)音識(shí)別系統(tǒng)以詩(shī)人但丁命名的火山探測(cè)機(jī)器人項(xiàng)目自動(dòng)機(jī)工廠項(xiàng)目，提出“白領(lǐng)機(jī)器人學(xué)”74道格拉斯?恩格爾巴特

（DouglasEngelbart）鼠標(biāo)的發(fā)明人超文本研究的先驅(qū)75道格拉斯?恩格爾巴特

（DouglasEngelbart）1925年出生于美國(guó)俄勒岡州60年代提出計(jì)算機(jī)是人類智力的放大器的觀點(diǎn)1964年發(fā)明鼠標(biāo)，67年申請(qǐng)專利，70年取得專利對(duì)超文本技術(shù)作出了巨大貢獻(xiàn)，以他的名字命名ACM超文本會(huì)議最佳論文獎(jiǎng)76萊斯利·瓦利安特（LeslieValiant）機(jī)器學(xué)習(xí)領(lǐng)域中的概率近似正確理論的開創(chuàng)性貢獻(xiàn)枚舉和計(jì)算代數(shù)復(fù)雜性并行和分布式系統(tǒng)方面的其他貢獻(xiàn)771949年3月28日出生于英國(guó)曾在英國(guó)劍橋大學(xué)國(guó)王學(xué)院、倫敦帝國(guó)學(xué)院和華威大學(xué)接受教育。1974年獲得英國(guó)華威大學(xué)計(jì)算機(jī)科學(xué)博士學(xué)位。曾在卡內(nèi)基梅隆大學(xué)、利茲大學(xué)、愛丁堡大學(xué)任教。1982年，成為美國(guó)哈佛大學(xué)教授，任教于哈佛大學(xué)工程和應(yīng)用科學(xué)學(xué)院。2010年獲得圖靈獎(jiǎng)78頒獎(jiǎng)詞指出，Valiant最大的貢獻(xiàn)是1984年的論文ATheoryoftheLearnable使誕生于1950年代的機(jī)器學(xué)習(xí)領(lǐng)域第一次有了堅(jiān)實(shí)的數(shù)學(xué)基礎(chǔ)，從而掃除了學(xué)科發(fā)展的障礙，這對(duì)人工智能諸多領(lǐng)域包括加強(qiáng)學(xué)習(xí)、機(jī)器視覺、自然語(yǔ)言處理和手寫識(shí)別等都產(chǎn)生了巨大影響?？梢哉f(shuō)，沒有他的貢獻(xiàn)，IBM也不可能造出Watson這樣神奇的機(jī)器來(lái)。朱迪亞·佩爾（JudeaPearl）2011年圖靈獎(jiǎng)獲得者提出概率和因果性推理演算法，徹底改變了人工智能最初基于規(guī)則和邏輯的方向79出生于以色列，本科畢業(yè)于以色列理工學(xué)院1965年在美國(guó)羅格斯大學(xué)獲物理學(xué)碩士學(xué)位同年在布魯克林理工學(xué)院獲得電機(jī)工程博士學(xué)位802003年被ACM和AAAI提名AllenNewell獎(jiǎng)

2008年獲得富蘭克林研究所計(jì)算機(jī)與認(rèn)知科學(xué)專業(yè)的富蘭克林獎(jiǎng)?wù)?012年獲得了以色列理工學(xué)院頒發(fā)的科學(xué)技術(shù)領(lǐng)域獎(jiǎng)項(xiàng)HarveyPrize。2008年，他獲得富蘭克林研究所計(jì)算機(jī)與認(rèn)知科學(xué)專業(yè)的富蘭克林獎(jiǎng)?wù)?1其著作