【正文】 派，主張從結(jié)構(gòu)方面模擬、延伸、擴(kuò)展人的智能，用“電腦”模擬“人腦”神經(jīng)系統(tǒng)的聯(lián)結(jié)機(jī)制；以研究人腦為物質(zhì)基礎(chǔ)。 ? 二十一世紀(jì)的信息技術(shù)領(lǐng)域?qū)?huì)以智能信息處理為中心。它可以一點(diǎn)一點(diǎn)地構(gòu)思令人驚駭?shù)那楣?jié)，并且把它們用 400個(gè)字表達(dá)出來 只能寫作欺騙和邪惡等與背叛有關(guān)的內(nèi)容。 一篇古怪的小說 ? Brytus1型 :人工智能計(jì)算機(jī)系統(tǒng) 美國倫塞勒工學(xué)院的塞爾默 哈特仍然坐在那兒，毫無表 情。戴夫分別作了回答，并且顯然讓每個(gè)人都心悅誠 服，再?zèng)]有人提出異議。在哈特那四壁擺滿書籍的辦公室里，兩人甚至還握了 手。其中一個(gè)簽名是哈特教授的。愛德華 斯特賴維爾喜愛這所大學(xué)。要看到 15步之遠(yuǎn)，計(jì)算機(jī)必須算遍 3015種不同走棋過 程，并從中作出選擇。 最主要差別： 卡斯帕羅夫的隨機(jī)應(yīng)變能力強(qiáng)，老謀深算，經(jīng)驗(yàn)豐富 ,但思路易受身體條件、情緒和周圍環(huán)境的影響 “深藍(lán)”是個(gè)剛剛涉足棋壇的小學(xué)生 ,記憶力強(qiáng)，計(jì)算平穩(wěn)且不受環(huán)境干擾?！? 第五階段： 90年代 — 現(xiàn)在 新的 AI研究高潮 ? IBM公司“深藍(lán)”電腦擊敗了人類的世界國際象棋冠軍 ? 美國制定了以多 Agent系統(tǒng)應(yīng)用為重要研究內(nèi)容的信息高速公路計(jì)劃，基于 Agent技術(shù)的 Softbot(軟機(jī)器人 )在軟件領(lǐng)域和網(wǎng)絡(luò)搜索引擎中得到了充分應(yīng)用 ? 美國 Sandia實(shí)驗(yàn)室建立了國際上最龐大的“虛擬現(xiàn)實(shí)”實(shí)驗(yàn)室，擬通過數(shù)據(jù)頭盔和數(shù)據(jù)手套實(shí)現(xiàn)更友好的人機(jī)交互，建立更好的智能用戶接口。 ? 據(jù)美國每日科學(xué)網(wǎng)站 2023年 7月 20日 報(bào)道，美國科學(xué)家朝人工智能領(lǐng)域 邁出了關(guān)鍵的一步：他們使用 DNA，在試管中制造出了首個(gè)人 造神經(jīng)網(wǎng)絡(luò)，該神經(jīng)網(wǎng)絡(luò)包含 4個(gè) 人造神經(jīng)元，由 112個(gè)不同的 DNA片 段組成。 第二階段： 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ā)展迅速。如同沒有包治百病的良藥一樣，建立適用于各個(gè)不同領(lǐng)域的通用推理程序的嘗試也失敗了。 ? LISP表處理語言等 各種誘人的前景把很多人吸引到人工智能領(lǐng)域中來，人工智能的研究呈現(xiàn)出蓬勃發(fā)展的局面。1965年， Roberts編制了可以分辨積木構(gòu)造的程序，開創(chuàng)了計(jì)算機(jī)視覺的新領(lǐng)域。 1965年 Robinson提出了歸結(jié)方法，把人工智能的研究向前推進(jìn)了一大步。 占地面積達(dá) 170平方米，重達(dá) 30噸 ? 人工智能的開端 Norbert Wiener ：所有人類智力的結(jié)果都是一種反饋的結(jié)果；反饋機(jī)制是有可能用機(jī)器模擬的 第一階段： 50年代人工智能的興起和冷落 ? 人工智能的問世 1956年，“人工智能之父” McCarthy： Vermont “ Dartmouth人工智能夏季研究會(huì)”，命名 人工智能 參加者： Minsky, Rochester, Shannon, Moore, Samuel, Selfridge, Solomonff, Simon, Newell等一批數(shù)學(xué)家、信息學(xué)家、心理學(xué)家、神經(jīng)生理學(xué)家、計(jì)算機(jī)科學(xué)家。 ? 在二次大戰(zhàn)期間為盟軍設(shè)計(jì)破譯密碼的機(jī)器，為盟軍的最后勝利立下了汗馬功勞。 ? A ? Godel（ 19061978） 美籍奧地利數(shù)理邏輯學(xué)家 主要貢獻(xiàn)： 研究數(shù)理邏輯中一些帶有根本性的問題，即形式系統(tǒng)的完備性和可判定性問題。 ? Gee Boole （ 18151864） 英國數(shù)學(xué)家、邏輯學(xué)家 主要貢獻(xiàn)： 初步實(shí)現(xiàn)了 Leibnitz關(guān)于思維符號(hào)化和數(shù)學(xué)化的思想；提出了一種嶄新的代數(shù)系統(tǒng)，被后世稱為布爾代數(shù)。 ? 對(duì) AI的主要貢獻(xiàn) ：提出的數(shù)理邏輯的思想，把形式邏輯符號(hào)化，從而能對(duì)人的思維進(jìn)行運(yùn)算和推理。 Socrates is a man Socrates is mortal Induction: Every man is mortal Every mortal is a man No man but Socrates is mortal Etc. 歸納推理的特點(diǎn)： 特殊 → 一般 。 三段論 Famous syllogism of Aristotle: Every man is mortal Socrates is a man Deduction: Socrates is mortal 演繹推理特點(diǎn)： 一般 → 特殊 。 ? 作為工程技術(shù)學(xué)科，人工智能的目標(biāo)是提出建造人工智能系統(tǒng)的新技術(shù)、新方法和新理論，并在此基礎(chǔ)上研制出具有智能行為的計(jì)算機(jī)系統(tǒng)。思維的社會(huì)無統(tǒng)一的知識(shí)表示和理論基礎(chǔ)。 附：關(guān)于智能本質(zhì)的爭論 ? Von Neumann：計(jì)算機(jī)決不會(huì)有智能。 ? 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é)家不同。 包括感知、理解、抽象、分析、 推理 、判斷、學(xué)習(xí)和對(duì)變化環(huán)境的適應(yīng)等等 疑問： ? 僅限于人？一般動(dòng)物沒有嗎？ ? 為什么說猩猩一類動(dòng)物比一般動(dòng)物智力高？ ? 若只限于人，那么機(jī)器就更不能談什么智能了，也就無人工智能可言了！ 所以，智能本身現(xiàn)在無法下精確的定義。伯爾 )(2023年 )，美國 最早提出概率和因果性推理演算法 杰出人物 重要國際會(huì)議 ? IJCAI（ International Joint Conference on AI） 國際人工智能聯(lián)合會(huì)議（ AI界最高級(jí)別的學(xué)術(shù)盛會(huì) ,中國計(jì)算機(jī)學(xué)會(huì) A類會(huì)議 論文集出版： Man Kaufmann 創(chuàng)會(huì)時(shí)間： 1969年 每兩年開一次，組委會(huì)決定在 2023年起每年舉辦一屆 . 2023年投稿 1365，錄用 212，錄用率 %. 2023年投稿 1291，錄用 331，錄用率 %. 2023年投稿 1325，錄用 227，錄用率 %. 2023年投稿 1473，錄用 413，錄用率 28% ——北京 第一次在中國舉行 2023年將在阿根廷 布宜諾斯艾利斯 召開 ? AAAI AAAI Conference on Artificial Intelligence的簡稱 會(huì)議主辦方 (sponsor) :AAAI,原為美國人工智能學(xué)會(huì)(American Association for Artificial Intelligence)， 2023年改名為國際人工智能促進(jìn)協(xié)會(huì)（ The Association for the Advancement of Artificial Intelligence) 1980年第一屆 AAAI召開，此后每年舉辦一次 。人工智能原理 張永剛 吉林大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院 Email: 課 程 內(nèi) 容 一、課程背景 二、產(chǎn)生式系統(tǒng)表示及其搜索方法 三、邏輯表示及其推理方法 第一章 人工智能簡介 千古的夢想 不斷地從自然力的束縛下解放自己 ? 古代：利用物質(zhì)資源 制造人力的工具 擴(kuò)展人的 體質(zhì) 功能 支持農(nóng)業(yè)社會(huì)的文明 ? 近代：利用能量的資源 制造動(dòng)力工具 擴(kuò)展人的 體力 功能 支持工業(yè)社會(huì)的文明 ? 現(xiàn)代：利用信息資源 制造智能工具 擴(kuò)展人的 智力 功能 導(dǎo)致信息社會(huì) 人工智能 （ Artificial Intelligence） ? 研究如何用計(jì)算機(jī)去模擬、延伸和擴(kuò)展人的智能； 如何把計(jì)算機(jī)用得更聰明； 如何設(shè)計(jì)和建造具有高智能水平的計(jì)算機(jī)應(yīng)用系統(tǒng)； 如何設(shè)計(jì)和制造更聰明的智能計(jì)算機(jī) ? 一門由計(jì)算機(jī)科學(xué)、控制論、信息論、語言學(xué)、神經(jīng)生理學(xué)、心理學(xué)、數(shù)學(xué)、哲學(xué)等多種學(xué)科相互滲透而發(fā)展起來的綜合性新學(xué)科 ? 二十世紀(jì)七十年代以來世界三大尖端技術(shù) （空間技術(shù)、能源技術(shù)、人工智能）之一 ? 二十一世紀(jì)三大尖端技術(shù)（基因工程、納米科學(xué)、人工智能）之一 ? 計(jì)算機(jī)科學(xué)技術(shù)的前沿科技領(lǐng)域 人工智能 （ Artificial Intelligence） 2023年上映的電影 《 人工智能 》是未來派的科幻史詩影片，由斯皮爾伯格制作。瓦里安特 ) (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 (猶大 一 、 什么是人工智能 ？ 二、人工智能的歷史 三、人工智能的不同研究流派 四、人工智能的主要研究領(lǐng)域及其發(fā)展 五、人工智能與其它領(lǐng)域的交叉 一、什么是人工智能？ 智能 ? 智能 人類在認(rèn)識(shí)和改造世界的活動(dòng)中，由腦力勞動(dòng)表現(xiàn)出來的能力。包括感知、學(xué)習(xí)、推理、對(duì)策、決策、預(yù)測、直覺、聯(lián)想。 ) 人工智能的研究目標(biāo) ? 根本目標(biāo) 要求計(jì)算機(jī)不僅能模擬而且可以延伸、擴(kuò)展人的智能 ,達(dá)到甚至超過人類智能的水平。 ? Minsky：人工智能是有史以來最難的科學(xué)之一 。 ? 近期目標(biāo) 使現(xiàn)有的計(jì)算機(jī)不僅能做一般的數(shù)值計(jì)算及非數(shù)值信息的數(shù)據(jù)處理，而且能運(yùn)用知識(shí)處理問題，能模擬人類的部分智能行為。 主要貢獻(xiàn) :為形式邏輯奠定了基礎(chǔ)。 ? 強(qiáng)調(diào)了知識(shí)的作用：“知識(shí)就是力量” 。 ? 改進(jìn)了 Pascal的加法計(jì)算器，做出了能進(jìn)行四則運(yùn)算的手搖計(jì)算器，在計(jì)算工具的歷史上占有一席位置。 此夢的初步實(shí)現(xiàn)歸功于 Boole。 出版了 《 概念演算 》 、 《 算術(shù)的基本 法則 》 等名著。 Godel的這兩條定理徹底摧毀了 Hilbert的建立無矛盾數(shù)學(xué)體系的綱領(lǐng)，對(duì)人工智能研究的意義在于，指出了把人的思維形式化和機(jī)械化的某種極限，在理論上證明了有些事情是做不到的 。 現(xiàn)已公認(rèn)，所有可計(jì)算函數(shù)都能用圖靈機(jī)計(jì)算 為電子計(jì)算機(jī)出現(xiàn)建立了理論根據(jù)。 Mauchly（美國數(shù)學(xué)家）和 Eckert等人共同發(fā)明了電子數(shù)字計(jì)算機(jī) ENIAC（ 1946年）。 1959年， Gelernter研制出了平面幾何證明程序。 ? 模式識(shí)別與計(jì)算機(jī)視覺 1956年， Selfridge研制出第一個(gè)字符識(shí)別程序，1959年他又推出了功能更強(qiáng)的模式識(shí)別程序。 1967年， Mosis又研制了一個(gè)符號(hào)積