人工智能與知識工程

人工智能與知識工程華北電力大學計算機系劉麗

1/22/20231教材及參考書籍參考教材：《人工智能》，馬少平、朱小燕，清華大學出版社，2004年?！度斯ぶ悄芘c知識工程》，王永慶編著，西安交通大學出版社，1998年?！度斯ぶ悄芙坛蹋ǖ诙妫罚跏客?，電子工業(yè)出版社，2006。主要參考文獻：

《人工智能技術(shù)導論(第三版)》，廉師友，西安電子科技大學出版社，2007年。《人工智能》，史忠植，王文杰，清華大學出版社，2007年。《人工智能原理及其應用》，王萬森，電子工業(yè)出版社，2007年?！度斯ぶ悄埽褐悄芟到y(tǒng)指南(原書第2版)》，(澳)MICHAELNEGNEVITSKY編著，顧力栩等譯，機械工業(yè)出版社，2007年。《人工智能：復雜問題求解的結(jié)構(gòu)和策略(原書第5版)》，(美)GEORGEF.LUGER編著，史忠植等譯，機械工業(yè)出版社，2006年。1/22/20232華北電力大學考試方法考試開卷百分比：50%大作業(yè)課程總結(jié)百分比：40%平時成績出勤百分比：10%1/22/20233華北電力大學大作業(yè)題目人工生命人工免疫系統(tǒng)人工神經(jīng)網(wǎng)絡進化計算（遺傳算法、進化策略、進化規(guī)劃）多智能體系統(tǒng)分形方式每題8～9人，獨立完成，形成書面學習筆記、研究綜述等綜合報告成果，口頭報告（定義、原理、研究進展、程序?qū)嵗龋?，學術(shù)交流1/22/20234華北電力大學主要內(nèi)容緒論知識表示搜索技術(shù)回溯策略、無信息圖搜索、啟發(fā)式圖搜索，與或圖搜索謂詞邏輯與歸結(jié)原理人工智能的程序設計語言不確定性推理方法機器學習人工智能新技術(shù)1/22/20235華北電力大學第0章緒論0.1什么是人工智能0.2圖靈測試0.3中文屋子問題0.4人工智能的研究目標0.5人工智能發(fā)展簡史0.6人工智能研究課題1/22/20236華北電力大學0.1什么是人工智能很早人類就有制造機器人的幻想黃帝的“指南車”諸葛亮的“木牛流馬”亞里士多德的形式邏輯萊布尼茨的關(guān)于數(shù)理邏輯的思想“機器人”一詞的來源1/22/20237華北電力大學萊布尼茨

