【正文】 年，中國自動(dòng)化學(xué)會(huì)機(jī)器人競賽工作委員會(huì)成立。 Lego Mindstorms（樂高機(jī)器人） ? 集合了可編程主機(jī)、電動(dòng)馬達(dá)、傳感器、 Lego Technic部分（齒輪、輪軸、橫梁、插銷）的統(tǒng)稱。 ? Mindstorms起源于益智玩具中可編程傳感器模具（ programmable sensor blocks）。許多語言都能對(duì)Mindstorms進(jìn)行編程，包括 Logo、 Basic、 Java的衍生版、 Smalltalk和 C語言 ? 第一個(gè) Lego Mindstorms的零售版本在 1998年上市，當(dāng)時(shí)叫做 Robotics Invention System (RIS)。最近的版本是 2023年上市的 Lego Mindstorms EV3。 機(jī)器人能統(tǒng)治人嗎？ ? 在計(jì)算機(jī)領(lǐng)域，機(jī)器人仍然是機(jī)器，并不具有生命，但是克隆技術(shù)、轉(zhuǎn)基因技術(shù)等的巨大突破卻可能使人們?cè)O(shè)計(jì)創(chuàng)造出具有生命、甚至具有智能的東西。 ? 有機(jī)體完全可以同無機(jī)體結(jié)合在一起，在動(dòng)物身上植入芯片已不稀奇，而 1998年 8月 21日，英國里丁大學(xué)的一位電子學(xué)教授 Kevin Warwick成為世界上第一個(gè)將芯片植入體內(nèi)的人。這個(gè)植入胳膊的芯片可以接受外界傳來的信號(hào)，能探測體內(nèi)信號(hào)，并能向外發(fā)射信號(hào)。它可存貯有關(guān)植入者的個(gè)人信息，在設(shè)有電子保護(hù)系統(tǒng)的地方，計(jì)算機(jī)可以根據(jù)體內(nèi)芯片發(fā)出無線電波查明植入者的身份，決定是否放行。 ? 未來將微型超級(jí)計(jì)算機(jī)植入人腦可能變成現(xiàn)實(shí) （六）模式識(shí)別 ? “模式” (Pattern)一詞的本意是指完美無缺的供模仿的一些標(biāo)本。 ? 模式識(shí)別就是指識(shí)別出給定物體所模仿的標(biāo)本。 ? 人工智能所研究的模式識(shí)別是指用計(jì)算機(jī)代替人類或幫助人類感知模式，是對(duì)人類感知外界功能的模擬，研究的是計(jì)算機(jī)模式識(shí)別系統(tǒng)，也就是 使一個(gè)計(jì)算機(jī)系統(tǒng)具有模擬人類通過感官接受外界信息、識(shí)別和理解周圍環(huán)境的感知能力 。 （六）模式識(shí)別 ? 漢字識(shí)別與數(shù)字識(shí)別 ? 指紋識(shí)別 ? 手機(jī)防盜 ? 電子暗探 （七）基于模型的診斷 ? 為了克服傳統(tǒng)的第一代診斷專家系統(tǒng)的嚴(yán)重缺陷而出現(xiàn)的新型智能診斷方法，是對(duì)診斷理論和技術(shù)上的革命。 ? 應(yīng)用領(lǐng)域： 電路故障查找系統(tǒng)、醫(yī)學(xué)診斷系統(tǒng)、大型VHDL程序的故障檢測與定位、大型異步離散事件系統(tǒng)的診斷、網(wǎng)絡(luò)通訊故障診斷、汽車故障診斷、燃?xì)廨啓C(jī)監(jiān)視等。 （七）基于模型的診斷 ? Livingstone系統(tǒng)：在航天器錯(cuò)誤檢測、恢復(fù)、重新裝配等不同的推理任務(wù)中使用單一系統(tǒng)描述，1998年 10月 24日在美國肯尼迪航天中心成功發(fā)射的“深空一號(hào)”探測飛船中，這組 AI軟件使“深空一號(hào)”探測器在沒有地面控制人員指揮的情況下作出了一些重要的決定，還使“深空一號(hào)”探測器自我診斷飛行器的故障并發(fā)出更正指令。 （七）基于模型的診斷 ? CDIAG （ Loiez， Taillibert， 1997） ： 一個(gè)對(duì)不同類型電路（包括模擬電路）進(jìn)行診斷的已經(jīng)商品化的系統(tǒng) .在航空領(lǐng)域， Aerospatiale系統(tǒng)將 CDIAG用于對(duì)模擬電路和混合電路的自動(dòng)測試裝置中 .Console和 Dressler認(rèn)為： CDIAG應(yīng)該能應(yīng)用于其它領(lǐng)域 . ? 燃?xì)廨啓C(jī)診斷系統(tǒng)（ Trave Massuyes， Milne，1997）：在進(jìn)行 TIGER項(xiàng)目（歐盟基金項(xiàng)目）的研究中產(chǎn)生的，已商品化的系統(tǒng) . ? ROCKWELL（ Provan， 1998）：基于模型診斷在航空領(lǐng)域應(yīng)用的較成功的系統(tǒng)，用于對(duì)火箭發(fā)動(dòng)機(jī)模型化并基于模型進(jìn)行診斷 . （七）基于模型的診斷 ? IDEA（ Cascio，Sanseverino， 1997）：由菲亞特公司開發(fā)的系統(tǒng)，用于對(duì)汽車內(nèi)的 80多種不同類型的子系統(tǒng)進(jìn)行 MBD. 已被意大利附近的 1500多個(gè)汽車修理中心使用 . ? MDS：由戴姆勒 克萊斯勒公司開發(fā)的汽車診斷系統(tǒng)，成為商品 . ? AUTOSTEVE（ Price，1998）：已被福特和美洲虎使用的汽車診斷系統(tǒng)，能夠自動(dòng)生成 FMEA. ? VMBD項(xiàng)目：將基于模型的診斷技術(shù)既應(yīng)用于在生產(chǎn)車間內(nèi)的汽車，又應(yīng)用于正在行駛的汽車。歐盟基金項(xiàng)目，合作者包括汽車制造商、供應(yīng)商和大學(xué) . 這一項(xiàng)目推動(dòng)了 MBD的發(fā)展，它使得生產(chǎn)商和供應(yīng)商有機(jī)會(huì)來考察基于模型的診斷技術(shù)。 ? 期刊： Artificial Intelligence、 Automated Reasoning、 Theoretical Computer Science、AI Communications ? 國際會(huì)議 IJCAI（ International Joint Conf. on AI）AAAI(National Conf. on AI) ECAI(European Conf. on AI) KR(Int. Conf. on Principles of Knowledge Representation and Reasoning) Workshop on Principles of Diagnosis DX89 ? 吉林大學(xué) 側(cè)重研究靜態(tài)系統(tǒng) MBD的形式化方法以及離散事件動(dòng)態(tài)系統(tǒng)的 MBD方法 ? 中山大學(xué)：姜云飛等 重點(diǎn)研究靜態(tài)系統(tǒng)的診斷算法 ? 中科院軟件所：欒尚敏等（結(jié)構(gòu)信息診斷） ? 國防科大：黃杰、陳琳等（診斷算法） ? 哈工大、航空學(xué)院、合肥工大、廈大 …… （八） 約束程序 ? APACHE系統(tǒng)最早是法國的一個(gè)基于約束推理的機(jī)場調(diào)度系統(tǒng)，后來通過引入全局約束來優(yōu)化系統(tǒng)性能，現(xiàn)已成功用于英國、美國等國際機(jī)場。 ? 法國醫(yī)院著名的護(hù)士時(shí)間表調(diào)度系統(tǒng) GYMNASTE ? 飼料加工廠多資源調(diào)度系統(tǒng) MOSES。 ? 在軟件行業(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ā)揮了巨大的作用 。 ? CP（ International Conference on Principles and Practice of Constraint Programming） ? CP2023， 0812/09/2023，法國里昂 ? CP2023， 31/0804/09/2023，英國科克 ? Constraints: An International Journal ? 五、人工智能與其它領(lǐng)域的交叉 ? 數(shù)據(jù)挖掘 AI與數(shù)據(jù)庫的交叉領(lǐng)域 ? 基于知識(shí)的軟件工程 AI與軟件工程的結(jié)合 ? 基于 Agent的軟件工程 AI中多 Agent技術(shù)與軟件工程的結(jié)合 ? 網(wǎng)絡(luò)智能 AI與因特網(wǎng)技術(shù)的結(jié)合 萬維學(xué)（ Web Science）是比它更廣的概念。 ? 計(jì)算機(jī)動(dòng)畫自動(dòng)生成 AI技術(shù)與計(jì)算機(jī)圖形學(xué)及電影藝術(shù)結(jié)合的產(chǎn)物 人工智能未來的設(shè)想 ? 未來實(shí)現(xiàn)人工智能必須雙管齊下，一是利用現(xiàn)有的計(jì)算機(jī)技術(shù)模擬人工智能，這是實(shí)現(xiàn)人工智能的必要準(zhǔn)備；二是利用一種全新的技術(shù)實(shí)現(xiàn)信息處理的模糊化和網(wǎng)絡(luò)化，這是實(shí)現(xiàn)人工智能的根本途徑。 ? 全新技術(shù)：寄托于光子計(jì)算機(jī)、生物計(jì)算機(jī)和量子計(jì)算機(jī)。 1990年 1月 29日，美國貝爾實(shí)驗(yàn)室宣布研制出世界第一臺(tái)光計(jì)算機(jī)。它采用砷化鉀光學(xué)開關(guān)，運(yùn)算速度每秒 10億次。根據(jù)推測，未來光子計(jì)算機(jī)的運(yùn)算速度可能比今天的超級(jí)計(jì)算機(jī)快 1000到 1萬倍。 具有 5000個(gè)左右量子位的量子計(jì)算機(jī)可以在大約 30秒內(nèi)解決傳統(tǒng)超級(jí)計(jì)算機(jī)需要 100億年才能解決的素?cái)?shù)問題。 生物計(jì)算機(jī)研究更加現(xiàn)實(shí)，美國威斯康星－麥迪遜大學(xué)已研制出一臺(tái)可進(jìn)行較復(fù)雜運(yùn)算的 DNA計(jì)算機(jī)。據(jù)悉，一克 DNA所能存儲(chǔ)的信息量可與１萬億張 CD光盤相當(dāng)。 人工智能未來的設(shè)想 ? Intel公司名譽(yù)董事長戈登 穆爾 ：“硅智能將發(fā)展到很難將計(jì)算機(jī)和人區(qū)分開來的程度” ? 庫茨魏爾技術(shù)公司總裁雷蒙德 庫茨魏爾 ： “大約在 2023年，一臺(tái) 1000美元的個(gè)人電腦可以擁有人腦的基本計(jì)算能力，包括 1000億個(gè)神經(jīng)元和 100萬億個(gè)神經(jīng)連接物。到2030年，價(jià)值 1000美元的計(jì)算機(jī)系統(tǒng)將擁有相當(dāng)于 1000個(gè)人的大腦智能總和；到 2050年則相當(dāng)于 10億個(gè)人的大腦能量?！? “到 2099年將只有很少一部分人仍然保留著生物機(jī)體。大多數(shù)人將把自己的思想轉(zhuǎn)換成電子電路 ——結(jié)果就可以獲得永生 ” 賓夕法尼亞州立大學(xué)的紐納姆 ： “ 我希望過上這樣一種生活。我希望有足夠的時(shí)間去了解生命的意義 —— 我們?yōu)槭裁匆诘厍蛏仙?、為什么?huì)有物質(zhì)以及宇宙為什么會(huì)存在？我很想知道這些問題的答案。 ” 結(jié)論與展望 ? 人工智能雖不是萬能靈藥，卻也不是無端妄說。人工智能是一門科學(xué)，也是一門技術(shù)，一門幾乎在所有方面都有重要應(yīng)用的技術(shù)。 ? 人工智能能否發(fā)展到可以匹敵自然智能（人類智能）的地步，是一個(gè)頗有爭議的問題。一些學(xué)者建議把人工智能和自然智能結(jié)合起來，形成威力更大的智能組合，這個(gè)想法是有益的，可行的，而且事實(shí)上科學(xué)家們?cè)缫验_始這樣做了。 人工智能將毀滅人類 ? 想法過于夸張卻需謹(jǐn)慎對(duì)待 ? 類人猿機(jī)器人RonoSimian看上去很像一只機(jī)器猴子，可以變換不同姿勢。 ? 北京時(shí)間 9月 17日消息，據(jù)國外媒體報(bào)道，隨著人工智能的不斷發(fā)展，人們開始擔(dān)憂人工智能或?qū)⒘钊祟悳缤?。不過，科學(xué)家認(rèn)為人工智能無法具備與人類智能的對(duì)等性，但同時(shí)表示在人工智能的發(fā)明和應(yīng)用問題上，應(yīng)該持負(fù)責(zé)謹(jǐn)慎態(tài)度，并且應(yīng)該致力于研究針對(duì)人工智能危險(xiǎn)性的防范措施。 ? 好萊塢大片中彰顯的人工智能，令人們開始擔(dān)憂人類未來會(huì)被更智能的機(jī)器人所統(tǒng)治，甚或消滅。而史蒂芬 霍金有關(guān)人工智能或使人類滅亡的論斷，以及企業(yè)巨鱷埃隆 馬斯克關(guān)于“創(chuàng)造人工智能就像召喚魔鬼”的言論，無疑令人類對(duì)人工智能的擔(dān)憂雪上加霜。這么說來，難道人類注定無法避免被計(jì)算機(jī)所征服？ ? 有關(guān)人工智能話題這個(gè)熱門話題，我們有必要進(jìn)行一次深入探討，了解人工智能的優(yōu)劣勢。首先，人工智能已是我們生活的一部分。谷歌搜索背后運(yùn)用的計(jì)算，或者快速瀏覽亞馬遜網(wǎng)站，計(jì)算機(jī)軟件一直在學(xué)習(xí)如何快速有效地作出反應(yīng)。在人們眼中，這種程度的人工智能“局限大”且“能力弱”，因?yàn)樗荒茉诎l(fā)明者給定的框架內(nèi)運(yùn)作。相比之下，“局限小”或者“能力強(qiáng)”的人工智能意味著，果斷執(zhí)行違背發(fā)明者意愿的任務(wù)，這種人工智能不會(huì)“思考”，但是能夠臨場發(fā)揮。然而，目前還不存在這種意義上的人工智能，因?yàn)樵谀M人腦運(yùn)作或從零開始構(gòu)筑自主處理能力方面還困難重重，更不用說創(chuàng)造一個(gè)擁有自我意識(shí)和思想的機(jī)器人。 ? 為了真實(shí)探究人工智能現(xiàn)狀，記者參觀了美國宇航局位于加利福尼亞州帕薩迪那的噴氣推進(jìn)實(shí)驗(yàn)室，觀看工程師研制全球最智能機(jī)器人的過程。他們對(duì)記者提出的有關(guān)人類會(huì)被機(jī)器人軍隊(duì)接管的想法付之一笑。類人猿機(jī)器人RonoSimian的項(xiàng)目負(fù)責(zé)人布雷特 肯尼迪表示：“我從不擔(dān)心智能機(jī)器人?！鳖惾嗽硻C(jī)器人 RonoSimian屬于令人類擔(dān)憂的機(jī)器人版本，它看上去很像一只機(jī)器猴子，借助眾多輪子可以變換不同姿勢，如站立、爬行，或者打滾。RonoSimian的設(shè)計(jì)初衷是，趕赴人類難以進(jìn)入的危險(xiǎn)災(zāi)害區(qū)，如倒塌的建筑物或者被毀的核反應(yīng)堆執(zhí)行任務(wù)。它身上裝載有兩臺(tái)計(jì)算機(jī)，一臺(tái)用來控制身體中的傳感器，一臺(tái)用來控制身體活動(dòng)。執(zhí)行任務(wù)時(shí)， RonoSimian可以執(zhí)行諸多任務(wù)，如駕駛汽車，關(guān)閉巨型閥門，它在美國國防部最近舉辦的機(jī)器人挑戰(zhàn)賽中榮獲第五名。 人工智能之爭 參考書 ? 劉敘華，姜云飛編著 .《 人工智能原理 》 ，吉林大學(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) 演講完畢，謝謝觀看！