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