人工智能1第一章緒論課件

12022/12/9人工智能導論授課人：王天江華中科技大學計算機學院智能與分布式計算實驗室12022/12/7人工智能導論授課人：王天江22022/12/9教材及主要參考書《人工智能技術(shù)導論》第三版廉師友

編著，2007年，西安電子科技大學出版社

《人工智能及其應用》（第二版），蔡自興等，1999年，清華大學出版社22022/12/7教材及主要參考書32022/12/9第一章人工智能概述32022/12/7第一章人工智能概述42022/12/9人工智能的定義人工智能至今尚無統(tǒng)一的定義我們給出的定義（狹義）：能夠在各類環(huán)境中自主地或交互地執(zhí)行各種擬人任務的機器稱為智能機器從學科的角度看，人工智能是計算機科學的一個分支，它研究、設(shè)計和應用智能機器，其目標是使智能行為自動化。從能力的角度看，人工智能是智能機器所執(zhí)行的與人的智能有關(guān)的功能，如判斷、推理、理解、學習和問題求解等思維活動第一章人工智能概述42022/12/7人工智能的定義人工智能至今尚無統(tǒng)一的定義52022/12/9智能研究中一些難回答的問題智能是一種獨立的才能，還是一系列獨一無二且不相關(guān)聯(lián)的能力的總稱？多大程度上可以說智能是學到的而不是先天存在的？學習時發(fā)生什么？什么是創(chuàng)造力？什么是直覺？可以從觀察到的行為推斷出具有智能，還是需要特定內(nèi)部機制的證據(jù)？在生物體中，知識是如何表示的？智能是否只存在于生物生存的過程中？第一章人工智能概述52022/12/7智能研究中一些難回答的問題智能是一種獨立62022/12/9圖靈測試

最早專門論述機器智能與現(xiàn)代數(shù)字計算機關(guān)系的是圖靈的”計算機器與智能”(1950)苦苦考慮是否能夠制造出真正可以思考的機器思考這個問題本身的嚴重模糊性,阻礙了理性的思考提出用實驗來描述智能問題第一章人工智能概述62022/12/7圖靈測試最早專門論述機器智能與現(xiàn)代數(shù)字72022/12/9怎么去認定一臺計算機是具有智能的呢？假設(shè)：這臺計算機能以一種和人類不能相區(qū)別的方式提供答案，則我們就認為它的確在思維（感覺、理解）如何定義智能機器？72022/12/7怎么去認定一臺計算機是具有智能的呢？如何82022/12/9圖靈測試的重要特征

它提供了一個判斷智能的標準避免了有關(guān)智能“真正”特征的爭論因此,圖靈測試成為許多現(xiàn)代AI程序評價方案的基礎(chǔ)第一章人工智能概述82022/12/7圖靈測試的重要特征它提供了一個判斷智能92022/12/9圖靈測試的反對意見

它偏向于純粹的符號問題求解任務,不適用于測試感知技能或要實現(xiàn)手工靈活性所需要的能力沒有必要把機器智能強行套入人類智能的模具中，或許機器智能就是不同于人類智能，試圖按照人類的方式來評價它，可能根本就是一個錯誤。也有人全面批評圖靈測試，認為分散了我們的注意力，應研究通用理論，解釋人工智能，指導具體實踐問題第一章人工智能概述92022/12/7圖靈測試的反對意見它偏向于純粹的符號問102022/12/9他假設(shè)他自己讀一段中文寫的故事

