人工智能導(dǎo)論緒論

第1次課：2013年09月02日人工智能導(dǎo)論

IntroductiontoArtificialIntelligence王潔2013年09月02日—2013年12月16日簡(jiǎn)介自我介紹：王潔,信北314，聯(lián)系方式:

上課時(shí)間：周一：5-6節(jié){1-16周}

周四：5-6節(jié){1-4周}(三教207)簡(jiǎn)介考查方式:

考試成績(jī)占70%,平時(shí)作業(yè)+考勤30%考試時(shí)間:

一般為第16周,最后一次上課時(shí)間斯皮爾伯格,電影:人工智能,電影中David:機(jī)器人，它的程序是愛.先進(jìn)的機(jī)器人不但擁有可以亂真的人類外表，還能感知自身的存在。

David:機(jī)器人(robot)David:擁有亂真的人類外表，還能感知自身的存在。電影中:制造David(機(jī)器人)的目的?

以便象人類一樣完成富有智能的工作

“人工智能導(dǎo)論”人工智能（AI):研究如何運(yùn)用知識(shí)，以便象人類一樣完成富有智能的工作智能？whatisintelligence?Intelligenceisthecomputationalpartoftheabilitytoachievegoalsintheworld.Varyingkindsanddegreesofintelligenceoccurinpeople,manyanimalsandsomemachines.(摘自JohnMcCarthy2007)機(jī)器智能：1）IMB深藍(lán)：IBM“深藍(lán)”戰(zhàn)勝國(guó)際象棋世界冠軍。

“深藍(lán)”：是一臺(tái)IBMRS/6000SP32節(jié)點(diǎn)的計(jì)算機(jī)，每秒可檢查超過2億個(gè)棋步

2）人工智能研究的目的：(摘自JohnMcCarthy2007)

---DoesAIaimathuman-levelintelligence?----Yes.Theultimateeffortistomakecomputerprogramsthatcansolveproblemsandachievegoalsintheworldaswellashumans.

