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