【正文】 IBM公司信息研究中心的洛切斯特、貝爾實(shí)驗(yàn)室的申農(nóng)共同發(fā)起，邀請(qǐng) IBM公司的莫爾和塞繆爾、麻省理工學(xué)院的塞爾夫里奇和索羅門(mén)夫以及蘭德公司和卡內(nèi)基工科大學(xué)的紐厄爾、西蒙等，共十位來(lái)自數(shù)學(xué)、心理學(xué)、神經(jīng)生理學(xué)、信息論和計(jì)算機(jī)等方面的學(xué)者和工程師，在 Dartmouth大學(xué)召開(kāi)了一次歷時(shí)兩個(gè)月的研究會(huì)，會(huì)上正式采用了“人工智能”這一術(shù)語(yǔ) 76 人工智能的發(fā)展概況 ? 人工智能學(xué)科的產(chǎn)生： ? 實(shí)際上是邏輯學(xué)、心理學(xué)、計(jì)算機(jī)科學(xué)、腦科學(xué)、神經(jīng)生理學(xué)、信息科學(xué)等學(xué)科發(fā)展的必然趨勢(shì)和必然結(jié)果 ? 單就計(jì)算機(jī)來(lái)看，其功能從數(shù)值計(jì)算到數(shù)據(jù)處理，再下去必然是知識(shí)處理 ? 當(dāng)時(shí)的水平已具有智能的表現(xiàn)：能自動(dòng)地進(jìn)行復(fù)雜的數(shù)值計(jì)算和數(shù)據(jù)處理 77 人工智能的發(fā)展概況 ? 符號(hào)主義途徑發(fā)展概況： ? 1956年，美國(guó)的紐厄爾、肖和西蒙合作編制了一個(gè)名為邏輯理論機(jī) (LT)的計(jì)算機(jī)程序系統(tǒng)。模擬人用數(shù)理邏輯證明定理時(shí)的思維規(guī)律，證明了懷特海和羅素的名著 —— 《數(shù)學(xué)原理》第 2 章中的 38 條定理 (1963年在另一臺(tái)機(jī)器上證明了全部 52條定理 ) ? 美籍華人、數(shù)理邏輯學(xué)家王浩于 1958年在IBM[CD*2]704計(jì)算機(jī)上用 3～ 5 分鐘證明了《數(shù)學(xué)原理》中有關(guān)命題演算的全部定理 (220條 )，并且還證明了謂詞演算中 150條定理的 85% 78 人工智能的發(fā)展概況 ? 符號(hào)主義途徑發(fā)展概況 (續(xù) )： ? 1956年，塞繆爾成功研制了具有自學(xué)習(xí)、自組織、自適應(yīng)能力的跳棋程序。這個(gè)程序能從棋譜中學(xué)習(xí)，也能從下棋實(shí)踐中提高棋藝， 1959 年它擊敗了塞繆爾本人， 1962年又擊敗了美國(guó)一個(gè)州的冠軍 ? 1959年，籍勒洛特發(fā)表了證明平面幾何問(wèn)題的程序，塞爾夫里奇推出了一個(gè)模式識(shí)別程序 ? 1965年羅伯特編制出了可以分辨積木構(gòu)造的程序 79 人工智能的發(fā)展概況 ? 符號(hào)主義途徑發(fā)展概況 (續(xù) )： ? 1960年，紐厄爾、肖和西蒙等人通過(guò)心理學(xué)試驗(yàn)總結(jié)出了人們求解問(wèn)題的思維規(guī)律，編制了通用問(wèn)題求解程序，該程序可以求解 11種不同類(lèi)型的問(wèn)題 ? 1960年，麥卡錫研制成功了面向人工智能程序設(shè)計(jì)的表處理語(yǔ)言 LISP。該語(yǔ)言以其獨(dú)特的符號(hào)處理功能，很快在人工智能界風(fēng)靡起來(lái)，至今仍然是人工智能研究的一個(gè)有力工具 ? 1965年，魯賓遜提出了消解原理，為定理的機(jī)器證明做出了突破性的貢獻(xiàn) 80 人工智能的發(fā)展概況 ? 符號(hào)主義途徑發(fā)展概況 (續(xù) )： ? 20世紀(jì) 80年代后，專(zhuān)家系統(tǒng)與知識(shí)工程在理論、技術(shù)和應(yīng)用方面都有了長(zhǎng)足的進(jìn)步和發(fā)展 ? 專(zhuān)家系統(tǒng)的建造進(jìn)入應(yīng)用高級(jí)開(kāi)發(fā)工具時(shí)期，出現(xiàn)了所謂的多專(zhuān)家系統(tǒng)、大型專(zhuān)家系統(tǒng)、微專(zhuān)家系統(tǒng)和分布式專(zhuān)家系統(tǒng)等 ? 知識(shí)表示、不精確推理、機(jī)器學(xué)習(xí)等方面也都取得了重要進(jìn)展 ? 還出現(xiàn)了不限于專(zhuān)家知識(shí)的所謂基于知識(shí)的系統(tǒng)和知識(shí)庫(kù)系統(tǒng) 81 人工智能的發(fā)展概況 ? 連接主義途徑發(fā)展概況： ? 早在 20 世紀(jì) 40 年代，就有一些學(xué)者開(kāi)始了神經(jīng)元及其數(shù)學(xué)模型的研究。例如， 1943年心理學(xué)家 McCulloch和數(shù)學(xué)家 Pitts提出了形式神經(jīng)元的數(shù)學(xué)模型 —— 現(xiàn)在稱(chēng)之為 MP模型，1944年 Hebb提出了改變神經(jīng)元連接強(qiáng)度的Hebb規(guī)則。 MP模型和 Hebb規(guī)則至今仍在各種神經(jīng)網(wǎng)絡(luò)中起重要作用 82 人工智能的發(fā)展概況 ? 連接主義途徑發(fā)展概況 (續(xù) )： ? 1969年，明斯基與白伯脫共同發(fā)表了頗有影響的《 Perceptrons》一書(shū)，書(shū)中證明了那時(shí)使用的單層人工神經(jīng)網(wǎng)絡(luò)，無(wú)法實(shí)現(xiàn)一個(gè)簡(jiǎn)單的異或門(mén) (XOR) 所完成的功能 ? 對(duì)神經(jīng)網(wǎng)絡(luò)的前景持悲觀(guān)態(tài)度，許多學(xué)者放棄了在該領(lǐng)域中的繼續(xù)努力，政府機(jī)構(gòu)也改變基金資助的投向， 神經(jīng)網(wǎng)絡(luò)的研究進(jìn)入低谷 83 人工智能的發(fā)展概況 ? 連接主義途徑發(fā)展概況 (續(xù) )： ? 經(jīng)過(guò)近 20年的暗淡時(shí)期后終于有了新的突破和驚人的成果： 1985年美國(guó)霍布金斯大學(xué)的賽諾斯開(kāi)發(fā)了名為NETtalk英語(yǔ)讀音學(xué)習(xí)用的神經(jīng)網(wǎng)絡(luò)處理器；同年，美國(guó)物理學(xué)家霍普菲爾特用神經(jīng)網(wǎng)絡(luò)迅速求得了旅行商問(wèn)題的準(zhǔn)優(yōu)解，顯示它在求解“難解問(wèn)題”上的非凡能力 ? 對(duì)冷落了近 20 年的神經(jīng)網(wǎng)絡(luò)又刮目相看；再者，雖然在符號(hào)主義途徑上，人工智能在專(zhuān)家系統(tǒng)、知識(shí)工程等方面取得很大的進(jìn)展，但在模擬人的視覺(jué)、聽(tīng)覺(jué)和學(xué)習(xí)、適應(yīng)能力方面，卻遇到了很大的困難，此時(shí)神經(jīng)網(wǎng)絡(luò)研究的熱潮又再度出現(xiàn) 84 人工智能的發(fā)展概況 ? 連接主義途徑發(fā)展概況 (續(xù) )： ? 1987年 6月，第一屆國(guó)際神經(jīng)網(wǎng)絡(luò)會(huì)議 (ICNN)在美國(guó)圣第亞哥召開(kāi)。會(huì)議預(yù)定 800人，但實(shí)際到會(huì)達(dá) 2023多人。會(huì)上氣氛之熱烈，群情之激昂，據(jù)報(bào)導(dǎo)是國(guó)際學(xué)術(shù)會(huì)議前所未有的。會(huì)議決定成立國(guó)際神經(jīng)網(wǎng)絡(luò)學(xué)會(huì)，并出版會(huì)刊《 Neural Networks ? 從此之后，神經(jīng)網(wǎng)絡(luò)便東山再起 85 人工智能的發(fā)展概況 ? 計(jì)算智能異軍突起： ? 1962年福格爾受物競(jìng)天擇的生物進(jìn)化過(guò)程啟發(fā)，提出了進(jìn)化程序設(shè)計(jì)，開(kāi)創(chuàng)了從腦和神經(jīng)系統(tǒng)以外的生命世界中尋找智慧機(jī)理之先河 ? 1964年雷切伯格、施韋費(fèi)爾和比納特提出了稱(chēng)為進(jìn)化策略的搜索算法 ? 1967年 Bagley和 Rosengerg提出了遺傳算法的初步思想 ? …… ? 1994年，關(guān)于神經(jīng)網(wǎng)絡(luò)、進(jìn)化程序設(shè)計(jì)和模糊系統(tǒng)的三個(gè) IEEE國(guó)際會(huì)議聯(lián)合舉行了首屆計(jì)算智能大會(huì)，這標(biāo)志著一個(gè)有別于符號(hào)智能的人工智能新領(lǐng)域 —— 計(jì)算智能正式形成 86 人工智能的發(fā)展概況 ? 計(jì)算智能異軍突起 (續(xù) )： ? 在 20世紀(jì) 90年代前后，又涌現(xiàn)出了一批計(jì)算智能的新理論和新算法： ? 20世紀(jì) 90年代初，意大利學(xué)者提出了蟻群優(yōu)化算法 ? 1990年伯西尼首次使用免疫算法來(lái)解決實(shí)際問(wèn)題 ? 20世紀(jì)末，福雷斯特等提出免疫遺傳算法， de Castro和Gaspar建立了克隆選擇算法和模式跟蹤算法， Dasgupta設(shè)計(jì)了陰性選擇算法，亨特等人又將免疫算法用于機(jī)器學(xué)習(xí)領(lǐng)域 87 人工智能的發(fā)展概況 ? 計(jì)算智能異軍突起 (續(xù) )： ? 在 20世紀(jì) 90年代前后，又涌現(xiàn)出了一批計(jì)算智能的新理論和新算法 (續(xù) )： ? Eberhart和 Kennedy開(kāi)發(fā)了粒群優(yōu)化算法 ? 1991年波蘭數(shù)學(xué)家 Pawlak ? 1995年 Vapnik提出了“統(tǒng)計(jì)學(xué)習(xí)理論”和支持向量機(jī)的機(jī)器學(xué)習(xí)新技術(shù) ? 模糊邏輯、神經(jīng)計(jì)算、概率推理、遺傳算法、混沌系統(tǒng)和信任網(wǎng)絡(luò)等合起來(lái)又被稱(chēng)為軟計(jì)算 88 人工智能的發(fā)展概況 ? 計(jì)算智能異軍突起 (續(xù) )： ? 進(jìn)入 21世紀(jì)后，計(jì)算智能從理論上和應(yīng)用上都取得了長(zhǎng)足的發(fā)展。特別是進(jìn)化計(jì)算、免疫算法、蟻群算法、粒群算法等又構(gòu)成了一個(gè)稱(chēng)為智能計(jì)算或智能算法的新領(lǐng)域 ? 其應(yīng)用遍及網(wǎng)絡(luò)安全、機(jī)器學(xué)習(xí)、數(shù)據(jù)挖掘和知識(shí)發(fā)現(xiàn)、模式識(shí)別、自動(dòng)規(guī)劃、自動(dòng)配置、自動(dòng)控制、故障診斷、加工調(diào)度、聚類(lèi)分類(lèi)和計(jì)量化學(xué)等眾多領(lǐng)域 89 人工智能的發(fā)展概況 90 人工智能的發(fā)展概況 ? 現(xiàn)狀與發(fā)展趨勢(shì)： ? 多種途徑齊頭并進(jìn)，多種方法協(xié)作互補(bǔ) ? 新思想、新技術(shù)不斷涌現(xiàn)，新領(lǐng)域、新方向不斷開(kāi)拓 ? 理論研究更加深入，應(yīng)用研究愈加廣泛 ? 研究隊(duì)伍日益壯大，社會(huì)影響越來(lái)越大 91 完！ 92 演講完畢，謝謝觀(guān)看！