手搖計算機(LeibnizWheel)整個機器由齒輪系統(tǒng)傳動重要部件是階梯形軸便于實現(xiàn)簡單的四則運算第一個認識到二進制記數(shù)法重要性的人，系統(tǒng)地提出了二進制數(shù)的運算法則1/22/20238華北電力大學現(xiàn)代人工智能的興起現(xiàn)代人工智能（ArtificialIntelligence，AI）一般認為起源于美國1956年的一次夏季討論（達特茅斯會議），在這次會議上，第一次提出了“ArtificialIntelligence”這個詞與會者：McCarthy、Minsky、Locheseter、Shannon、Samuel、Newell、Simon等AI至今沒有統(tǒng)一的定義1/22/20239華北電力大學什么是人工智智能？J.McCarthyAI使一部機機器的反應方方式就像是一一個人在行動動時所依據(jù)的的智能1/7/202310華北電力力大學約翰?麥麥卡錫（（JohnMcCarthy）人工智能能之父LISP語言的的發(fā)明人人首次提出出AI的的概念1/7/202311華北電力力大學約翰?麥麥卡錫（（JohnMcCarthy）1927年出生生于美國國波士頓頓1956年發(fā)起起達特茅茅斯會議議，并提提出“人人工智能能”的概概念1958年與明明斯基一一起創(chuàng)建建世界上上第一個個人工智智能實驗驗室發(fā)明α－－β剪枝枝算法1959年開發(fā)發(fā)LISP語言言開創(chuàng)邏輯輯程序研研究，用用于程序序驗證和和自動程程序設計計1971年獲得得圖靈獎獎1/7/202312華北電力力大學什么是人人工智能能？J.NilssonAI是關(guān)關(guān)于知識識的科學學，即怎怎樣表示示知識、、獲取知知識和使使用知識識的科學學P.Winston（PatrickHenryWinston：：美國人工工智能協(xié)協(xié)會前主主席,美美國麻麻省理工工學院（（MIT）人工工智能和和計算機機科學教教授，美美國Ascent技術(shù)術(shù)公司總總裁和創(chuàng)創(chuàng)始人之之一）AI研究究如何使使計算機機去做過過去只有有人才能能做的富富有智能能的工作作1/7/202313華北電電力大大學邏輯學學派的的奠基基人之之一，，對AI的的發(fā)展展做出出了重重大的的貢獻獻P.E.Hart,N.J.Nilsson,andB.Raphael.Aformalbasisfortheheuristicdeterminationofminimumcostpathsingraphs.IEEETrans.Syst.Sci.andCybernetics,SSC-4(2):100-107,1968”---A*算算法斯坦福福大學學終身身的工工程學學KUMAGAI教教授曾任《《ARTIFICIALINTELLIGENCE》》、《《MACHINELEARNING》雜雜志的的編輯輯、斯斯坦福福大學學計算算機科科學系系系主主任、、SRT人人工智智能中中心主主任及及美國國人工工智能能協(xié)會會理事事長J.Nilson1/7/202314華北電力力大學什么是人人工智能能？M.MinskyAI是讓讓機器做做本需要要人的智智能才能能做到的的事情的的一門學學科A.FeigenbaumAI是一一個知識識信息處處理系統(tǒng)統(tǒng)1/7/202315華北電力大大學馬文?明斯斯基（MarnivLeeMinsky））人工智能之之父框架理論的的創(chuàng)立者首位獲得圖圖靈獎的人人工智能學學者1/7/202316華北電力大大學馬文?明斯斯基（MarnivLeeMinsky））1927年年出生于美美國紐約1951年年提出思維維如何萌發(fā)發(fā)并形成的的基本理論論1956年年達特茅斯斯會議的發(fā)發(fā)起人之一一1958年年在MIT創(chuàng)建世界界上第一個個AI實驗驗室1969年獲獲得圖靈獎1975年首首創(chuàng)框架理論論1/7/202317華北電電力大大學愛德華華?費費根鮑鮑姆（（EdwardA.Feigenbaum）知識工程程的提出出者大型人工工智能系系統(tǒng)的開開拓者1/7/202318華北電力力大學愛德華??費根鮑鮑姆（EdwardA.Feigenbaum）1936年出生生于美國國的新澤澤西州通過實驗驗和研究究，證明明了實現(xiàn)現(xiàn)智能行行為的主主要手段段是知識識1977年提出出知識工工程，使使人工智智能從理理論轉(zhuǎn)向向應用名言：知知識蘊藏藏著力量量1994年和勞勞伊?雷雷迪共同同獲得圖圖靈獎1/7/202319華北電力大大學1963年年主編《計計算機與思思想》，被被認為是世世界上第一一本有關(guān)人人工智能的的經(jīng)典性專專著1965年年開發(fā)出世世界上第一一個專家系系統(tǒng)Dendral開發(fā)出著名名的專家系系統(tǒng)MYCIN80年代合合著了四卷卷本的《人人工智能手手冊》開設Teknowledge和IntelliGenetics兩個公司司，是世界界上最早以以開發(fā)和將將專家系統(tǒng)統(tǒng)商品化的的公司愛德華?費費根鮑姆（（EdwardA.Feigenbaum）1/7/202320華北電力大大學勞伊?雷迪迪（RajReddy）大型人工智智能系統(tǒng)的的開拓者1/7/202321華北電電力大大學勞伊??雷迪迪（RajReddy）1937年年出生生于印印度，，1966年在在美國國獲得得博士士1994年年與費費根鮑鮑姆共共同獲獲得圖圖靈獎獎主持過過一系系列大大型AI系系統(tǒng)的的開發(fā)發(fā)Navlab能能在在道路路行駛駛的自自動車車輛項項目LISTEN用用于于掃盲盲的語語音識識別系系統(tǒng)以詩人人但丁丁命名名的火火山探探測機機器人人項目目自動機機工廠廠項目目，提提出““白領領機器器人學學”1/7/202322華北電電力大大學什么是是人工工智能能像人一樣思考的系統(tǒng)理性地思考的系統(tǒng)“要使計算機能夠思考..….意思就是：有頭腦的機器”（Haugeland,1985）“與人類的思維相關(guān)的活動，諸如決策、問題求解、學習等活動”（Bellman,1978）“通過利用計算模型來進行心智能力的研究”（Chamiak和McDermott,1985）“對使得知覺、推理和行為成為可能的計算的研究”（Winston,1992）像人一樣行動的系統(tǒng)理性地行動的系統(tǒng)“一種技藝，創(chuàng)造機器來執(zhí)行人需要智能才能完成的功能”（Kurzweil,1990）“研究如何讓計算機能夠做到那些目前人比計算機做得更好的事情”（Rich和Knight,1991）“計算智能是對設計智能化智能體的研究”（Poole等，1998）“AI..….關(guān)心的是人工制品中的智能行為”（Nilsson,1998）1/7/202323華北電力大學學什么是人工智智能AI研究的是是如何運用知知識，以便像像人類一樣完完成富有智能能的工作就AI的本質(zhì)質(zhì)來說，可以以認為人工智智能是一門研研究如何制造造出人造的智智能機器或智智能系統(tǒng)，來來模擬人類智智能活動的能能力，以延伸伸人們智能的的科學1/7/202324華北電力大學學人工智能和通通常程序的比較人工智能通常計算機程程序主要是符號處理主主要是數(shù)字處理啟發(fā)式搜索依靠算法控制結(jié)構(gòu)和知知識域相分離信息和控制聯(lián)聯(lián)結(jié)在一起易于修改、更更新和改變難難以以修改允許不正確的答案案要求正確的回答AI程序：干什么傳統(tǒng)程序：干些什么及如如何干1/7/202325華北電力大學學智能和智力“智能”源于拉丁“Legere”，意思是收收集、匯集，，智能通常用用來表示從中中進行選擇、理解和和感覺自然智能人類和一些動動物所具有的的智力和行為能能力智力是針對具體情況況的，根據(jù)不同同的情況有不不同的含義“智力”是指指學會某種技能能的能力，而而不是指技能能本身1/7/202326華北電電力大大學智能和和智力力智能的的定義義和描描述：：（1））善于于判斷、、理解解和推推理（2））綜合合智力力———主要要是指指“相互關(guān)關(guān)系的的訓練練”（3））形成要要領和掌握含含義的能力力（4））全面考考試的的能力力或思維的的效率率（5））先天的的、綜綜合的的和認認知的的能力力（6））智力力活動動包括括在某某一情情況下下抓住本本質(zhì)并對他他們作作出適當?shù)牡姆磻獞?））適當當?shù)匦行袆印?、理智智地思思考、、有效效地適適應環(huán)環(huán)境的的總體能能力。。（8））身體體和社社會環(huán)環(huán)境的的適應性性判斷、、理解解、推推理、、形成成概念念、適適當?shù)牡姆磻獞瓦m適應性性等1/7/202327華北電電力大大學0.2圖圖靈測試試如何知道道一個系系統(tǒng)是否否具有智智能呢？？1950年，計計算機科科學家圖圖靈提出出了著名名的“圖圖靈測試試”1/7/202328華北電力力大學測試的設設置測試的參參與者：：測試人被測試人人一個人一個聲稱稱自己有有人類智智力的機機器測試過程程：測試人與與被測試試人是分分開的，，測試人人只有通通過一些些裝置（（如鍵盤盤）向被被測試人人問一些些問題，，這些問問題隨便便是什么么問題都都可以1/7/202329華北電力力大學測試的設設置1/7/202330華北電力力大學問過一些些問題后后測試人能能正確地地分出誰誰是人誰誰是機器器——機機器沒有有通過圖圖靈測試試測試人沒沒有分出出誰是機機器誰是是人———機器通通過了圖圖靈測試試，具有了圖靈測試試意義下下的智能能計算機為為了通過過圖靈測測試，要要很好地地模擬人人類的優(yōu)點和不足不能比人人類愚蠢蠢，也不不能比人人類聰明明在某些方方面變得得愚蠢并并不是很很難的事事情困難的是是一些常常識性的的問題人類可以以非常輕輕松的處處理常識識性的問問題，但但對于計計算機來來說卻非非常困難難測試的設設置1/7/202331華北電力大大學圖靈測試———示范1問：請給我我寫出有關(guān)關(guān)“第四號號橋”主題題的十四行行詩。答：不要問問我這道題題，我從來來不會寫詩詩。問：34957加70764等于多少少？答：（停30秒后）105721問：你會下國國際象棋嗎？？答：是的。問：我在我的的K1處有棋棋子K；你僅僅在K6處有有棋子K，在在R1處有棋棋子R?，F(xiàn)在在輪到你走，，你應該下那那步棋？答：（停15秒鐘后）棋棋子R走到R8處，將軍軍！1/7/202332華北電力大學學圖靈測試———示范2問：你會下國國際象棋嗎？？答：是的。問：你會下國國際象棋嗎？？答：是的。問：請再次回回答，你會下下國際象棋嗎嗎？答：是的。一部笨機器!!!1/7/202333華北電力力大學圖靈測試試——示示范3問：你你會下國國際象棋棋嗎？答：是的的。問：你會會下國際際象棋嗎嗎？答：是的的，我不不是已經(jīng)經(jīng)說過了了嗎？問：請再再次回答答，你會會下國際際象棋嗎嗎？答：你煩煩不煩，，干嘛老老提同樣樣的問題題。大概是人人而不是是機器!!!1/7/202334華北電力力大學圖靈測試試——示示范4很多人研研究過計計算機對對話程序序，如J.Weizenbaum寫寫的Eliza（扮演演心理醫(yī)醫(yī)生），，模仿心心理醫(yī)生生和女病病人的對對話P：所有有男人都都一個樣樣。E：這從從何說起起呢？P：他們們總是這這樣和那那樣的找找我們的的麻煩。。E：你能能舉一個個例子嗎嗎？P：好吧吧，你瞧瞧，我的的男朋友友叫我的的這兒來來。E：哦，，你的男男朋友叫叫你到這這兒來。。P：他說說我顯得得精神沮沮喪已經(jīng)經(jīng)很長時時間了。。E：聽到到你說你你精神沮沮喪，我我很同情情。P：說真真的，我我很不高高興。E：你認認為到這這兒來能能幫助你你高興起起來嗎？？P：那當然，，我需要幫助助。E：如果你得得到了幫助，，那將意味著著什么？1/7/202335華北電力大學學圖靈測試對人類來說容容易求解的問問題，對計算算機來說并不不一定容易解解決對人類來說困困難的問題，，計算機處理理起來不一定定困難利用計算機難難以通過圖靈靈測試的特點點，逆向使用用圖靈測試，，解決復雜問問題防止利用程序序?qū)W(wǎng)絡系統(tǒng)統(tǒng)進行惡意攻攻擊，在登錄錄界面上，除除了要輸入用用戶名、密碼碼之外，還要要識別出系統(tǒng)統(tǒng)隨機產(chǎn)生的的一些在復雜雜背景上的變變形文字1/7/202336華北電電力大大學人工智智能碰碰上人人工智智能？？1/7/202337華北電電力大大學0.3希爾爾勒的的中文文屋子子羅杰??施安安克的的故事事理解解程序序（舉例）機器是是否真真的理解了呢？？希爾勒勒的中文屋屋子問題：：通過過了圖圖靈測測試就就具有有了智智能嗎嗎？思考題題：如如何理理解希希爾勒勒的中中文屋屋子？？該程序序可以以在““閱讀讀”一一個英英文故故事之之后，，回答答和故故事有有關(guān)的的問題題來自反反對者者的聲聲音，，即便便通過過了圖圖靈實實驗，，也不不認為為就是是理解解了1/7/202338華北電電力大大學0.4AI的的研究究目標標AI是是研究究如何何制造造出人人造的的智能能機器器或智智能系系統(tǒng)，，來模模擬人類智智能活活動的的能力力，以延延伸人人們智智能的的科學學人類智智能活活動的的能力力：：人類類在認認識世世界和和改造造世界界的活活動中中，由由腦力力勞動動表現(xiàn)現(xiàn)出來來的能能力認識和和理解解世界界環(huán)境境的能能力提出概概念、、建立立方法法，進進行演演繹和和歸納納推理理、作作出決決策的的能力力學習的的能力力自我適適應的的能力力1/7/202339華北電電力大大學0.4AI的的研究究途徑徑心理學學（符符號主主義））：人工智智能源源于數(shù)數(shù)理邏邏輯。。認識識的基基本元元素是是符號號，智智能和和知識識可用用符號號表示示、擅擅長抽抽象思思維人工智智能的的主流流學派派，代代表有有紐厄厄爾、、肖、、西蒙蒙和尼尼爾遜遜等生理學學（聯(lián)聯(lián)結(jié)主主義））：原理主主要為為神經(jīng)經(jīng)網(wǎng)絡絡及神神經(jīng)網(wǎng)網(wǎng)絡間間的連連接機機制與與學習習算法法認為認認識的的基本本元素素是神神經(jīng)元元，認認識過過程是是大量量神經(jīng)經(jīng)元的的并行行活動動，擅擅長形形象思思維生物進進化（（行為為主義義）行行為主主義：：原理為為控制制論及及感知知論認為人人工智智能源源于控控制論論。代代表人人物有有布魯魯克斯斯1/7/202340華北電電力大大學0.5AI的的歷史史回顧顧（1）階段1：萌萌芽期期（1956年年以前前）神話傳傳說：：幫助助人勞勞動的的機器器人，，歌舞舞機器器人法國物物理學學家和和數(shù)學學家B·Pascal的的機械械加法法器Leibniz在機機械加加法器器基礎礎上制制造了了四則則運算算器英國數(shù)數(shù)學家家和力力學家家C··Babbage對對差分分機和和分析析機的的研究究圖靈的的圖靈靈機模模型1938德德國工工程師師Zuse的累累計數(shù)數(shù)字計計算機機Z-11945JohnVonNeu-mann馮馮··諾依依曼結(jié)結(jié)構(gòu)1946年年Mauchly等等的第第一臺臺計算算機ENIACWiener的的控制制論和和Shannon的的信息息論等等1/7/202341華北電力大學學0.5AI的歷史回顧顧（2）階段2：人工工智能基礎技技術(shù)的研究和和形成(1956—1970)Dartmouth聚會會后，在美國國開始形成了了以人工智能能為研究目標標的幾個研究究組：Newell和Simon的Carnegie-RAND協(xié)作組Samuel和Gelernter的IBM公公司工程課題題研究組Minsky和McCarthy的的MIT研究究組等主要工作1/7/202342華北電力大學學0.5AI的歷史回顧顧（3）方面1：A.Newell、J.Shaw和和H.Simon等人編編制出邏輯理論機LT，當時該程序序證明了““數(shù)學原理””一書第二章章中的38個個定理1960年編編制了能解十十種類型不同同課題的通用用問題求解程程序GPS，和LT是首首次在計算機機上運行的啟啟發(fā)式程序Newell關(guān)于自適應應象棋機的論論文Simon關(guān)關(guān)于問題求解解和決策過程程中合理選擇擇和環(huán)境影響響的行為理論論的論文人的口語學習習和記憶的EPAM模型型（1959年）、早期期自然語言理理解程序SAD-SAM1/7/202343華北電力大學學赫伯特?西蒙蒙（HerbertA.Simon）符號主義學派派的創(chuàng)始人愛好廣泛的全全能科學家中國科學院外外籍院士1/7/202344華北電力大學學1916年出出生于美國的的威斯康辛州州1943年在在匹茲堡大學學獲政治學博博士學位1969年因因心理學方面面的貢獻獲得得杰出科學貢貢獻獎1975年和和他的學生艾艾倫?紐厄爾爾共同獲得圖圖靈獎1978年獲獲得諾貝爾經(jīng)經(jīng)濟學獎1986年因因行為學方面面的成就獲得得美國全國科科學家獎章赫伯特?西蒙蒙（HerbertA.Simon）1/7/202345華北電力大學學50年代至60年代初開開發(fā)了世界上上最早的啟發(fā)發(fā)式程序“邏邏輯理論家””LT57年開發(fā)了了IPL(InformationProcessingLanguage)語言，是是最早的AI語言60年開發(fā)了了“通用問題題求解系統(tǒng)””GPS66年開發(fā)了了最早的下棋棋程序之一MATER70年發(fā)展與與完善了語義義網(wǎng)絡的概念念和方法70年代提出出了“物理符符號系統(tǒng)假說說”70年代提出出決策過程模模型赫伯特?西蒙蒙（HerbertA.Simon）1/7/202346華北電力大大學艾倫?紐厄厄爾（AllenNewell）符號主義學學派的創(chuàng)始始人之一西蒙的學生生與同事1975年年與西蒙同同獲圖靈獎獎1/7/202347華北電電力大大學0.5AI的的歷史史回顧顧（4）方面21956年年Samuel的西西洋跳跳棋程程序，，1959年這這個程程序曾曾戰(zhàn)勝勝設計計者本本人，，1962年還還擊敗敗了美美國一一個州州的跳跳棋大大師方面31959年年McCarthy發(fā)明明的表表處理理語言言LISP，成成為人人工智智能程程序設設計的的主要要語言言，至至今仍仍被廣廣泛采采用1958年年McCarthy建立立的行行動計計劃咨咨詢系系統(tǒng)以以及1960年年Minsky的論論文““走向向人工工智能能的步步驟””，對對人工工智能能的發(fā)發(fā)展都都起了了積極極的作作用1956年年N.Chomsky的的文法法體系系，1958年年Selfridge等等人的的模式式識別別系統(tǒng)統(tǒng)程序序等1/7/202348華北電力力大學0.5AI的的歷史回回顧（5）階段3：：發(fā)展和和實用化化階段(1971—1980)各種新的的知識表示示技術(shù)和各各種專家系統(tǒng)統(tǒng)的出現(xiàn)知識表示示1968Quillian語義網(wǎng)絡絡知識表表示法（Simmon等人用用語義網(wǎng)網(wǎng)絡表達達自然語語言理解解）1974Minsky框架(Frame)理理論非精確性性推理1976R．．O．Duda主觀貝葉葉斯理論論---Prospector重大成果果1965Robinson歸結(jié)原理理1965R．．KowalskiProlog思思想，1972A．．Colmerauer實現(xiàn)現(xiàn)Prolog1/7/202349華北電力力大學0.5AI的的歷史回回顧（6）階段3：：發(fā)展和和實用化化階段(1971—1980)各種新的的知識表示示技術(shù)和各各種專家系統(tǒng)統(tǒng)的出現(xiàn)專家系統(tǒng)統(tǒng)1965E··Feigenbaum與化化學家C.Djerassi，J.Leberberg化學專家家系統(tǒng)DENRAL，，根據(jù)分子子式及其其質(zhì)譜數(shù)數(shù)據(jù)推斷斷分子結(jié)結(jié)構(gòu)1971MIT的C.Engleman，W.Martin和J.Moses數(shù)學專家家系統(tǒng)MACSYMA，幫助人人們解決決多種數(shù)數(shù)學問題題1972紹特特里夫醫(yī)療專家家MYCIN系系統(tǒng)，診斷和治治療感染染性疾病病1976斯斯坦福大大學R.O.Duda地質(zhì)勘探PROSPECTOR1/7/202350華北電力大大學0.5AI的歷史史回顧（7）階段3：發(fā)發(fā)展和實用用化階段(1971—1980)各種新的知識表示技術(shù)和各種種專家系統(tǒng)的出現(xiàn)專家系統(tǒng)、、計算機視視覺和機器器人、自然然語言理解解和機器翻翻譯等1973（（1977）L.D.Erman語言理解系系統(tǒng)HEARSAY-I，HRSAY-ⅡⅡ60年代后后期機器定理證證明對規(guī)規(guī)劃問題研研究1960美美商用工業(yè)機機器人UNIMATE和VERSATRAN1977第第5屆人人工智能聯(lián)聯(lián)合會議，，F(xiàn)eigenbaum“人工智能能的藝術(shù)：：知識工程程課題及實實例研究””提出知識工工程的概念念1/7/202351華北電力大大學0.5AI的歷史史回顧（8）階段4———知識工程程與專家系系統(tǒng)(1980年至至今)商業(yè)性的應應用計劃自然語言處處理系統(tǒng)開開始商業(yè)化化：人工智智能公司的的INTELLECT系統(tǒng)計算機視覺覺系統(tǒng)的研研制LISP機機日本的第五五代計算機機計劃；美美國、英國國的新一代代電子計算算機計劃等等70年代末末人工智能能研究在我我國自然語言處處理、計算機視覺覺和機器人學以及知識工程等更迅速的發(fā)發(fā)展1/7/202352華北電力大大學0.5AI的歷史史回顧（9）IBM的““深藍”：：以3.5：：2.5的的總比分戰(zhàn)戰(zhàn)勝卡斯帕帕羅夫“深藍”的技技術(shù)指標：32個CPU每個CPU有有16個協(xié)處處理器每個CPU有有256M內(nèi)內(nèi)存每個CPU的的處理速度為為200萬步步/秒1969年國國際人工智能能聯(lián)合會成立立，每兩年召召開一次會議議1/7/202353華北電力大學學Watson北京時間2011年2月月18日消息息，由IBM和美國德克克薩斯大學聯(lián)聯(lián)合研制的超超級電腦“沃沃森”(Watson)昨日在美國國最受歡迎的的智力競猜電電視節(jié)目《危危險邊緣》中中擊敗該節(jié)目目歷史上兩位位最成功的選選手肯-詹寧寧斯和布拉德德-魯特，成成為《危險邊邊緣》節(jié)目新新的王者1/7/202354華北電電力大大學Waston如如何與與人對對決智智力競競賽沃森超超級電電腦概概況“沃森森”是是按IBM的創(chuàng)創(chuàng)始人人托馬馬斯··沃森森的名名字命命名的的，它它利用用一個個龐大大的并并聯(lián)網(wǎng)網(wǎng)絡，，與2000到到3000個Power7計算算核心心相連連，這這些計計算核核心被被放置置在7個冰冰箱大大小的的容器器里。。IBM已已經(jīng)為為“沃沃森””上傳傳了所所有得得到許許可和和公開開的知知識內(nèi)內(nèi)容，，以便便打造造一個個巨大大的語語義索索如何與與人智智力競競答？？在比賽賽過程程中，，當主主持人人閱讀讀線索索時，，它們們會以以電子子內(nèi)容容的形形式傳傳輸給給“沃沃森””，然然后這這臺超超級電電腦會會對接接收到到的信信息進進行分分析，，并做做出各各種構(gòu)構(gòu)想，，接著著搜索索所有有信息息檢驗驗構(gòu)想想的正正誤，，得出出5個個最佳佳答案案，并并對每每個答答案設設定信信心級級別，，最終終決定定選用用哪個個答案案1/7/202355華北電電力大大學0.5AI的的歷史史回顧顧（10））各國對對AI的研研究美國———人人工智智能的的發(fā)源源地英國———60年年代就就起步步人工工智能能的研研究日本和和西歐歐———起步步較晚晚，但但發(fā)展展較快快蘇聯(lián)———對對人工工智能能研究究比較較重視視我國———從從1978年才才開始始，主主要在在定理理證明明、漢漢語自自然語語言理理解、、機器器人及及專家家系統(tǒng)統(tǒng)方面面設立立課題題，并并取得得一些些初步步成果果重大的的AI研究究機構(gòu)構(gòu)：MIT、斯斯坦福福大學學、卡卡內(nèi)基基梅隆隆大學學、IBM公司司、日日立中中央研研究所所電氣氣技術(shù)術(shù)綜合合研究究所(ELT)、早早稻田田大學學、愛愛丁堡堡大學學、前前蘇聯(lián)聯(lián)的控控制問問題研研究所所等1/7/202356華北電電力大大學0.5AI的的歷史史回顧顧（11））足球機機器人人兩個組組織：：RoboCup和和FIRA設有仿仿真組組、小小型組組、中中型組組和有有腿組組控制方方式：：FIRA采用用集中中控制制，而而RoboCup采采用分分布式式控制制1/7/202357華北電力力大學AI的歷歷史回顧顧（12）小型組有有腿組組1/7/202358華北電力力大學AI的研研究課題題具有一般般意義的的核心課課題：知識的模模型化和和表示方方法啟發(fā)式搜搜索理論論各種推理理方法（（演繹推推理、規(guī)規(guī)劃、常常識性推推理、歸歸納推理理等）人工智能能系統(tǒng)結(jié)結(jié)構(gòu)和語語言其他一些些主要的的應用領領域1/7/202359華北電力大大學AI的研究究課題（續(xù)續(xù)1）專家系統(tǒng)一個智能的的計算機程程序，它運運用知識和和推理步驟驟來解決只只有專家才才能解決的的復雜問題題自然語言理理解書面語的理理解口語(又稱稱聲音)的的理解1970Winograd靈活的人機機對話手書文字識識別機器學習分布式人工智智能(DAI)70年代后期期AgentANN1/7/202360華北電力大學學AI的研究課課題（續(xù)2））定理證明（TheoremProving））自然演繹法紐紐厄爾LT程序籍勒洛特證明平面幾何何定理判定法1