【文章內(nèi)容簡(jiǎn)介】 42 AI的歷史回顧（續(xù) 6） ? 知識(shí)就是力量 —— 培根 ? 知識(shí)蘊(yùn)涵著力量 —— 費(fèi)根鮑姆 43 AI的歷史回顧（續(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ì)劃 44 AI的歷史回顧（續(xù) 8） ? 遇到的困難： ? 知識(shí)獲取的瓶頸問(wèn)題 45 AI的歷史回顧（續(xù) 9） ? 第四階段（ 80年代中～ 90年代初） 新的神經(jīng)元網(wǎng)絡(luò)時(shí)代 ? BP網(wǎng)（算法），解決了多層網(wǎng)的學(xué)習(xí)問(wèn)題 ? Hopfield網(wǎng)，成功求解了旅行商問(wèn)題 ? 存在問(wèn)題： ? 理論依據(jù) ? 解決大規(guī)模問(wèn)題的能力 ? 新的動(dòng)向 —— 構(gòu)造化方法 46 AI的歷史回顧（續(xù) 10） ? 第五階段（ 90年代初～現(xiàn)在） 海量數(shù)據(jù)處理與網(wǎng)絡(luò)時(shí)代 ? 網(wǎng)絡(luò)給 AI帶來(lái)無(wú)限的機(jī)會(huì) ? 知識(shí)發(fā)現(xiàn)與數(shù)據(jù)挖掘 ? AI走向?qū)嵱没? 47 AI的研究?jī)?nèi)容 ? 搜索技術(shù) ? 知識(shí)表示 ? 規(guī)劃方法 ? 機(jī)器學(xué)習(xí) ? 認(rèn)知科學(xué) ? 自然語(yǔ)言理解與機(jī)器翻譯 ? 專家系統(tǒng)與知識(shí)工程 48 AI的研究?jī)?nèi)容（續(xù) 1） ? 定理證明 ? 1976年 7月 ， 124年之久的難題 — 四色定理 。 ? 吳文俊 “ 吳氏方法 ” ? 博弈 ? 機(jī)器人 ? 機(jī)器人分為三代 : ? 工業(yè)機(jī)器人 ? 基于傳感器信息來(lái)工作的機(jī)器人 ? 智能機(jī)器人 49 AI的研究?jī)?nèi)容（續(xù) 2） ? 數(shù)據(jù)挖掘與知識(shí)發(fā)現(xiàn) ? 20世紀(jì) 90年代初期崛起的一個(gè)活躍的研究領(lǐng)域 。 ? 能夠自動(dòng)處理數(shù)據(jù)庫(kù)中大量的原始數(shù)據(jù) ， 抽取出具有必然性的 、 富有意義的模式 ， 成為有助于人們實(shí)現(xiàn)其目標(biāo)的知識(shí) ， 找出人們對(duì)所需問(wèn)題的解答 。 ? 多 Agent系統(tǒng) ? 復(fù)雜系統(tǒng) ? 足球機(jī)器人 ? 人機(jī)交互技術(shù) 50 人工智能取得的一些成果 ? 六十多年來(lái) ， 人工智能的研究雖然步履艱難 ， 但也取得了一些很突出的成績(jī) 。 下面列舉一些實(shí)例 。 51 定理證明 ? 50年代中期 ， 世界上最早的啟發(fā)式程序“ 邏輯理論家 ” ， 證明了數(shù)學(xué)名著 《 數(shù)學(xué)原理 》 中的 38個(gè)定理 。 經(jīng)改進(jìn)后 ， 62年證明了該書(shū)中全部的 52個(gè)定理 。 被認(rèn)為是用計(jì)算機(jī)探討人類智力活動(dòng)的第一個(gè)真正的成果 。 52 四色定理的證明 ? 四色問(wèn)題又稱 四色猜想 、 四色定理 ， 是世界近代三大 數(shù)學(xué)難題 之一 。 ? 地圖 四色定理 (Four color theorem)最先是由一位叫古德里 （ Francis Guthrie） 的英國(guó)大學(xué)生提出來(lái)的 。 ? 四色問(wèn)題的內(nèi)容是： “ 任何一張地圖只用四種顏色就能使具有共同邊界的國(guó)家著上不同的顏色 。 ”用數(shù)學(xué)語(yǔ)言表示 ， 即 “ 將平面任意地細(xì)分為不相重疊的區(qū)域 ， 每一個(gè)區(qū)域總可以用 1， 2， 3， 4這四個(gè)數(shù)字之一來(lái)標(biāo)記 ， 而不會(huì)使相鄰的兩個(gè)區(qū)域得到相同的數(shù)字 。 ” 53 四色定理的證明 ? 四色定理 ? 從 1852年發(fā)現(xiàn)四色問(wèn)題 ， 世界上很多著名的科學(xué)家試圖證明 ， 當(dāng)一直未能完成 。 ? 1976年 6月 ， 哈肯在美國(guó)伊利諾斯大學(xué)的兩臺(tái)不同的電子計(jì)算機(jī)上 ， 用了 1200個(gè)小時(shí) ，作了 100億次判斷 ， 終于完成了四色定理的證明 ， 從而解決了一個(gè)歷時(shí) 100多年的問(wèn)題 ，轟動(dòng)了世界 。 54 定理證明的“吳方法” ? 2023年我國(guó)最高科學(xué)技術(shù)獎(jiǎng)獲得者吳文俊教授 ， 提出了 “ 數(shù)學(xué)機(jī)器化 ” 。 ? 1977年 ， 吳文俊關(guān)于平面幾何定理的機(jī)械化證明首次取得成功 。 ? 創(chuàng)立了定理機(jī)器證明的 “ 吳方法 ” 。 55 通用問(wèn)題求解器（ GPS） ? 從 1957年開(kāi)始 ， Newell等人開(kāi)始研究一種不依賴于具體領(lǐng)域的通用解題程序 ， 這個(gè)程序的設(shè)計(jì)是從模仿人類問(wèn)題求解的規(guī)程開(kāi)始的 。 在它能處理的有限類別的問(wèn)題中 ，它顯示出程序決定的子目標(biāo)及可能采取的行動(dòng)的次序 ， 與人類求解同樣問(wèn)題是類似的 。 因此 ， GPS很可能是第一個(gè)實(shí)現(xiàn)了 “ 像人一樣思考 ” 方法的程序 。 56 專家系統(tǒng) ? 人類之所以能求解問(wèn)題 ， 是因?yàn)槿祟惥哂兄R(shí) 。 ? 專家系統(tǒng)就是把有關(guān)領(lǐng)域?qū)＜业闹R(shí)整理出來(lái) ， 讓計(jì)算機(jī)利用這些知識(shí)求解專門(mén)領(lǐng)域的問(wèn)題 。 ? 1968年世界上第一個(gè)專家系統(tǒng) DENDRAL問(wèn)世 。 ? MYCIN：一個(gè)著名的醫(yī)療診斷專家系統(tǒng) ， 70年代初由美國(guó) 斯坦福大學(xué) 研制 ， 用 LISP語(yǔ)言 寫(xiě)成 ， 它的知識(shí)是由 600多條規(guī)則組成的 ， 其推理規(guī)則是不確定的 ， 而且 MYCIN能夠解釋自己的推理過(guò)程 。該系統(tǒng)以患者的病史 、 癥狀和化驗(yàn)結(jié)果等為原始數(shù)據(jù) ， 運(yùn)用醫(yī)療專家的知識(shí)進(jìn)行推理 ， 找出導(dǎo)致感染的細(xì)菌 。 若是多種細(xì)菌 ， 則用 0 到 1的數(shù)字給出每種細(xì)菌的可能性 。 57 第一個(gè)商用專家系統(tǒng)： R1 ? 世界上第一個(gè)成功的商用專家系統(tǒng) ， 1982年開(kāi)始正式在 DEC公司使用 。 該程序幫助為新計(jì)算機(jī)系統(tǒng)配置訂單；到 1986年為止 ， 估計(jì)它為公司每年節(jié)省了 4千萬(wàn)美元 。 58 海灣戰(zhàn)爭(zhēng)中的專家系統(tǒng) ? 在 1991年的海灣危機(jī)中 ， 美國(guó)軍隊(duì)使用專家系統(tǒng)用于自動(dòng)的后勤規(guī)劃和運(yùn)輸日程安排 。這項(xiàng)工作同時(shí)涉及到 50000個(gè)車(chē)輛 、 貨物和人 ， 而且必須考慮到起點(diǎn) 、 目的地 、 路徑以及解決所有參數(shù)之間的沖突 。 AI規(guī)劃技術(shù)使得一個(gè)計(jì)劃可以在幾小時(shí)內(nèi)產(chǎn)生 ， 而用舊的方法需要花費(fèi)幾個(gè)星期 。 59 數(shù)字識(shí)別 ? 清華大學(xué)智能技術(shù)與系統(tǒng)國(guó)家重點(diǎn)實(shí)驗(yàn)室采用神經(jīng)元網(wǎng)絡(luò)方法研制的數(shù)字識(shí)別系統(tǒng) ，用于 2023年我國(guó)人口普查 。 對(duì)普查數(shù)據(jù)進(jìn)行自動(dòng)識(shí)別 ， 錯(cuò)誤率達(dá)到了萬(wàn)分之一以下的高水平 。 60 IBM的“深藍(lán)” 北京時(shí)間 1997年 5月 12日凌晨 4點(diǎn) 50分 ，美國(guó)紐約公平大廈 ， 當(dāng) IBM公司的 “ 深藍(lán) ”超級(jí)電腦將棋盤(pán)上的一個(gè)兵走到 C4的位置上時(shí) ， 國(guó)際象棋世界冠軍卡斯帕羅夫?qū)Α?深藍(lán) ” 的人機(jī)大戰(zhàn)落下帷幕 ， “ 深藍(lán) ” 以 ： 。 61 IBM的“深藍(lán)”（續(xù) 1） ? 96年 2月第一次比賽結(jié)果： “ 深藍(lán) ” ：勝 、 負(fù) 、 平 、 平 、 負(fù) 、 負(fù) ? 97年 5月第二次比賽結(jié)果： “ 深藍(lán) ” ：負(fù) 、 勝 、 平 、 平 、 平 、 勝 62 IBM的“深藍(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)步 /秒 63 “人機(jī)之戰(zhàn)”簡(jiǎn)史 ? 1958年 ， IBM704成為第一臺(tái)能同人下棋的計(jì)算機(jī) ， 名為 “ 思考 ” ， 思考速度每秒 200步 ? 60年代中期 ， 科學(xué)家德里夫斯斷言 ， 計(jì)算機(jī)將無(wú)法擊敗一位年僅 10歲的棋手 ? 1973年 ， 國(guó)際象棋軟件 ， 這是未來(lái)程序的基礎(chǔ) ? 1979年 ， 國(guó)際象棋軟件 ? 1981年 ， CRAYBLITZ新的超級(jí)計(jì)算機(jī)擁有特殊的集成電路 ， 預(yù)言將可在 1995年擊敗世界棋王 64 ? 1983年 ， BELLEAT＆ T開(kāi)發(fā)了國(guó)際象棋硬件 ，達(dá)到了大師水平 ? 80年代中期 ， 皮茲堡的 卡內(nèi)基美隆大學(xué)（ Carnegie Mellon University） 開(kāi)始研究世界級(jí)的國(guó)際象棋