【正文】 Samuel的跳棋程序在戰(zhàn)勝了一個州的冠軍后，其能力就保持在那個水平上，一直沒有新的提高 ? 機器翻譯等的失敗 “ Time flies like an arrow” 翻譯成日語，再譯回來 ：“蒼蠅喜歡箭” “ The spirit is willing but the flesh is weak” 譯成俄語，再譯回來 ： “ The wine is good but the meat is spoiled” 英，劍橋大學(xué) James: “AI即使不是騙局也是庸人自擾” 美， IBM下令取消 AI所有研究活動 ? 在總結(jié)研究經(jīng)驗的基礎(chǔ)上，人工智能研究者指出，使計算機具有知識是使人工智能走出困境的關(guān)鍵。 ? 這個相互作用的分子組成的電路能像人腦一樣，可像人腦一樣基于部分特征識別事物，這是大腦獨特的屬性之一。 ? “深藍(lán)”程序： 帶有一個收集了 20世紀(jì)各位著名國際象棋大師所下的數(shù)千個棋局的數(shù)據(jù)庫。他喜愛校園里爬滿常春藤的鐘樓，那古色古香而又堅固 的磚塊，還有那灑滿陽光的碧綠草坪和熱情的年輕人。哈特常常對戴 夫本人和其他人說，對于幫助戴夫?qū)崿F(xiàn)他應(yīng)該有的夢想，他感到很榮幸。羅德曼教授簽了名。布林斯喬德及其同事研制。 一 、 什么是人工智能 ？ 二、人工智能的歷史 三、人工智能的不同研究流派 四、人工智能的主要研究領(lǐng)域及其發(fā)展 五、人工智能與其它領(lǐng)域的交叉 三、人工智能的研究學(xué)派 ? 符號主義 /邏輯主義學(xué)派 符號智能 “功能模擬”學(xué)派，主張從功能方面模擬、延伸、擴展人的智能；以研究符號為基礎(chǔ)。 代表性成果： MIT的 Brooks研制的智能機器人。英國 ,將歸結(jié)方法推廣到時態(tài)邏輯 ,在分布式系統(tǒng)設(shè)計中得到應(yīng)用。Belief Networks。 ? 以前的機械系統(tǒng)，無論它有多么復(fù)雜巧妙， 它都只能以程序化的方式進(jìn)行固定的操作，其能力和水平不會有任何的改進(jìn)。首期( )投資 2900萬美元，將機器學(xué)習(xí)技術(shù)放到了國家安全的角度來考慮。 ? 有待解決基本問題 漢語的詞性 ? 發(fā)展趨向 統(tǒng)計方法中引入語言學(xué)知識，如語義知識。 影響機譯發(fā)展的最大因素在于譯文的質(zhì)量。 智能機器人是人工智能中視覺感知系統(tǒng)、問題求解系統(tǒng)、計劃產(chǎn)生系統(tǒng)等領(lǐng)域中技術(shù)的綜合應(yīng)用的成果。雖然這只是科幻小說里的創(chuàng)造，但后來成為學(xué)術(shù)界默認(rèn)的研發(fā)原則。 ?上世紀(jì)五十年代到六十年代， Gee Devol 和 Joe Engleberger造出了第一個現(xiàn)代工業(yè)機器人 “ Unimates”. Engleberger開了第一個機器人公司“ Unimation”, 他被稱為 “ father of robotics.“ Isaac Asimov and Joe Engleberger （五）機器人學(xué)和智能控制 1997年 8月，著名美國未來學(xué)家阿爾文 機器人例 1968年 美國斯坦福研究所公布他們研發(fā)成功的機器人 Shakey。 “胃”：微生物燃料電池（ MFC），這個電池需要大量的細(xì)菌，食物被細(xì)菌分解后，化學(xué)能被轉(zhuǎn)化為電能。 可以在負(fù)重 400磅 (181公斤 )的情況下 直立行走 20英里 (32公里 )， 并跟隨士兵在崎嶇地帶作戰(zhàn)。 ? 飛行機器人可以依照事先為其設(shè)定好的程序 ,在沒有人類幫助或干預(yù)的情況下 ,獨自進(jìn)行取磚、運磚以及累磚的工作 ,而且會確保搭建起的模擬建筑與設(shè)計的一模一樣。陽太郎通過傳感器感受人的“愛撫”，根據(jù)觸摸頻率的不同，陽太郎的“情緒”也會隨之變化。 ? 2023年 9月 6日“玉兔號”月球車進(jìn)入第十個月晝工作期，超長服役 7個月。在休息時間內(nèi)，雙方可更換機器人上的電池或比賽策略等。 Lego Mindstorms（樂高機器人） ? 集合了可編程主機、電動馬達(dá)、傳感器、 Lego Technic部分（齒輪、輪軸、橫梁、插銷）的統(tǒng)稱。 ? 未來將微型超級計算機植入人腦可能變成現(xiàn)實 （六）模式識別 ? “模式” (Pattern)一詞的本意是指完美無缺的供模仿的一些標(biāo)本。 ? 期刊： Artificial Intelligence、 Automated Reasoning、 Theoretical Computer Science、AI Communications ? 國際會議 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的形式化方法以及離散事件動態(tài)系統(tǒng)的 MBD方法 ? 中山大學(xué)：姜云飛等 重點研究靜態(tài)系統(tǒng)的診斷算法 ? 中科院軟件所：欒尚敏等（結(jié)構(gòu)信息診斷） ? 國防科大：黃杰、陳琳等（診斷算法） ? 哈工大、航空學(xué)院、合肥工大、廈大 …… （八） 約束程序 ? APACHE系統(tǒng)最早是法國的一個基于約束推理的機場調(diào)度系統(tǒng)，后來通過引入全局約束來優(yōu)化系統(tǒng)性能，現(xiàn)已成功用于英國、美國等國際機場。根據(jù)推測，未來光子計算機的運算速度可能比今天的超級計算機快 1000到 1萬倍?！? “到 2099年將只有很少一部分人仍然保留著生物機體。 ? 北京時間 9月 17日消息，據(jù)國外媒體報道，隨著人工智能的不斷發(fā)展，人們開始擔(dān)憂人工智能或?qū)⒘钊祟悳缤觥Ｏ啾戎?，“局限小”或者“能力強”的人工智能意味著，果斷?zhí)行違背發(fā)明者意愿的任務(wù)，這種人工智能不會“思考”，但是能夠臨場發(fā)揮。執(zhí)行任務(wù)時， RonoSimian可以執(zhí)行諸多任務(wù)，如駕駛汽車，關(guān)閉巨型閥門，它在美國國防部最近舉辦的機器人挑戰(zhàn)賽中榮獲第五名。類人猿機器人RonoSimian的項目負(fù)責(zé)人布雷特 肯尼迪表示：“我從不擔(dān)心智能機器人。這么說來，難道人類注定無法避免被計算機所征服？ ? 有關(guān)人工智能話題這個熱門話題，我們有必要進(jìn)行一次深入探討，了解人工智能的優(yōu)劣勢。人工智能是一門科學(xué)，也是一門技術(shù)，一門幾乎在所有方面都有重要應(yīng)用的技術(shù)。 人工智能未來的設(shè)想 ? Intel公司名譽董事長戈登 ? 計算機動畫自動生成 AI技術(shù)與計算機圖形學(xué)及電影藝術(shù)結(jié)合的產(chǎn)物 人工智能未來的設(shè)想 ? 未來實現(xiàn)人工智能必須雙管齊下，一是利用現(xiàn)有的計算機技術(shù)模擬人工智能，這是實現(xiàn)人工智能的必要準(zhǔn)備；二是利用一種全新的技術(shù)實現(xiàn)信息處理的模糊化和網(wǎng)絡(luò)化，這是實現(xiàn)人工智能的根本途徑。 ? 應(yīng)用領(lǐng)域： 電路故障查找系統(tǒng)、醫(yī)學(xué)診斷系統(tǒng)、大型VHDL程序的故障檢測與定位、大型異步離散事件系統(tǒng)的診斷、網(wǎng)絡(luò)通訊故障診斷、汽車故障診斷、燃?xì)廨啓C監(jiān)視等。 機器人能統(tǒng)治人嗎？ ? 在計算機領(lǐng)域，機器人仍然是機器，并不具有生命，但是克隆技術(shù)、轉(zhuǎn)基因技術(shù)等的巨大突破卻可能使人們設(shè)計創(chuàng)造出具有生命、甚至具有智能的東西。 1998年，中國科技大學(xué)組建了國內(nèi)第一支RoboCup足球隊。 可以與其他小 Q機器人之間進(jìn)行視頻通話，給孩子們講故事、放動畫，朗讀用戶提供的文本，主持知識大賽，出百科知識題。 蔵立隆明博士與面具機器人面對面 ? 我國走的是“功能機器人”路線，著眼于機器人的“功能化”： 如深圳銀星公司的掃地機器人， 2023年銷量突破了 50萬臺。 ? 據(jù)專家分析，日本、美國等國的機器人研究走的是“人形機器人”的路線 : 例如： 2023年， 33歲的加拿大電腦奇才吳勒因為忙于工作，無暇拍拖，遂制造出一個完美的女朋友機器人 “ Aiko”，她不僅氣質(zhì)優(yōu)雅、性感美麗，而且擅長家務(wù)活，能夠幫助吳勒管理賬目。該公司表示，除了軍事用途之外，這些機器人還可以用于人道主義援助，如急救和災(zāi)害響應(yīng)等。 特點： 行動迅速、反應(yīng)靈敏、動力和智能自動化，且看上去堅固耐用。拉扎拉博士使得外科醫(yī)生能利用插入患者體內(nèi)的精密儀器，通過切三個像鉛筆那么粗的切口，對心臟旁路做手術(shù)。 （五）機器人學(xué)和智能控制 機器人的研究過程： ? 第一代（程序控制）機器人 一種由設(shè)計師預(yù)先按工作流程編寫好程序存貯在機器人的內(nèi)部存儲器，在程序控制下工作；另一種是被稱為“示教 —再現(xiàn)”方式。 ? 第三定律：機器人在不違反第零、第一、第二定律的情況下要盡可能保護(hù)自己的生存。 ? 1939年 美國紐約世博會上展出了西屋電氣公司制造的家用機器人 Elektro。 ?在人類尚未明了“人腦是如何進(jìn)行語言的模糊識別和邏輯判斷”的情況下，機譯要想達(dá)到“信、達(dá)、雅”的程度是不可能的。 ? 2023年 11月，谷歌推出了一款手機翻譯軟件 。 計算機對輸入的信息能產(chǎn)生相應(yīng)的摘要， 而且復(fù)述輸入的內(nèi)容。 ? 這是一個始終得到重視，理論正在創(chuàng)立，方法日臻完善，但遠(yuǎn)未達(dá)到理想境地的研究領(lǐng)域。 ? 我國的第一個專家系統(tǒng)：中醫(yī)關(guān)幼波肝炎診斷治療程序，由中國科學(xué)院自動化研究所控制論組于 1977年研制成功。 (SAT問題 , 被已故的著名美籍華人數(shù)理邏輯學(xué)家王浩喻為“當(dāng)代數(shù)理邏輯和理論計算機科學(xué)的第一問題”。 這是一項使計算機跳出傳統(tǒng)的計算領(lǐng)域，向思維活動領(lǐng)域邁進(jìn)的重大成果，也是人工智能研究的開始 . （一）自動推理 ? 自動推理主要方法 歸結(jié)方法（ 1965， Robinsin） 吳方法 吳文俊院士， 1997年 Herbrand獎 表推演方法 基于公理的系統(tǒng) 自然演繹方法 專門用于等詞推理的重寫系統(tǒng) 實例化方法 新興起 ? 自動推理主要的學(xué)術(shù)會議和刊物 IJCAR(國際自動推理聯(lián)合大會 ) JAR(自動推理學(xué)報 ) ? 國內(nèi)情況 中國學(xué)者在歸結(jié)方法的改進(jìn)和非經(jīng)典邏輯推理方法研究方面取得了一系列成果，并應(yīng)用于智能規(guī)劃和安全協(xié)議驗證等領(lǐng)域中。 代表性成果： MP神經(jīng)細(xì)胞模型、 BP神經(jīng)網(wǎng)絡(luò)模型、 Hopfield神經(jīng)網(wǎng)絡(luò)模型 …… ? 行為主義 低級智能 “行為模擬”學(xué)派，主張從行為方面模擬、延伸、擴展人的智能，認(rèn)為：“智能”可以不需要“知識” , 認(rèn)為智能只是在與環(huán)境的交互作用中表現(xiàn)出來。 ? 以往電腦寫出的故事只包含幾個句子 ,沒有涉及故事的細(xì)節(jié)和發(fā)生地點。戴夫感到有點眩暈。戴夫注意到，哈特兩眼放光，充滿信賴，神情宛如慈父一般。哈特教授就喜歡主持這樣 的答辯考試。 ? IBM的研究小組使用的技術(shù)： 先進(jìn)行“淺”搜索，比如深度只有 10步，以粗略指出哪些步是有希望的，然后對這些走法進(jìn)行深度較大的搜索。 ? 圖像處理和圖像識別，聲音處理和聲音識別取得了較好的發(fā)展， IBM公司推出了 ViaVoice聲音識別軟件，以使聲音作為重要的信息輸入媒體。 ? 在計算機中使用知識，為人工智能提出了一批有實用價值的研究課題，例如：如何使計算機獲得人類知識、如何表示知識、如何進(jìn)行基于不同領(lǐng)域知識的推理等等，這些課題促進(jìn)了人工智能的研究，使人工智能這一學(xué)科重新出現(xiàn)了蓬勃發(fā)展的局面。 一系列的成功使某些研究者頭腦發(fā)熱起來 .1958年，Newell和 Simon曾經(jīng)自信地說：不出 10年，計算機將能譜寫具有優(yōu)秀作曲家水平的樂曲；不出 10年，大多數(shù)心理學(xué)理論將在計算機上形成。 ? 早期發(fā)展 ? 機器學(xué)習(xí) 1956年， Samuel研制了跳棋程序，該程序具有學(xué)習(xí)功能，能夠從棋譜中學(xué)習(xí)，也能在實踐中總結(jié)經(jīng)驗，提高棋藝。 ? 1950年，在 《 Computing Machinery and Intelligence》 一文中提出了著名的“ Turing Test” 如果機器能成功的偽裝成人欺騙觀察者 ,就認(rèn)為它具有了智能。 1930年證明了一階謂詞演算的完備性定理 1931年證明了： 第一條不完備性定理 任何包含初等數(shù)論的形式系統(tǒng)，如果它是協(xié)調(diào)的，那么一定是不完備的。 Leibnitz提出的計劃是：建立一種通用的符號語言，以及一種在此符號語言上進(jìn)行推理的演算。前提真，結(jié)論一定真 ? Bacon（ 15611626）， 英國哲學(xué)家和自然科學(xué)家。 ? Brooks：無需表示、無需推理的智能。生物學(xué)家研究智能行為是從腦的結(jié)構(gòu)和神經(jīng)細(xì)胞的組織入手。 中國計算機學(xué)會 A類會議 ? ECAI 、 AJCAI （澳大利亞）、 CAI（加拿