緒論論人工工智智能能？？研研究究目目標(biāo)標(biāo)?發(fā)展展概概況況？？研究究領(lǐng)領(lǐng)域域和和方方法法本學(xué)學(xué)期期課課程程所所涉涉及及的的內(nèi)內(nèi)容容教材材和和參參考考書書人工工智智能能？？古代代幻幻想想制制造造出出代代替替人人類類工工作作的的機(jī)機(jī)器器公元元900年前前的的歌歌舞舞機(jī)機(jī)器器人人古希希臘臘機(jī)機(jī)器器人人幫幫助助勞勞動(dòng)動(dòng)的的傳傳說說------人工工智智能能的的幻幻想想1956年人人工工智智能能的的正正式式誕誕生生1946年第第一一臺(tái)臺(tái)電電子子計(jì)計(jì)算算機(jī)機(jī)誕誕生生計(jì)算算機(jī)機(jī)可可以以幫幫助助人人們們完完成成更更多多的的事事情情。。1956年，，在在美美國(guó)國(guó)的的Dartmouth大學(xué)學(xué)組組織織了了一一個(gè)個(gè)討討論論班班，，歷歷時(shí)時(shí)2個(gè)月月.10位參參加加者者都都是是在在數(shù)數(shù)學(xué)學(xué),神經(jīng)經(jīng)生生理理學(xué)學(xué),心理理學(xué)學(xué)和和計(jì)計(jì)算算機(jī)機(jī)科科學(xué)學(xué)領(lǐng)領(lǐng)域域從從事事教教學(xué)學(xué)和和研研究究的的學(xué)學(xué)者者.首次使用了“人工智能”一詞，開創(chuàng)了了人工智能這這個(gè)學(xué)科。組組織者為J.McCarthy(斯坦福大學(xué)教教授)和他的三個(gè)朋朋友M.Minsky(MIT教授),N.Lochester(IBM信息研究中心心),C.Shannon(貝爾實(shí)驗(yàn)室信信息部數(shù)學(xué)研研究員)人工智能?什么是“人工智能”？計(jì)算機(jī)科學(xué)，，控制論，信信息論，神經(jīng)經(jīng)生理學(xué)，心心理學(xué)，語言言學(xué)等多種學(xué)學(xué)科相互滲透透而發(fā)展起來來的一門綜合性學(xué)科。通俗的講:人工智能是一一些方法,依靠這些方法法,計(jì)算機(jī)可以比比較好地求解解問題,能夠幫助人類類做許多以前前需要人類的的智能才能完完成的工作.JohnMcCarthy人工智能之父父LISP語言的發(fā)明人人AI發(fā)展至今,已形成了一整整套的理論和和方法,并在AI的應(yīng)用領(lǐng)域發(fā)發(fā)揮著巨大的的作用.目前,AI仍處于發(fā)展時(shí)時(shí)期,許多問題解決決的不好,甚至不能求解解.“人工智能”?---爭(zhēng)議的問題不同領(lǐng)域的學(xué)學(xué)者有不同的的定義:J.McCarthy(最早):使一部機(jī)器的的反應(yīng)方式就就像一個(gè)人在在行動(dòng)時(shí)所依依據(jù)的智能.J.Nilsson:它是關(guān)于知識(shí)識(shí)的科學(xué)，即即怎樣表示知知識(shí)、獲取知知識(shí)和使用知知識(shí)的科學(xué).P.Winston:AI是研究如何使使計(jì)算機(jī)去做做過去只有人人才能做的富富有智能的工工作.M.Minsky:讓機(jī)器做本需需要人的智能能才能夠做到到的事情的一一門科學(xué).A.Feigenbaum:是一個(gè)知識(shí)信信息處理系統(tǒng)統(tǒng).人工智能的本本質(zhì)定義雖不同,但人工智能的的本質(zhì):是一門研究如如何制造出人造的智能機(jī)器或者者智能系統(tǒng),來模擬人類智能能活動(dòng)的能力,以延伸人們智智能的科學(xué).什么樣的系統(tǒng)統(tǒng)具有“智能”？圖靈最早對(duì)此此問題研究1950年,論文“計(jì)算機(jī)和智力”提出“圖靈測(cè)試”以測(cè)試一個(gè)計(jì)計(jì)算機(jī)系統(tǒng)是否具有智能能.測(cè)試方法如下下:AlanTuringcomputer???person

回答測(cè)試目的：測(cè)測(cè)試者通過提提問,判斷哪個(gè)房間間是志愿者,哪個(gè)房間是計(jì)計(jì)算機(jī).房間A,志愿者room2測(cè)試者測(cè)試者房間B,計(jì)算機(jī)回答提問如果測(cè)試者在在一系列的這這種測(cè)試中，，不能準(zhǔn)確的的判斷出誰是是計(jì)算機(jī)，誰誰是人，則說說明該計(jì)算機(jī)機(jī)通過了圖靈靈測(cè)試，具有有了圖靈測(cè)試意義義下的智能。。圖靈測(cè)試完全全是從機(jī)器是是否很好的模模擬人的角度度進(jìn)行測(cè)試的的。測(cè)試對(duì)計(jì)算機(jī)機(jī)不公平，除除了模擬人的的優(yōu)點(diǎn)外，還還要模擬擬人的缺點(diǎn)。。（對(duì)復(fù)雜計(jì)計(jì)算，計(jì)算機(jī)機(jī)快速回答））。可弱化計(jì)算機(jī)機(jī)，只看計(jì)算算機(jī)是否足夠夠聰明。計(jì)算機(jī)對(duì)常識(shí)識(shí)知識(shí)感到困困難。例如：：既不能比人類類愚蠢

