【正文】 欺騙觀察者 ,就認為它具有了智能。M 1930年證明了一階謂詞演算的完備性定理 1931年證明了： 第一條不完備性定理 任何包含初等數(shù)論的形式系統(tǒng)，如果它是協(xié)調(diào)的，那么一定是不完備的。 凡傳統(tǒng)邏輯（命題邏輯）能處理的問題，布爾代數(shù)都能處理，而某些能用布爾代數(shù)處理的問題，用傳統(tǒng)邏輯處理卻極其困難。 Leibnitz提出的計劃是：建立一種通用的符號語言，以及一種在此符號語言上進行推理的演算。前提真，結(jié)論不一定真。前提真，結(jié)論一定真 ? Bacon（ 15611626）， 英國哲學家和自然科學家。 ? 作為理論研究學科，人工智能的目標是提出能夠描述和解釋智能行為的概念與理論，為建立人工智能系統(tǒng)提供理論依據(jù)。 ? Brooks：無需表示、無需推理的智能。 ? Turing：計算機是能達到人的智力水平的。生物學家研究智能行為是從腦的結(jié)構(gòu)和神經(jīng)細胞的組織入手。 智能 ? 基于計算機的智能 如果一種行為或一系列行為能完成人類所做到的事， 就說它是智能的 。 中國計算機學會 A類會議 ? ECAI 、 AJCAI （澳大利亞）、 CAI（加拿大） 、AAMAS （ International Conference on Autonomous Agents and Multiagent Systems ）、ICAPS（ International Conference on Automated Planning and Scheduling） 、ICML(International Conference on Machine Learning,中國計算機學會 A類會議 ) ? Artificial Intelligence 出版社 ：世界上公認的高質(zhì)量學術(shù)期刊出版集團荷蘭 Elsevier SCI收錄 創(chuàng)刊時間 ： 1970年 每期論文篇數(shù) ： 4篇左右 平均審稿周期為 9個月 期刊的主編 . Cohn曾為多屆國際頂級會議IJCAI， KR， ECAI程序委員會主席及會議主席 中國計算機學會 A類期刊 重要國際刊物 重要國際刊物 ? 1979年起， AAAI定期出版： 《 AI Magazine》 ? 中國計算機學會推薦的人工智能國際學術(shù)刊物 A類 : AI IEEE Transactions on Pattern Analysis and Machine Intelligence Journal of Machine Learning Research 國內(nèi)重要會議 ? 1981年成立中國人工智能學會 全國人工智能學術(shù)年會（ CAAI）。影片講述 21世紀中期，由于氣候變暖，南北兩極冰蓋的融化，地球上很多城市都被淹沒在了一片汪洋之中，此時，人類的科學技術(shù)已經(jīng)達到了相當高的水平，人工智能機器人就是人類發(fā)明出來的用以應對惡劣自然環(huán)境的科技手段之一！ 杰出人物 20世紀 40位圖靈獎獲得者中有 6位人工智能學者： Marvin Minsky(1969年 ), 美國 知識的框架理論（ Frame Theory）創(chuàng)立者 John McCarthy(1971年 ),美國 人工智能之父， LISP語言的發(fā)明者 Herbert Simon和 Allen Newell(1975年 ),美國 人工智能符號主義學派的創(chuàng)始人 Edward Feigenbaum和 Raj Reddy (1994年 ), 美國 大型人工智能系統(tǒng)的開拓者 可見人工智能在信息科學中的地位。 Leslie Gabriel Valiant(萊斯利 ? 1990年首次召開中國人工智能聯(lián)合會議（ CJCAI）。 人工智能 ? 人工智能又稱為智能模擬，用計算機模擬人腦的智能行為。 人工智能研究者主要從智能行為的過程與表現(xiàn)入手，重點放在智能行為的實際效果上。 ? McCarthy：人工智能的所有主要問題都是難解的。 ? 反對派的核心觀點：計算機只能解決形式化的問題，而客觀世界的問題則是非形式化的，是變化無窮的。 一 、 什么是人工智能 ？ 二、人工智能的歷史 三、人工智能的不同研究流派 四、人工智能的主要研究領域及其發(fā)展 五、人工智能與其它領域的交叉 二、人工智能的歷史 AI is nearly as old as puting 人工智能的歷史 ? Aristotle（公元前 3 8 4 3 2 2） ：古希臘偉大的哲學家、思想家，著名學者 Plato的學生。 主要貢獻： ? 系統(tǒng)地提出了歸納法。 ? Leibniz(16461716) 德國數(shù)學家和哲學家 ? 同 Newton并列為微積分的發(fā)明者。 ? Leibnitz之夢 ：有一天所有的知識，包括精神和無形的真理，能夠通過通用的代數(shù)演算放入一個單一的演繹系統(tǒng)。 ? Frege（ 18481925） 德國數(shù)理邏輯學家， 主要貢獻： 建立了謂詞邏輯系統(tǒng)。 第二條不完備性定理是：如果這種形式系統(tǒng)是協(xié)調(diào)的，那么這種協(xié)調(diào)性一定不能在本系統(tǒng)中得到證明。Turing （圖靈）（ 19121954）英國 天才 數(shù)學家 主要貢獻： ? 1936年提出一種理想計算機的數(shù)學模型，后世稱之為圖靈機。 Turing Test的重要意義： 使實驗研究智能行為成為可能 1980,美國哲學家 John searle 在其論文 《 心、 大腦與程序 》 中提出 Chinese Room Experiment 第一階段： 50年代人工智能的興起和冷落 ? 電子計算機的誕生 ——人工智能的物質(zhì)基礎。 1958年，王浩在 IBM704上實現(xiàn)了一個定理機器證明程序，以 35分鐘的時間證明了 《 數(shù)學原理 》中 220條全部命題演算定理和 150條一階邏輯定理中的 85%， 1959年用了 。 1959年打敗了設計者 Samuel本人， 1962年擊敗了美國一個州的冠軍。 ? 符號計算 1963年， Slagle發(fā)表了符號積分程序 SAINT，他使用了86個積分問題檢查該程序，其中有 54個問題是 MIT微積分課程的考試題，結(jié)果程序解出了 84個問題， SAINT的解題能力達到了大學生中優(yōu)秀者的水平。有些人甚至預言， 80年代是全面實現(xiàn)人工智能的年代，到 2023年機器的智能會超過人。企圖建造一個脫離知識的通用推理程序的想法是不夠完整的，目前也是不切實際的。 第三階段： 80年代，人工智能得到很大發(fā)展 ? 第五代計算機研制計劃“知識信息處理計算機系統(tǒng) KIPS” ： 1982年 日本發(fā)起 為期 10年 目的：使邏輯推理達到數(shù)值運算那么快 結(jié)果：在扔了上 10億美元之后不了了之 它的開展形成了一股研究人工智能的熱潮 第四階段： 80年代末 神經(jīng)網(wǎng)絡飛速發(fā)展 ? 1987年，美國召開第一次神經(jīng)網(wǎng)絡國際會議宣告了這一新學科的誕生。然而，其運行效率目前還很低下，需要進一步提高其性能。 計算機打敗國際象棋冠軍 1997年 5月 11日，在國際象棋“人機大戰(zhàn)”最后一局較量中，美國 IBM公司的RS/6000/SP國際象棋超級計算機“深藍” 僅用了一個小時便輕松戰(zhàn)勝國際象棋特級大師卡斯帕羅夫，并以 70萬美元的獎金。 ? 必須克服人工智能領域的一個關(guān)鍵問題： 在組合劇增的情況下進行全盤搜索 。使“深藍”要處理的局面數(shù)減少到 1000億種左右。使他感到欣慰的還有這樣一件事， 即大學里完全沒有商場上那些冷酷無情的考驗 ——但事實恰恰并非如此：做學問也要通過 考試，而且有的考試與市場上的考驗一樣不留情面。 戴夫迫切希望成為一名博士。答辯之前，斯特 賴維爾早早給哈特送去了他論文的倒數(shù)第二稿。 在答辯時，戴夫覺得自己流利地概括了論文的第三章。他把論文推給蒂爾，她也簽上了名字，接著 便把本子推到了哈特跟前?！皭鄣氯A ,你打算簽名嗎？ 過后，哈特一個人呆在辦公室里，坐在那張寬大的皮椅里，他為戴夫未能通過答辯感到 難過。研究過程歷時 8年，耗資達 30萬美元。 ? 計算機將會向網(wǎng)絡化、智能化、并行化方向發(fā)展。 代表性成果：啟發(fā)式程序、專家系統(tǒng)、知識工程等。該學派認為人工智能源于控制論。 （ Intelligence is determined by the dynamics of interaction with the world） 四、人工智能的主要研究領域 及其發(fā)展 （一）自動推理 （二）專家系統(tǒng) （三）機器學習 （四）自然語言理解 （五）機器人學和 智能控制 （六）模式識別 （七）基于模型的診斷 （八）智能規(guī)劃 （九）智能 agent （十）神經(jīng)網(wǎng)絡 （十一）智能信息檢索 （十二）自動程序設計、博弈 …… 定理機器證明是人工智能工作者最早開始的嘗試。 2023年提出了一種新的獨立于歸結(jié)和表推演方法的擴展規(guī)則方法。 美國 ,德克薩斯大學 ,數(shù)理邏輯機械化定理證明器ACL2已經(jīng)成功地應用到許多重要工業(yè)和商業(yè)硬件校驗項目中。 現(xiàn)已證明 :工程技術(shù)、軍事、工商管理、交通運輸及自然科學研究中的 6000余個重要問題，如程控電話的自動交換、大型數(shù)據(jù)庫的維護、大規(guī)模集成電路的自動布線、軟件自動開發(fā)、機器人動作規(guī)劃等，都可轉(zhuǎn)化成 SAT問題。 Causal Networks。 ? 專家系統(tǒng)的分類 從體系上來說，它可分為集中式專家系統(tǒng)，分布式專家系統(tǒng)，神經(jīng)網(wǎng)絡專家系統(tǒng)，符號系統(tǒng)與神經(jīng)網(wǎng)絡結(jié)合的專家系統(tǒng)。而具有學習能力的計算機系統(tǒng)，其以后的水平如何，連設計者都難以預料。 ? 自上個世紀九十年代 Vapnik提出統(tǒng)計機器學習理論以來，機器學習得到快速發(fā)展和廣泛應用。 機器學習的著名系統(tǒng)： ?1956年， Samue1研制的跳棋程序 . 1959年，戰(zhàn)勝了設計者本人； 1962年，戰(zhàn)勝了美國一個州的冠軍。 計算機能把輸入的自然語言翻譯成要求的 另一種語言。 ? 兩個最大的應用領域 文本檢索、 機器翻譯 ? 機器翻譯是一個充滿挑戰(zhàn)的研究領域，被列為 21世紀世界十大科技難題之首。該軟件支持包括漢語普通話在內(nèi)的 14個語種。就已有的成就來看，機譯的質(zhì)量離終極目標仍相差甚遠。這也是制約機譯質(zhì)量提高的一大瓶頸。智能機器人主要在功能上模仿人，外形上可以多種多樣，它們把觀測、思維和操作巧妙地結(jié)合起來。它由電纜控制，可以行走，會說 77個字，甚至可以抽煙，不過離真正干家務活還差得遠。 機器人學三大定律 ? 第零定律：機器人必須保護人類的整體利益不受傷害，其它三條定律都是在這一前提下才能成立。 零定律的意義 ? 打個比方，為了維持國家或者說世界的整體秩序，我們制定法律，必須要執(zhí)行一些人的死刑。托夫勒和人 工智能方面的專家等 22位世界知名人士學者預測： ? 20年內(nèi)人同機器人自由交談將成為可能 ? 在發(fā)達國家三分之一以上的重勞動將由機器人來完成 ? “家庭用機器人”將在 10至 20年內(nèi)開始上市銷售 ? “憑自己的判斷采取行動的機器人”將會問世 ? “用蛋白質(zhì)等生物體組織制成的機器人”也將誕生。 ? 第二代（自適應）機器人 配備有相應的感覺傳感器，能取得作業(yè)環(huán)境、操作對象等簡單的信息，并由機器人體內(nèi)的計算機進行分析、處理，控制機器人的動作。它帶有視覺傳感器，能根據(jù)人的指令發(fā)現(xiàn)并抓取積木 ,不過控制它的計算機有一個房間那么大。 機器人例 ? 愛寶（ Aibo） 機器寵物狗 1999年日本索尼公司推出犬型機器人愛寶，當即銷售一空，從此娛樂機器人成為目前機器人邁進普通家庭的途徑之一 能叫喚、乞食和搖動尾巴，一旦得到人的撫摸，會撒嬌。 原理： 由汽油機驅(qū)動的液壓系統(tǒng)能夠帶動其有關(guān)節(jié)的四肢運動。 ? 美國戰(zhàn)斗機械狗 (2023年 9月 )由科幻夢想變現(xiàn)實 這個形似機械狗的四足機器人被命名為“大狗” (Bigdog)，由波士頓動力學工程公司 (Boston Dynamics)專門為美國軍隊研究設計。 美國軍方還在研制其他多款功能強大的機器人，其中包括被稱為“獵豹”的機器人，這款機器人能夠沖刺，急轉(zhuǎn)彎，并能突然急剎停止。 ? 2023年 12月一場科技展