【正文】 ? 為了真實探究人工智能現(xiàn)狀，記者參觀了美國宇航局位于加利福尼亞州帕薩迪那的噴氣推進實驗室，觀看工程師研制全球最智能機器人的過程。我希望有足夠的時間去了解生命的意義 —— 我們?yōu)槭裁匆诘厍蛏仙?、為什么會有物質(zhì)以及宇宙為什么會存在？我很想知道這些問題的答案。 ? 在軟件行業(yè)中，法國 ILOG公司是全球最大的約束程序與推理軟件產(chǎn)品供應商，目前 ILOG公司的已經(jīng)被國際計算機業(yè)巨頭 IBM收購，成為其旗下的重量級子公司，Oracle， SAP， I2， Manugistics等大型應用軟件公司均是其主要客戶，業(yè)已在通信、制造、運輸、航空等行業(yè)發(fā)揮了巨大的作用 。許多語言都能對Mindstorms進行編程，包括 Logo、 Basic、 Java的衍生版、 Smalltalk和 C語言 ? 第一個 Lego Mindstorms的零售版本在 1998年上市，當時叫做 Robotics Invention System (RIS)。 小 Q機器人 采用騰訊 造型， 可以與用戶簡單對話， 并根據(jù)語音指令做各種操作， 如播報新聞、天氣、日期等 資訊，并通過眼鏡顯示眼鏡表情、股票走勢、天氣預報、相片幻燈等。而一個成年人搭建同樣的模擬建筑所需要的時間則至少為幾周。陀螺儀和其他傳感器幫助機載計算機規(guī)劃每一步的運動。 日本從 1998年開始著手研究開發(fā)可用于處理家務和照顧病人的人形智能機器人。 （五）機器人學和智能控制 ? 1920年 捷克斯洛伐克 作家卡雷爾 ? 由中科院計算所等單位聯(lián)合開發(fā)了開源的統(tǒng)計機譯系統(tǒng) ——“絲路”，在美國國家標準和技術研究所主持的機器翻譯國際評測中，在英漢翻譯上獲得較好成績。 ? 香克 (R. Shank) ： 一臺計算機若不會學習，就不能稱為具有智能的。美國的 IBM、 AMD、 Intel、Microsoft、 Motorola等著名的跨國企業(yè)均采用自動推理技術來提升自己的產(chǎn)品質(zhì)量，并取得了豐厚的商業(yè)回報。 符號主義學派曾一枝獨秀，為人工智能的發(fā)展作出重要貢獻，現(xiàn)仍是人工智能的主流學派。哈特沒有動 .“愛德？”羅德曼問道。最好的例子就是論文答辯：為了取得 博士學位，為了成為博士，博士生必須通過論文的口試。 ? 7月 21日出版的 《 自然 》 雜志上的論文中寫道：“這個人造‘大腦’可不簡單，它使得我們識別事物、形成記憶、做出決定并采取行動，這表明，一個由相互作用的分子組成的人造神經(jīng)網(wǎng)絡也能展示與大腦一樣的行為。 1967年， Mosis又研制了一個符號積分程序 SIN，能解更多更復雜的積分題目，效率比 SAINT快 3倍，解題能力達到同領域?qū)＜宜健? 現(xiàn)已公認，所有可計算函數(shù)都能用圖靈機計算 為電子計算機出現(xiàn)建立了理論根據(jù)。 ? 改進了 Pascal的加法計算器，做出了能進行四則運算的手搖計算器，在計算工具的歷史上占有一席位置。 ? Minsky：人工智能是有史以來最難的科學之一 。瓦里安特 ) (2023年 ),英國 在機器學習理論、計算復雜性理論以及計算神經(jīng)學領域的突出貢獻 (首位圖靈獎的華裔科學家 姚期智 (Andrew ChiChih Yao) (2023年 ) 在計算理論方面的貢獻 ) Judea Pearl (猶大 ? Nilson(Stanford): AI是關于知識的科學，即怎樣獲取、表示和使用知識的科學 ? Feigenbaum(Stanford):AI是知識信息處理系統(tǒng) ? Winston(MIT):AI就是研究如何使計算機去做過去只有人才能做的富有智能的工作 ? It is the science and engineering of making intelligent machines, especially intelligent puter programs. It is related to the similar task of using puters to understand human intelligence, but AI does not have to confine itself to methods that are biologically observable. McCarthy ? 人工智能既包含理論研究的內(nèi)容又包含工程方面的內(nèi)容 . 人工智能的研究注意智能系統(tǒng)的效果而不是單純的對人的智能行為的模擬 . (人工智能研究的出發(fā)點與生物學家不同。 三段論 Famous syllogism of Aristotle: Every man is mortal Socrates is a man Deduction: Socrates is mortal 演繹推理特點： 一般 → 特殊 。 ? Godel（ 19061978） 美籍奧地利數(shù)理邏輯學家 主要貢獻： 研究數(shù)理邏輯中一些帶有根本性的問題，即形式系統(tǒng)的完備性和可判定性問題。 1965年 Robinson提出了歸結方法，把人工智能的研究向前推進了一大步。 第二階段： 60年代末到 70年代 專家系統(tǒng)出現(xiàn) ? DENDRAL：化學質(zhì)譜分析系統(tǒng) MYCIN：疾病診斷和治療系統(tǒng) PROSPECTOR：探礦系統(tǒng) HearsayII：語音理解系統(tǒng) ? 1969年成立了 IJCAI ? Edward Albert Feigenbaum： 1965年，和遺傳學系主任、諾貝爾獎得主萊德伯格 (Joshua Lederberg)等人合作， DENDRAL 1994年度 Turing Award得主 最早倡導了“ Knowledge engineering”(1977年， Feigenbaum在第五屆國際人工智能大會 ) In the Knowledge lies the power ? 在此之后各種的專家系統(tǒng)紛紛研制出來，專家系統(tǒng)得到航天、醫(yī)學、地質(zhì)、氣象等部門的支持，發(fā)展迅速。要看到 15步之遠，計算機必須算遍 3015種不同走棋過 程，并從中作出選擇。在哈特那四壁擺滿書籍的辦公室里，兩人甚至還握了 手。它可以一點一點地構思令人驚駭?shù)那楣?jié)，并且把它們用 400個字表達出來 只能寫作欺騙和邪惡等與背叛有關的內(nèi)容。他們用三臺大型計算機，花去 1200小時 CPU時間，并對中間結果進行人為反復修改500多處。 ? 世界上第一個專家系統(tǒng)：化學專家系統(tǒng)DENDRAL。 （三）機器學習 （四）自然語言理解 ? 研究目標： 計算機能正確理解人類的自然語言輸入的信息，并能正確答復（或響應）輸入的信息。單靠若干程序來做機譯系統(tǒng)，肯定是無法提高機譯質(zhì)量的。 ? 第二定律：機器人必須服從人給予它的命令，當該命令與第零定律或者第一定律沖突時例外。 機器人例 ? 倉庫安全機器人 ? 捕捉高速運動物體的機器人 1998年 8月，日本東京大學 ? 可以變形的機器人 ? 最聰明的機器人 美國馬薩諸塞州的麻省理工學院 會思維、會聽、會感覺、會觸摸或會說話 ? Brooks, 1995, The artificial Intelligence without intelligence 除船面鐵銹的機器人 機器人例 ? 最復雜的用于外科手術的機器人“宙斯” 1998年 2月 美國羅伯特 ? 此外，波士頓動力工程公司正在研制一種類人機器人，代號為“亞特拉斯”，這種機器人可以直立步行和慢跑，可以從狹窄的通道擠過，可以利用機器手臂抓東西。 這張機器臉逼真度極高，能夠活動眼皮、皺眉和 說話。 機器人足球比賽 ? 國內(nèi)的現(xiàn)狀 1997年，東北大學成立了 FIRA機器人足球隊。 （六）模式識別 ? 漢字識別與數(shù)字識別 ? 指紋識別 ? 手機防盜 ? 電子暗探 （七）基于模型的診斷 ? 為了克服傳統(tǒng)的第一代診斷專家系統(tǒng)的嚴重缺陷而出現(xiàn)的新型智能診斷方法，是對診斷理論和技術上的革命。據(jù)悉，一克 DNA所能存儲的信息量可與１萬億張 CD光盤相當。而史蒂芬 霍金有關人工智能或使人類滅亡的論斷，以及企業(yè)巨鱷埃隆 馬斯克關于“創(chuàng)造人工智能就像召喚魔鬼”的言論，無疑令人類對人工智能的擔憂雪上加霜。 人工智能之爭 參考書 ? 劉敘華，姜云飛編著 .《 人工智能原理 》 ，吉林大學出版社， 1995. ? 陸汝鈐 .《 人工智能 》 ，科學出版社， 2023. ? Nils . Artificial Intelligence: A New Synthesis, Man Kaufmann Publishers, Inc., 1998. ? . Artificial Intelligence: A Modern Approach, Pearson Education, 2023. 課 程 內(nèi) 容 一、課程背景 二、產(chǎn)生式系統(tǒng)表示及其搜索方法 第二章： 產(chǎn)生式系統(tǒng) 第三章： 產(chǎn)生式系統(tǒng)的搜索策略（約束求解） 第四章： 可分解產(chǎn)生式系統(tǒng)的搜索策略 三、邏輯表示及其推理方法 第五章： 謂詞演算 第六章： 歸結原理（表推演、 SAT求解） 第七章 ： 基于規(guī)則的演繹系統(tǒng) 演講完畢，謝謝觀看！ 。不過，科學家認為人工智能無法具備與人類智能的對等性，但同時表示在人工智能的發(fā)明和應用問題上，應該持負責謹慎態(tài)度，并且應該致力于研究針對人工智能危險性的防范措施。 具有 5000個左右量子位的量子計算機可以在大約 30秒內(nèi)解決傳統(tǒng)超級計算機需要 100億年才能解決的素數(shù)問題。 ? 模式識別就是指識別出給定物體所模仿的標本。 機器人足球比賽 發(fā)展人工智能的里程碑 多智能體系統(tǒng)的典型問題 ? 將研究對象從過去計算機象棋的單智能體發(fā)展到分布式多智能體 ? 將研究環(huán)境從靜態(tài)環(huán)境發(fā)展到動態(tài)環(huán)境 ? 將非實時知識處理發(fā)展到實時處理 ? 機器人足球賽以其獨特的魅力，成為各類國際機器人競賽中最具水平和影響力的賽事之一，包括美國卡耐基 梅隆大學、日本東京大學和中國清華大學等在內(nèi)的世界名校都積極組隊參加。 ? 日本科學家研制的機器人女星“雙子替身 F號”，2023年曾與人類女演員同臺獻藝 。 美國軍方還在研制其他多款功能強大的機器人，其中包括被稱為“獵豹”的機器人，這款機器人能夠沖刺，急轉(zhuǎn)彎，并能突然急剎停止。它帶有視覺傳感器，能根據(jù)人的指令發(fā)現(xiàn)并抓取積木 ,不過控制它的計算機有一個房間那么大。 機器人學三大定律 ? 第零定律：機器人必須保護人類的整體利益不受傷害，其它三條定律都是在這一前提下才能成立。就已有的成就來看，機譯的質(zhì)量離終極目標仍相差甚遠。 機器學習的著名系統(tǒng)： ?1956年， Samue1研制的跳棋程序 . 1959年，戰(zhàn)勝了設計者本人； 1962年，戰(zhàn)勝了美國一個州的冠軍。 Causal Networks。 （ Intelligence is determined by the dynamics of interaction with the world） 四、人工智能的主要研究領域 及其發(fā)展 （一）自動推理 （二）專家系統(tǒng) （三）機器學習 （四）自然語言理解 （五）機器人學和 智能控制 （六）模式識別 （七）基于模型的診斷 （八）智能規(guī)劃 （九）智能 agent （十）神經(jīng)網(wǎng)絡 （十一）智能信息檢索 （十二）自動程序設計、博弈 …… 定理機器證明是人工智能工作者最早開始的嘗試。研究過程歷時 8年，耗資達 30萬美元。答辯之前，斯特 賴維爾早早給哈特送去了他論文的倒數(shù)第二稿。 ? 必須克服人工智能領域的一個關鍵問題： 在組合劇增的情況下進行全盤搜索 。企圖建造一個脫離知識的通用推理程序的想法是不夠完整的，目前也是不切實際的。 1958年，王浩在 IBM704上實現(xiàn)了一個定理機器證明程序，以 35分鐘的時間證明了 《 數(shù)學原理 》中 220條全部命題演算定理和 150條一階邏輯定理中的 85%， 1959年用了 。 ? Frege（ 18481925） 德國數(shù)理邏輯學家， 主要貢獻： 建立了謂詞邏輯系統(tǒng)。 一 、 什么是人工智能 ？ 二、人工智能的歷史 三、人工智能的不同研究流派 四、人工智能的主要研究領域及其發(fā)展 五、人工智能與其它領域