也不不能比人類聰聰明－測(cè)試者提問問：“我聽說，今天天上午一頭黃黃牛在長(zhǎng)江江上空飛行”。你怎么理解解此事？－計(jì)算機(jī)謹(jǐn)謹(jǐn)慎回答：“這聽起來不可可思議”－測(cè)試者繼繼續(xù)：“是么？我叔叔叔試過一回，，只不過黃牛牛是淺色的，，并帶有斑紋紋，這有什么么不可思議？？”容易想象，如如果計(jì)算機(jī)沒沒有理解這些些問題，并沒沒有足夠的常常識(shí)知識(shí)，就就會(huì)暴露自己己是臺(tái)計(jì)算機(jī)機(jī)，而不是一一個(gè)人。可以看到，對(duì)對(duì)于人類很容容易理解的問問題，對(duì)于計(jì)計(jì)算機(jī)來說并并不一定容易易解決。又比比如，即使是是一個(gè)小孩，，無論是從正正面，側(cè)面，，甚至背后，，都非常容易易的認(rèn)出自己己的媽媽，即即使是換了發(fā)發(fā)型，帶了眼眼鏡等，但計(jì)計(jì)算機(jī)人臉識(shí)識(shí)別卻是一個(gè)個(gè)困難的課題題。但對(duì)人類困難難的問題，計(jì)計(jì)算機(jī)處理起起來卻比較容容易，如數(shù)字字計(jì)算，大規(guī)規(guī)模數(shù)據(jù)庫查查找等。中文屋子問題題智能的體現(xiàn)離離不開理解，，在圖靈測(cè)試試中，計(jì)算機(jī)機(jī)要正確回答答問題，首先先要理解問題題。通過圖靈測(cè)試試的計(jì)算機(jī)真真正理解問題題了么？約翰希爾勒勒提出了否定定意見。（以以中文屋子為為例）羅杰施安克克編寫的故事事理解程序他認(rèn)為即使一一臺(tái)計(jì)算機(jī)通通過了圖靈測(cè)測(cè)試，但仍然然不具備和理理解有關(guān)的精精神屬性。羅杰施安克克的故事理解解程序該程序閱讀英英文小說，并并回答與故事事有關(guān)的問題題：一個(gè)人進(jìn)入餐餐館并定了一一份漢堡包。。當(dāng)漢堡包端來來的時(shí)侯發(fā)現(xiàn)現(xiàn)被烘脆了，，此人暴怒的離離開餐館，沒有付帳或留留下小費(fèi)。一個(gè)人進(jìn)入餐餐館并定了一一份漢堡包。。當(dāng)漢堡包端來來后他非常喜喜歡它，而且在離開餐餐館付帳之前前，給了女服務(wù)員員很多小費(fèi)。。computer提問此人是否吃了了漢堡包但計(jì)算機(jī)真正正理解這兩段段話的含義了了么？NOYES假定故事是用用中文編寫的的,計(jì)算機(jī)對(duì)故事事的所有運(yùn)算算轉(zhuǎn)變成一組組指令.代表故事和問問題的的一連連串符號(hào)通過過縫隙送到屋子子希爾勒想象自自己在屋子里里操作這些指指令。中文屋子希爾勒完全按按照程序操作作,最終的結(jié)果是是中文的:”是”或”否”.問題是:他根本不懂任任何中文.希爾勒的結(jié)論論：僅僅成功執(zhí)行行算法本身并并不意味著對(duì)對(duì)所發(fā)生的事事情有絲毫的的理解。希爾勒的觀點(diǎn)點(diǎn)：即使計(jì)算機(jī)通通過了圖靈測(cè)測(cè)試，但計(jì)算算機(jī)也沒有理理解它所做的的一切，因此此也就不能體體現(xiàn)出任何智智能。人工智能的研研究目標(biāo)人工智能的研研究有大約50多年的歷程，，對(duì)人工智能能有不同的定定義。但就其本質(zhì)而而言：人工智能是研研究如何制造造出人造的智智能機(jī)器或智智能系統(tǒng)，來來模擬人類智能活動(dòng)動(dòng)的能力，以延伸人類類智能的科學(xué)學(xué)。人類智能活動(dòng)動(dòng)的能力：一一般而言，是是人類在認(rèn)識(shí)識(shí)世界和改造造世界的活動(dòng)動(dòng)中，由腦力勞動(dòng)表現(xiàn)出來的能能力。具體的的指：通過視覺，聽聽覺，觸覺等等感官活動(dòng)，，接受并理解解文字，圖像像，聲音，語語言等各種外外界的自然信信息-----這就是認(rèn)識(shí)和理解世世界的能力。通過人腦的生生理與心理活活動(dòng)以及有關(guān)關(guān)的信息處理理過程，將感感性知識(shí)抽象象為理性知識(shí)識(shí)，并能對(duì)事事物運(yùn)動(dòng)的規(guī)規(guī)律進(jìn)行分析析，判斷和推推理---這就是提出概概念，建立方方法，進(jìn)行演演繹和歸納推推理，作出決策的能能力。對(duì)變化多端的的外界環(huán)境條條件，如干擾擾，刺激等作作用能靈活的的作出反應(yīng)---這就是自我適應(yīng)的能能力。研究人工智能能的途徑目前研究人工工智能主要有有兩種途徑：：途徑一：心心理學(xué)家，生生理學(xué)家認(rèn)為為大腦是智能能活動(dòng)的物質(zhì)質(zhì)基礎(chǔ)，要揭揭示人類智能能活動(dòng)的奧妙妙，就必須弄弄清大腦的結(jié)結(jié)構(gòu)。即：要要從大腦的神神經(jīng)元著手研研究，弄清大大腦信息處理理過程的機(jī)理理。途徑二：計(jì)算算機(jī)科學(xué)家提提出的從模擬擬大腦功能的的角度來實(shí)現(xiàn)現(xiàn)人工智能。。即：通過計(jì)計(jì)算機(jī)程序的的運(yùn)行，從效效果上達(dá)到和和人類智能行行為活動(dòng)過程程相似來作為為研究目標(biāo)。。企圖創(chuàng)立“信息處理的智智能理論”作為實(shí)現(xiàn)人工工智能的長(zhǎng)遠(yuǎn)遠(yuǎn)目標(biāo)以解決“建造智能機(jī)器器或系統(tǒng)為工程目標(biāo)的有有關(guān)原理和技技術(shù)”作為人工智能的的近期目標(biāo)。。研究目標(biāo)說明：不論從從什么角度來來研究人工智智能，都是通通過計(jì)算機(jī)來來實(shí)現(xiàn)的。人工智能的研究目標(biāo)是：弄清楚實(shí)實(shí)現(xiàn)人工智能能的有關(guān)原理理，使計(jì)算機(jī)機(jī)有智慧，更更聰明，更有有用。人工智能的發(fā)發(fā)展階段第一階段：萌萌芽期（1956年以前）自古以來，人人類企圖用機(jī)機(jī)器來代替人人的部分腦力力勞動(dòng)，以提提高征服自然然的能力。如如古希臘制造造機(jī)器人幫助助人勞動(dòng)的傳傳說，中國(guó)古古代歌舞機(jī)器器人傳說------人工智能的幻幻想帕斯卡（Pascal）于1647年制造了第一一臺(tái)會(huì)演算的的機(jī)械加法器器.萊布尼茨（Leibniz）制成了能夠夠?qū)崿F(xiàn)四則運(yùn)運(yùn)算的計(jì)算器器.巴貝奇（Babbage）在1821年發(fā)明了兩臺(tái)臺(tái)最先進(jìn)的差差分機(jī)和分析析機(jī).布爾（G.Boole）致力于使““思維規(guī)律””形式化和實(shí)實(shí)現(xiàn)機(jī)械化，，發(fā)明了布爾爾代數(shù)。圖靈(A.Turing)1936年，提出了““通用圖靈機(jī)機(jī)”概念和模模型.N.Wiener控制論信息論創(chuàng)立，，為人工智能能學(xué)科的誕生生做了理論上上的巨大貢獻(xiàn)獻(xiàn)。第二階段：形形成期（1956年-1961年）1956年的Dartmouth大學(xué)歷史性聚聚會(huì)—人工智能的正正式誕生。物理符號(hào)系統(tǒng)統(tǒng)：1957年，A.Newell,J.Shaw和H.Simon等編寫了邏輯輯理論機(jī)的數(shù)數(shù)學(xué)定理證明明程序等。1960年，編制了能能解10種類型不同課課題的GPS（通用問題求求解程序），，游戲：1956年，Samuel研究的具有自自學(xué)習(xí)，自組組織，自適應(yīng)應(yīng)能力的西洋洋跳棋程序，，1959年戰(zhàn)勝設(shè)計(jì)者者本人，隨后后戰(zhàn)勝了美國(guó)國(guó)的州跳棋大大師。第三階段：發(fā)發(fā)展期（1961年-1980年）專家系統(tǒng)知識(shí)工程知識(shí)工程席卷卷全球各國(guó)發(fā)展計(jì)劃劃：美國(guó)星球球大戰(zhàn)計(jì)劃，，英國(guó)的ALVEY計(jì)劃，法國(guó)UNIKA計(jì)劃，日本五五代機(jī)計(jì)劃，，中國(guó)的863計(jì)劃。學(xué)術(shù)交流的發(fā)發(fā)展對(duì)人工智智能有很大的的推動(dòng)作用。。1969，IJCAI;1974年ECAI,1970年《ARTIFICIALINTELLIGENCE》等。第四階階段：：（80年代初初-90年代初初）新的神神經(jīng)元元網(wǎng)時(shí)時(shí)代BP網(wǎng)（算算法）），解解決了了多層層網(wǎng)的的學(xué)習(xí)習(xí)問題題。在Hopfield網(wǎng)，成成功解解決了了旅行行商問問題。。存在的的問題題：理理論依依據(jù)，，解決決大規(guī)規(guī)模問問題的的能力力。新的動(dòng)動(dòng)向：：構(gòu)造造化方方法。。第五階階段：：（90年代初初-現(xiàn)在））網(wǎng)絡(luò)給給AI帶來無無限的的機(jī)會(huì)會(huì)。知識(shí)發(fā)發(fā)現(xiàn)和和數(shù)據(jù)據(jù)挖掘掘。AI走向?qū)崒?shí)用化化。IBM的“深深藍(lán)””北京時(shí)時(shí)間1997年5月12日凌晨晨4點(diǎn)50分，美美國(guó)紐紐約公公平大大廈，，當(dāng)IBM公司的的“深深藍(lán)Ⅱ”超級(jí)電電腦將將棋盤盤上的的一個(gè)個(gè)兵走走到C4的位置置上時(shí)時(shí)，國(guó)國(guó)際象象棋世世界冠冠軍卡卡斯帕帕羅夫夫?qū)Α啊吧钏{(lán)藍(lán)”的的人機(jī)機(jī)大戰(zhàn)戰(zhàn)落下下帷幕幕，““深藍(lán)藍(lán)”以以3.5：2.5的總比比分戰(zhàn)戰(zhàn)勝卡卡斯帕帕羅夫夫。在世界界范圍圍內(nèi)引引起轟轟動(dòng)，，標(biāo)志志著在在某些些領(lǐng)域域，經(jīng)經(jīng)過努努力，，人工工智能能系統(tǒng)統(tǒng)可以以達(dá)到到人類類的最最高水水平。。正與“深藍(lán)藍(lán)”下下棋卡卡斯帕帕羅夫夫使用方方法-----博弈樹樹搜索索在第三三章詳詳細(xì)介介紹博博弈樹樹搜索索博弈問問題雙人一人一一步雙方信信息完完備(對(duì)壘雙雙方看看到的的信息息是一一樣的的，不不存在在一方方看到到另一一方看看不到到的情情況））零和（（對(duì)一一方有有利的的走棋棋，對(duì)對(duì)另一一方是是不利利的，，不存存在對(duì)對(duì)雙方方均有有利或或者均均無利利的棋棋）IBM的“深深藍(lán)””96年2月第一一次比比賽結(jié)結(jié)果深藍(lán)：：勝，，負(fù)，，平，，平，，負(fù)，，負(fù)97年5月第二二次比比賽結(jié)結(jié)果深藍(lán)：：負(fù)，，勝，，平，，平，，平，，勝AI的研究究?jī)?nèi)容容搜索技技術(shù)知識(shí)表表示規(guī)劃方方法機(jī)器學(xué)學(xué)習(xí)認(rèn)知科科學(xué)自然語語言理理解和和機(jī)器器翻譯譯專家系系統(tǒng)與與知識(shí)識(shí)工程程定理證證明搏弈機(jī)器人人數(shù)據(jù)挖挖掘與與知識(shí)識(shí)發(fā)現(xiàn)現(xiàn)多agent系統(tǒng)復(fù)雜系系統(tǒng)足球機(jī)機(jī)器人人人機(jī)交交互歷史上上的人人工智智能大大師下面介介紹圖圖靈和和幾位位獲得得圖靈靈獎(jiǎng)的的人工工智能能大師師阿倫?圖靈（（AlanTuring）Alan