(他不懂中文)他只能按照符號匹配、查找等計算機方法去讀這個字符串他得到了正確答案，但他還是不理解故事這個實驗稱為中文屋子證明：即便一臺計算機通過了圖靈檢驗，它仍然完全不具備和理解有關(guān)的精神。例如，美國哲學西爾勒的反對意見一個人進入餐館并要了一份漢堡包。當漢堡包端來后發(fā)現(xiàn)給烘脆了，此人暴怒地離開了餐館，沒有付賬或留下小費。一個人進入餐館并要了一份漢堡包。當漢堡包端來后他非常喜歡它，而且在離開餐館付賬之前，給了服務生很多小費。問題：在每一種情形下此人是否吃了漢堡包？102022/12/7他假設(shè)他自己讀一段中文寫的故事(他不112022/12/9AI研究的目標與策略研究目標：制造出智能機器和智能系統(tǒng)，實現(xiàn)智能化社會研究策略：先部分或某種程度地實現(xiàn)機器的智能，再逐步擴展和延伸機器的智能，逐步實現(xiàn)智能化第一章人工智能概述112022/12/7AI研究的目標與策略研究目標：制造出智122022/12/9智能的生物和社會模型

西方哲學的傳統(tǒng)中，把邏輯作為知識表示的依賴性，把邏輯推理作為智能推理的首要機制一些批評者開始探索新的智能模型，智能行為的社會模型。與基于邏輯的方法相反，連接主義通過對人類大腦結(jié)構(gòu)建模來實現(xiàn)智能——神經(jīng)模型一種基于生物的智能模型——演化計算模型，如遺傳算法等。應用生物進化原理來尋找困難問題的解第一章人工智能概述122022/12/7智能的生物和社會模型西方哲學的傳統(tǒng)中132022/12/9AI研究的內(nèi)容

1，搜索與求解2，學習與發(fā)現(xiàn)3，知識與推理4，發(fā)明與創(chuàng)造5，感知與交流6，記憶與聯(lián)想7，系統(tǒng)與制造8，應用與工程第一章人工智能概述132022/12/7AI研究的內(nèi)容1，搜索與求解第一章142022/12/9AI的研究途徑與方法心理模擬，符號推演生理模擬，神經(jīng)計算行為模擬，控制進化群體模擬，仿生計算博采廣鑒，自然計算原理分析，數(shù)學建模第一章人工智能概述142022/12/7AI的研究途徑與方法心理模擬，符號推演152022/12/9人工智能是一門知識的科學。以知識為對象，研究知識的獲取、表示和使用。數(shù)據(jù)處理->知識處理符號表示知識而不是數(shù)值、數(shù)據(jù)。有啟發(fā)，有推導。人工智能是引起爭論最多的科學之一焦點：當前人工智能的研究應該以人類的普遍思維規(guī)律為主，還是以特定知識的處理和運用為主？智能的本質(zhì)是什么？機器能達到人的水平嗎？結(jié)論：人工智能研究是非常困難的

ＡI的研究特點（1）第一章人工智能概述152022/12/7人工智能是一門知識的科學。以知識為對象162022/12/9ＡI的研究特點（2）人工智能的研究是十分困難的。McCarthy： 人工智能的所有問題都是難解的。Minsky： 人工智能是有史以來最難的科學之一。難在：實現(xiàn)智能需要浩繁的知識，而最難對付的知識是常識（不是專業(yè)知識）。Dreyfus： 常識問題是實現(xiàn)人工智能的最大障礙。

第一章人工智能概述162022/12/7ＡI的研究特點（2）人工智能的研究是十172022/12/9ＡI的應用領(lǐng)域第一章人工智能概述172022/12/7ＡI的應用領(lǐng)域第一章人工智能概述182022/12/9博弈跳棋、國際象棋、15格拼圖等智能性良好的已定義的競技規(guī)則易于用計算機表示的格式測試簡單第一章人工智能概述182022/12/7博弈跳棋、國際象棋、15格拼圖等第一章192022/12/9自動推理和定理證明“可以把數(shù)學看成是從基本公理推導出定理的過程”（RusellandWhitehead）邏輯的嚴謹性和普遍性低效性謂詞演算邏輯編程語言啟發(fā)式算法第一章人工智能概述192022/12/7自動推理和定理證明“可以把數(shù)學看成是從202022/12/9專家系統(tǒng)對特定領(lǐng)域知識的重視引發(fā)了對專家系統(tǒng)的研究基于規(guī)則的知識表示基于模型的知識表示推理第一章人工智能概述202022/12/7專家系統(tǒng)對特定領(lǐng)域知識的重視引發(fā)了對專212022/12/9自然語言理解和語義建?？梢岳斫獠a(chǎn)生人類語言的程序采集背景知識以一種有助于領(lǐng)悟語言的方式組織知識語義網(wǎng)絡第一章人工智能概述212022/12/7自然語言理解和語義建模可以理解并產(chǎn)生人222022/12/9其它對人類表現(xiàn)建模規(guī)劃和機器人人工智能的語言和環(huán)境機器學習神經(jīng)網(wǎng)絡和遺傳算法第一章人工智能概述222022/12/7其它對人類表現(xiàn)建模第一章人工智能概述232022/12/9NaturalLanguageQuestionAnswering232022/12/7NaturalLanguageQu242022/12/9SearchenginesScienceMedicine/DiagnosisAppliancesWhatelse?aba2b2Canyouprovetheorems?應用242022/12/7SearchenginesScien252022/12/9Dante1994DanteII(CMU)exploredtheMt.Spurr(AleutianRange,Alaska)volcano.High-temperature,fumarolegassamplesareprizedbyvolcanicscience,yettheirsamplingposessignificantchallenge.In1993,eightvolcanologistswerekilledintwoseparateeventswhilesamplingandmonitoringvolcanoes機器人被用來進行火山探險252022/12/7Dante1994DanteII262022/12/9如果蟲子可以學習會怎樣？1988年，麻省理工大學的Rodney

Brooks實驗室創(chuàng)造出了這個六只腳的步行者，可以自學如何攀登和跨越障礙262022/12/7如果蟲子可以學習會怎樣？1988年，麻272022/12/9SonyAIBO272022/12/7SonyAIBO282022/12/9思考一下：

國際象棋、中國象棋與圍棋為什么已經(jīng)有了可以戰(zhàn)勝國際大師的國際象棋程序，而中國象棋和圍棋的程序水平卻比較低呢？力量投入問題？計算機發(fā)展水平問題？棋本身的復雜性問題？其他別的問題？第一章人工智能概述282022/12/7思考一下：

國際象棋、中國象棋292022/12/9歷史上的人工智能大師下面介紹圖靈和幾位獲得圖靈獎的人工智能大師292022/12/7歷史上的人工智能大師下面介紹圖靈和幾位302022/12/9阿倫?圖靈

（AlanTuring）

計算機科學理論的創(chuàng)始人302022/12/7阿倫?圖靈

（AlanTuring）312022/12/9阿倫?圖靈（AlanTuring）1912年出生于英國倫敦，1954年去世1936年發(fā)表論文“論可計算數(shù)及其在判定問題中的應用”，提出圖靈機理論1950年發(fā)表論文“計算機與智能”，闡述了計算機可以具有智能的想法，提出圖靈測試1966年為紀念圖靈的杰出貢獻，ACM設(shè)立圖靈獎312022/12/7阿倫?圖靈（AlanTuring）1322022/12/9馬文?明斯基

（MarnivLeeMinsky）

人工智能之父 框架理論的創(chuàng)立者 首位獲得圖靈獎的人工智能學者322022/12/7馬文?明斯基

（MarnivLee332022/12/9馬文?明斯基

（MarnivLeeMinsky）1927年出生于美國紐約1951年提出思維如何萌發(fā)并形成的基本理論1956年達特茅斯會議的發(fā)起人之一1958年在MIT創(chuàng)建世界上第一個AI實驗室1969年獲得圖靈獎1975年首創(chuàng)框架理論332022/12/7馬文?明斯基

（MarnivLee342022/12/9約翰?麥卡錫

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

（JohnMcCart352022/12/9約翰?麥卡錫

（JohnMcCarthy）1927年出生于美國波士頓1956年發(fā)起達特茅斯會議，并提出“人工智能”的概念1958年與明斯基一起創(chuàng)建世界上第一個人工智能實驗室發(fā)明α－β剪枝算法1959年開發(fā)LISP語言開創(chuàng)邏輯程序研究，用于程序驗證和自動程序設(shè)計1971年獲得圖靈獎352022/12/7約翰?麥卡錫

（JohnMcCart362022/12/9赫伯特?西蒙

（HerbertA.Simon）符號主義學派的創(chuàng)始人愛好廣泛的全能科學家中國科學院外籍院士362022/12/7赫伯特?西蒙

（HerbertA.372022/12/9赫伯特?西蒙

(HerbertA.Simon）1916年出生于美國的威斯康辛州1943年在匹茲堡大學獲政治學博士學位1969年因心理學方面的貢獻獲得杰出科學貢獻獎1975年和他的學生艾倫?紐厄爾共同獲得圖靈獎1978年獲得諾貝爾經(jīng)濟學獎1986年因行為學方面的成就獲得美國全國科學家獎章372022/12/7赫伯特?西蒙

(HerbertA.382022/12/950年代至60年代初開發(fā)了世界上最早的啟發(fā)式程序“邏輯理論家”LT，證明了《數(shù)學原理》第二章中的全部52個定理，開創(chuàng)了機器定理證明這一新的學科領(lǐng)域57年開發(fā)了IPL(InformationProcessingLanguage)語言，是最早的AI語言。60年開發(fā)了“通用問題求解系統(tǒng)”GPS66年開發(fā)了最早的下棋程序之一MATER70年發(fā)展與完善了語義網(wǎng)絡的概念和方法70年代提出了“物理符號系統(tǒng)假說”70年代提出決策過程模型，成為DSS的核心內(nèi)容382022/12/750年代至60年代初開發(fā)了世界上最早的392022/12/9查理德?卡普

（RichardM.Karp）

發(fā)明“分枝界限法”的三棲學者392022/12/7查理德?卡普

（RichardM.402022/12/9查理德?卡普（RichardM.Karp）1935年出生于美國波士頓是加州大學伯克利分校三個系的教授：電氣工程和計算機系數(shù)學系工業(yè)工程和運籌學系60年代提出“分枝界限法”，成功求解含有65個城市的推銷員問題，創(chuàng)當時的記錄1985年獲得圖靈獎402022/12/7查理德?卡普（RichardM.K412022/12/9愛德華?費根鮑姆

（EdwardA.Feigenbaum）

知識工程的提出者 大型人工智能系統(tǒng)的開拓者412022/12/7愛德華?費根鮑姆

（EdwardA.422022/12/9愛德華?費根鮑姆

（EdwardA.Feigenbaum）1936年出生于美國的新澤西州通過實驗和研究，證明了實現(xiàn)智能行為的主要手段是知識1977年提出知識工程，使人工智能從理論轉(zhuǎn)向應用名言：知識蘊藏著力量1994年和勞伊?雷迪共同獲得圖靈獎422022/12/7愛德華?費根鮑姆

（EdwardA.432022/12/91963年主編了《計算機與思想》一書，被認為是世界上第一本有關(guān)人工智能的經(jīng)典性專著1965年開發(fā)出世界上第一個專家系統(tǒng)開發(fā)出著名的專家系統(tǒng)MYCIN80年代合著了四卷本的《人工智能手冊》開設(shè)Teknowledge和IntelliGenetics兩個公司，是世界上第一家以開發(fā)和將專家系統(tǒng)商品化的公司432022/12/71963年主編了《計算機與思想》一書，442022/12/9勞伊?雷迪

（RajReddy）

大型人工智能系統(tǒng)的開拓者442022/12/7勞伊?雷迪

（RajReddy） 大452022/12/9勞伊?雷迪（RajReddy）37年出生于印度，66年在美國獲得博士1994年于費根鮑姆共同獲得圖靈獎主持過一系列大型AI系統(tǒng)的開發(fā)Navlab能在道路行駛的自動車輛項目LISTEN用于掃盲的語音識別系統(tǒng)以詩人但丁命名的火山探測機器人項目自動機工廠項目，提出“白領(lǐng)機器人學”452022/12/7勞伊?雷迪（RajReddy）37年462022/12/9道格拉斯?恩格爾巴特

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

（Douglas472022/12/9道格拉斯?恩格爾巴特

（DouglasEngelbart）1925年出生于美國俄勒岡州60年代提出計算機是人類智力的放大器的觀點1964年發(fā)明鼠標，67年申請專利，70年取得專利對超文本技術(shù)作出了巨大貢獻，以他的名字命名ACM超文本會議最佳論文獎472022/12/7道格拉斯?恩格爾巴特

（Douglas482022/12/9第一章人工智能概述

TheEnd482022/12/7第一章人工智能概述492022/12/9人工智能導論授課人：王天江華中科技大學計算機學院智能與分布式計算實驗室12022/12/7人工智能導論授課人：王天江502022/12/9教材及主要參考書《人工智能技術(shù)導論》第三版廉師友

編著，2007年，西安電子科技大學出版社

《人工智能及其應用》（第二版），蔡自興等，1999年，清華大學出版社22022/12/7教材及主要參考書512022/12/9第一章人工智能概述32022/12/7第一章人工智能概述522022/12/9人工智能的定義人工智能至今尚無統(tǒng)一的定義我們給出的定義（狹義）：能夠在各類環(huán)境中自主地或交互地執(zhí)行各種擬人任務的機器稱為智能機器從學科的角度看，人工智能是計算機科學的一個分支，它研究、設(shè)計和應用智能機器，其目標是使智能行為自動化。從能力的角度看，人工智能是智能機器所執(zhí)行的與人的智能有關(guān)的功能，如判斷、推理、理解、學習和問題求解等思維活動第一章人工智能概述42022/12/7人工智能的定義人工智能至今尚無統(tǒng)一的定義532022/12/9智能研究中一些難回答的問題智能是一種獨立的才能，還是一系列獨一無二且不相關(guān)聯(lián)的能力的總稱？多大程度上可以說智能是學到的而不是先天存在的？學習時發(fā)生什么？什么是創(chuàng)造力？什么是直覺？可以從觀察到的行為推斷出具有智能，還是需要特定內(nèi)部機制的證據(jù)？在生物體中，知識是如何表示的？智能是否只存在于生物生存的過程中？第一章人工智能概述52022/12/7智能研究中一些難回答的問題智能是一種獨立542022/12/9圖靈測試

最早專門論述機器智能與現(xiàn)代數(shù)字計算機關(guān)系的是圖靈的”計算機器與智能”(1950)苦苦考慮是否能夠制造出真正可以思考的機器思考這個問題本身的嚴重模糊性,阻礙了理性的思考提出用實驗來描述智能問題第一章人工智能概述62022/12/7圖靈測試最早專門論述機器智能與現(xiàn)代數(shù)字552022/12/9怎么去認定一臺計算機是具有智能的呢？假設(shè)：這臺計算機能以一種和人類不能相區(qū)別的方式提供答案，則我們就認為它的確在思維（感覺、理解）如何定義智能機器？72022/12/7怎么去認定一臺計算機是具有智能的呢？如何562022/12/9圖靈測試的重要特征

它提供了一個判斷智能的標準避免了有關(guān)智能“真正”特征的爭論因此,圖靈測試成為許多現(xiàn)代AI程序評價方案的基礎(chǔ)第一章人工智能概述82022/12/7圖靈測試的重要特征它提供了一個判斷智能572022/12/9圖靈測試的反對意見

它偏向于純粹的符號問題求解任務,不適用于測試感知技能或要實現(xiàn)手工靈活性所需要的能力沒有必要把機器智能強行套入人類智能的模具中，或許機器智能就是不同于人類智能，試圖按照人類的方式來評價它，可能根本就是一個錯誤。也有人全面批評圖靈測試，認為分散了我們的注意力，應研究通用理論，解釋人工智能，指導具體實踐問題第一章人工智能概述92022/12/7圖靈測試的反對意見它偏向于純粹的符號問582022/12/9他假設(shè)他自己讀一段中文寫的故事

(他不懂中文)他只能按照符號匹配、查找等計算機方法去讀這個字符串他得到了正確答案，但他還是不理解故事這個實驗稱為中文屋子證明：即便一臺計算機通過了圖靈檢驗，它仍然完全不具備和理解有關(guān)的精神。例如，美國哲學西爾勒的反對意見一個人進入餐館并要了一份漢堡包。當漢堡包端來后發(fā)現(xiàn)給烘脆了，此人暴怒地離開了餐館，沒有付賬或留下小費。一個人進入餐館并要了一份漢堡包。當漢堡包端來后他非常喜歡它，而且在離開餐館付賬之前，給了服務生很多小費。問題：在每一種情形下此人是否吃了漢堡包？102022/12/7他假設(shè)他自己讀一段中文寫的故事(他不592022/12/9AI研究的目標與策略研究目標：制造出智能機器和智能系統(tǒng)，實現(xiàn)智能化社會研究策略：先部分或某種程度地實現(xiàn)機器的智能，再逐步擴展和延伸機器的智能，逐步實現(xiàn)智能化第一章人工智能概述112022/12/7AI研究的目標與策略研究目標：制造出智602022/12/9智能的生物和社會模型

西方哲學的傳統(tǒng)中，把邏輯作為知識表示的依賴性，把邏輯推理作為智能推理的首要機制一些批評者開始探索新的智能模型，智能行為的社會模型。與基于邏輯的方法相反，連接主義通過對人類大腦結(jié)構(gòu)建模來實現(xiàn)智能——神經(jīng)模型一種基于生物的智能模型——演化計算模型，如遺傳算法等。應用生物進化原理來尋找困難問題的解第一章人工智能概述122022/12/7智能的生物和社會模型西方哲學的傳統(tǒng)中612022/12/9AI研究的內(nèi)容

1，搜索與求解2，學習與發(fā)現(xiàn)3，知識與推理4，發(fā)明與創(chuàng)造5，感知與交流6，記憶與聯(lián)想7，系統(tǒng)與制造8，應用與工程第一章人工智能概述132022/12/7AI研究的內(nèi)容1，搜索與求解第一章622022/12/9AI的研究途徑與方法心理模擬，符號推演生理模擬，神經(jīng)計算行為模擬，控制進化群體模擬，仿生計算博采廣鑒，自然計算原理分析，數(shù)學建模第一章人工智能概述142022/12/7AI的研究途徑與方法心理模擬，符號推演632022/12/9人工智能是一門知識的科學。以知識為對象，研究知識的獲取、表示和使用。數(shù)據(jù)處理->知識處理符號表示知識而不是數(shù)值、數(shù)據(jù)。有啟發(fā)，有推導。人工智能是引起爭論最多的科學之一焦點：當前人工智能的研究應該以人類的普遍思維規(guī)律為主，還是以特定知識的處理和運用為主？智能的本質(zhì)是什么？機器能達到人的水平嗎？結(jié)論：人工智能研究是非常困難的

ＡI的研究特點（1）第一章人工智能概述152022/12/7人工智能是一門知識的科學。以知識為對象642022/12/9ＡI的研究特點（2）人工智能的研究是十分困難的。McCarthy： 人工智能的所有問題都是難解的。Minsky： 人工智能是有史以來最難的科學之一。難在：實現(xiàn)智能需要浩繁的知識，而最難對付的知識是常識（不是專業(yè)知識）。Dreyfus： 常識問題是實現(xiàn)人工智能的最大障礙。

第一章人工智能概述162022/12/7ＡI的研究特點（2）人工智能的研究是十652022/12/9ＡI的應用領(lǐng)域第一章人工智能概述172022/12/7ＡI的應用領(lǐng)域第一章人工智能概述662022/12/9博弈跳棋、國際象棋、15格拼圖等智能性良好的已定義的競技規(guī)則易于用計算機表示的格式測試簡單第一章人工智能概述182022/12/7博弈跳棋、國際象棋、15格拼圖等第一章672022/12/9自動推理和定理證明“可以把數(shù)學看成是從基本公理推導出定理的過程”（RusellandWhitehead）邏輯的嚴謹性和普遍性低效性謂詞演算邏輯編程語言啟發(fā)式算法第一章人工智能概述192022/12/7自動推理和定理證明“可以把數(shù)學看成是從682022/12/9專家系統(tǒng)對特定領(lǐng)域知識的重視引發(fā)了對專家系統(tǒng)的研究基于規(guī)則的知識表示基于模型的知識表示推理第一章人工智能概述202022/12/7專家系統(tǒng)對特定領(lǐng)域知識的重視引發(fā)了對專692022/12/9自然語言理解和語義建?？梢岳斫獠a(chǎn)生人類語言的程序采集背景知識以一種有助于領(lǐng)悟語言的方式組織知識語義網(wǎng)絡第一章人工智能概述212022/12/7自然語言理解和語義建模可以理解并產(chǎn)生人702022/12/9其它對人類表現(xiàn)建模規(guī)劃和機器人人工智能的語言和環(huán)境機器學習神經(jīng)網(wǎng)絡和遺傳算法第一章人工智能概述222022/12/7其它對人類表現(xiàn)建模第一章人工智能概述712022/12/9NaturalLanguageQuestionAnswering232022/12/7NaturalLanguageQu722022/12/9SearchenginesScienceMedicine/DiagnosisAppliancesWhatelse?aba2b2Canyouprovetheorems?應用242022/12/7SearchenginesScien732022/12/9Dante1994DanteII(CMU)exploredtheMt.Spurr(AleutianRange,Alaska)volcano.High-temperature,fumarolegassamplesareprizedbyvolcanicscience,yettheirsamplingposessignificantchallenge.In1993,eightvolcanologistswerekilledintwoseparateeventswhilesamplingandmonitoringvolcanoes機器人被用來進行火山探險252022/12/7Dante1994DanteII742022/12/9如果蟲子可以學習會怎樣？1988年，麻省理工大學的Rodney

Brooks實驗室創(chuàng)造出了這個六只腳的步行者，可以自學如何攀登和跨越障礙262022/12/7如果蟲子可以學習會怎樣？1988年，麻752022/12/9SonyAIBO272022/12/7SonyAIBO762022/12/9思考一下：

國際象棋、中國象棋與圍棋為什么已經(jīng)有了可以戰(zhàn)勝國際大師的國際象棋程序，而中國象棋和圍棋的程序水平卻比較低呢？力量投入問題？計算機發(fā)展水平問題？棋本身的復雜性問題？其他別的問題？第一章人工智能概述282022/12/7思考一下：

國際象棋、中國象棋772022/12/9歷史上的人工智能大師下面介紹圖靈和幾位獲得圖靈獎的人工智能大師292022/12/7歷史上的人工智能大師下面介紹圖靈和幾位782022/12/9阿倫?圖靈

（AlanTuring）

計算機科學理論的創(chuàng)始人302022/12/7阿倫?圖靈

（AlanTuring）792022/12/9阿倫?圖靈（AlanTuring）1912年出生于英國倫敦，1954年去世1936年發(fā)表論文“論可計算數(shù)及其在判定問題中的應用”，提出圖靈機理論1950年發(fā)表論文“計算機與智能”，闡述了計算機可以具有智能的想法，提出圖靈測試1966年為紀念圖靈的杰出貢獻，ACM設(shè)立圖靈獎312022/12/7阿倫?圖靈（AlanTuring）1802022/12/9馬文?明斯基

（MarnivLeeMinsky）

人工智能之父 框架理論的創(chuàng)立者 首位獲得圖靈獎的人工智能學者322022/12/7馬文?明斯基

（MarnivLee812022/12/9馬文?明斯基

（MarnivLeeMinsky）1927年出生于美國紐約1951年提出思維如何萌發(fā)并形成的基本理論1956年達特茅斯會議的發(fā)起人之一1958年在MIT創(chuàng)建世界上第一個AI實驗室1969年獲得圖靈獎1975年首創(chuàng)框架理論332022/12/7馬文?明斯基

（MarnivLee822022/12/9約翰?麥卡錫

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

（JohnMcCart832022/12/9約翰?麥卡錫

（JohnMcCarthy）1927年出生于美國波士頓1956年發(fā)起達特茅斯會議，并提出“人工智能”的概念1958年與明斯基一起創(chuàng)建世界上第一個人工智能實驗室發(fā)明α－β剪枝算法1959年開發(fā)LISP語言開創(chuàng)邏輯程序研究，用于程序驗證和自動程序設(shè)計1971年獲得圖靈獎352022/12/7約翰?麥卡錫

（JohnMcCart842022/12/9赫伯特?西蒙

（HerbertA.Simon）符號主義學派的創(chuàng)始人愛好廣泛的全能科學家中國科學院外籍院士362022/12/7赫伯特?西蒙

（HerbertA.852022/12/9赫伯特?西蒙

(HerbertA.Simon）1916年出生于美國的威斯康辛州1943年在匹茲堡大學獲政治學博士學位1969年因心理學方面的貢獻獲得杰出科學貢獻獎1975年和他的學生艾倫?紐厄爾共同獲得圖靈獎1978年獲得諾貝爾經(jīng)濟學獎1986年因行為學方面的成就獲得美國全國科學家獎章372022/12/7赫伯特?西蒙

(HerbertA.862022/12/950年代至60年代初開發(fā)了世界上最早的啟發(fā)式程序“邏輯理論家”LT，證明了《數(shù)學原理》第二章中的全部52個定理，開創(chuàng)了機器定理證明這一新的學科領(lǐng)域57年開發(fā)了IPL(InformationProcessingLanguage)語言，是最早的AI語言。60年開發(fā)了“通用問題求解系統(tǒng)”GPS66年開發(fā)了最早的下棋程序之一MATER70年發(fā)展與完善了語義網(wǎng)絡的概念和方法70年代提出了“物