Turing計(jì)算機(jī)機(jī)科學(xué)學(xué)理論論創(chuàng)始始人阿倫?圖靈（（AlanTuring）1912年出生生在英英國(guó)倫倫敦，，1954年去世世1936年發(fā)表表論文文“論可計(jì)計(jì)算數(shù)數(shù)及其其在判判定問問題中中的應(yīng)應(yīng)用”，提出出圖靈靈機(jī)理理論1950年發(fā)表表論文文“計(jì)算機(jī)機(jī)與智智能”，闡述述了計(jì)計(jì)算機(jī)機(jī)可以以有智智能的的想法法，提提出圖圖靈測(cè)測(cè)試1966年為紀(jì)紀(jì)念圖圖靈的的杰出出貢獻(xiàn)獻(xiàn)，ACM設(shè)立圖圖靈獎(jiǎng)獎(jiǎng)。馬文?明斯基基（MarnivLeeMinsky）人工智智能之之父框架理理論的的創(chuàng)立立者首位圖圖靈獎(jiǎng)獎(jiǎng)獲得得者（1969）馬文?明斯基基（MarnivLeeMinsky）1927年出生生于美美國(guó)紐紐約1951年提出出思維維如何何萌發(fā)發(fā)并形形成的的基本本理論論1956年Dartmouth會(huì)議發(fā)發(fā)起人人之一一1958年在MIT創(chuàng)建世世界第第一個(gè)個(gè)AI實(shí)驗(yàn)室室1969年獲得得的圖圖靈獎(jiǎng)獎(jiǎng)1975年首創(chuàng)創(chuàng)框架架理論論人工智智能之之父LISP語言的的發(fā)明明人首次提提出AI的概念念（1971）約翰翰?麥卡卡錫錫（（JohnMcCarthy）約翰翰?麥卡卡錫錫（（JohnMcCarthy）1927年出出生生于于美美國(guó)國(guó)波波士士頓頓1956年發(fā)發(fā)起起Dartmouth會(huì)議議，，并并提提出出了了“人工工智智能能”的概概念念1958年于于明明斯斯基基一一起起創(chuàng)創(chuàng)建建世世界界上上第第一一個(gè)個(gè)人人工工智智能能實(shí)實(shí)驗(yàn)驗(yàn)室室發(fā)明明-剪枝枝算算法法1959年開開發(fā)發(fā)LISP語言言開創(chuàng)創(chuàng)邏邏輯輯程程序序研研究究，，用用于于程程序序驗(yàn)驗(yàn)證證和和自自動(dòng)動(dòng)程程序序設(shè)設(shè)計(jì)計(jì)1971年獲獲得得圖圖靈靈獎(jiǎng)獎(jiǎng)赫伯伯特特?西蒙蒙（（HerbertA.Simon）符號(hào)號(hào)主主義義學(xué)學(xué)派派的的創(chuàng)創(chuàng)始始人人愛好好廣廣泛泛的的全全能能科科學(xué)學(xué)家家中國(guó)國(guó)科科學(xué)學(xué)院院外外籍籍院院士士（1975）赫伯伯特特?西蒙蒙（（HerbertA.Simon）1916年出出生生在在美美國(guó)國(guó)威威斯斯康康辛辛州州1943年在在匹匹茲茲堡堡大大學(xué)學(xué)獲獲政政治治學(xué)學(xué)博博士士學(xué)學(xué)位位1969年因因心心理理學(xué)學(xué)方方面面的的貢貢獻(xiàn)獻(xiàn)獲獲得得杰杰出出科科學(xué)學(xué)貢貢獻(xiàn)獻(xiàn)獎(jiǎng)獎(jiǎng)1975年和和他他的的學(xué)學(xué)生生艾艾倫倫紐紐厄厄爾爾共共同同獲獲得得圖圖靈靈獎(jiǎng)獎(jiǎng)1978年獲獲得得諾諾貝貝爾爾經(jīng)經(jīng)濟(jì)濟(jì)學(xué)學(xué)獎(jiǎng)獎(jiǎng)1986年因因?yàn)闉樾行袨闉榉椒矫婷娴牡某沙删途瞳@獲得得美美國(guó)國(guó)全全國(guó)國(guó)科科學(xué)學(xué)家家獎(jiǎng)獎(jiǎng)?wù)抡掳瑐悅?紐厄厄爾爾（（AllenNewell）符號(hào)號(hào)主主義義學(xué)學(xué)派派的的創(chuàng)創(chuàng)始始人人之之一一西蒙蒙的的學(xué)學(xué)生生與與同同事事1975年與與西西蒙蒙同同獲獲圖圖靈靈獎(jiǎng)獎(jiǎng)查理理德德?卡普普（（RichardM.Karp）發(fā)明明“分枝枝界界限限法法”的三棲棲學(xué)學(xué)者者（（1985）查理理德德?卡普普（（RichardM.Karp）1935年出生生于于美美國(guó)國(guó)波波士士頓頓是加加州州大大學(xué)學(xué)伯伯克克利利分分校校三三個(gè)個(gè)系系的的教教授授電氣氣工工程程與與計(jì)計(jì)算算機(jī)機(jī)數(shù)學(xué)學(xué)系系工業(yè)業(yè)工工程程與與運(yùn)運(yùn)籌籌學(xué)學(xué)系系60年代代提提出出“分枝枝界界限限法法””，，成成功功求求解解含含有有65個(gè)城城市市的的旅旅行行商商問問題題，，創(chuàng)創(chuàng)當(dāng)當(dāng)時(shí)時(shí)的的記記錄錄1985年獲獲得得圖圖靈靈獎(jiǎng)獎(jiǎng)愛德德華華?費(fèi)根根鮑鮑姆姆（（EdwardA.Feigenbaum）知識(shí)識(shí)工工程程的的提提出出者者大型型人人工工智智能能系系統(tǒng)統(tǒng)的開開拓拓者者（1994）愛德德華華?費(fèi)根根鮑鮑姆姆（（EdwardA.Feigenbaum）1936年出出生生于于美美國(guó)國(guó)新新澤澤西西州州通過過實(shí)實(shí)驗(yàn)驗(yàn)和和研研究究，，證證明明了了實(shí)實(shí)現(xiàn)現(xiàn)智智能能行行為為的的主主要要手手段段是是知知識(shí)識(shí)1977年提提出出知知識(shí)識(shí)工工程程，，使使人人工工智智能能從從理理論論轉(zhuǎn)轉(zhuǎn)向向應(yīng)應(yīng)用用名言言：：知知識(shí)識(shí)蘊(yùn)蘊(yùn)涵涵著著力力量量1994年與與勞勞伊伊雷雷迪迪共共同同獲獲得得圖圖靈靈獎(jiǎng)獎(jiǎng)勞伊伊?雷迪迪（（RajReddy）大型型人人工工智智能能系系統(tǒng)統(tǒng)的的開開拓拓者者（1994）勞伊伊?雷迪迪（（RajReddy）1937年出出生生于于印印度度，，1966年在在美美國(guó)國(guó)獲獲博博士士學(xué)學(xué)位位1994年與與費(fèi)根根鮑鮑姆姆共同同獲獲得得圖圖靈靈獎(jiǎng)獎(jiǎng)主持持過過一一系系列列大大型型AI系統(tǒng)統(tǒng)的的開開發(fā)發(fā)NAVLAB能在在道道路路行行使使的的