【正文】 Date 71福州大學(xué)計算機科學(xué)與技術(shù)系歷史上的人工智能大師 下面介紹圖靈和幾位獲得圖靈獎的人工智能大師Date 72福州大學(xué)計算機科學(xué)與技術(shù)系阿倫 ?圖靈（ Alan Turing）計算機科學(xué)理論的創(chuàng)始人Date 73福州大學(xué)計算機科學(xué)與技術(shù)系阿倫 ?圖靈（ Alan Turing）n 1912年出生于英國倫敦， 1954年去世n 1936年發(fā)表論文 “論可計算數(shù)及其在判定問題中的應(yīng)用 ”，提出圖靈機理論n 1950年發(fā)表論文 “計算機與智能 ”，闡述了計算機可以具有智能的想法，提出圖靈測試n 1966年為紀(jì)念圖靈的杰出貢獻， ACM設(shè)立圖靈獎Date 74福州大學(xué)計算機科學(xué)與技術(shù)系馬文 ?明斯基（ Marniv Lee Minsky）人工智能之父框架理論的創(chuàng)立者首位獲得圖靈獎的人工智能學(xué)者Date 75福州大學(xué)計算機科學(xué)與技術(shù)系馬文 ?明斯基（ Marniv Lee Minsky）n 1927年出生于美國紐約n 1951年提出思維如何萌發(fā)并形成的基本理論n 1956年達特茅斯會議的發(fā)起人之一n 1958年在 MIT創(chuàng)建世界上第一個 AI實驗室n 1969年獲得圖靈獎n 1975年首創(chuàng)框架理論Date 76福州大學(xué)計算機科學(xué)與技術(shù)系約翰 ?麥卡錫（ John McCarthy）n 人工智能之父n LISP語言的發(fā)明人n 首次提出 AI的 概念Date 77福州大學(xué)計算機科學(xué)與技術(shù)系約翰 ?麥卡錫（ John McCarthy）n 1927年出生于美國波士頓n 1956年發(fā)起達特茅斯會議，并提出 “人工智能 ”的概念n 1958年與明斯基一起創(chuàng)建世界上第一個人工智能實驗室n 發(fā)明 α－ β剪枝算法n 1959年開發(fā) LISP語言n 開創(chuàng)邏輯程序研究，用于程序驗證和自動程序設(shè)計n 1971年獲得圖靈獎Date 78福州大學(xué)計算機科學(xué)與技術(shù)系赫伯特 ?西蒙（ Herbert A. Simon）符號主義學(xué)派的創(chuàng)始人愛好廣泛的全能科學(xué)家中國科學(xué)院外籍院士Date 79福州大學(xué)計算機科學(xué)與技術(shù)系赫伯特 ?西蒙 (Herbert A. Simon）n 1916年出生于美國的威斯康辛州n 1943年在 匹茲堡大學(xué)獲政治學(xué)博士學(xué)位n 1969年因心理學(xué)方面的貢獻獲得杰出科學(xué)貢獻獎n 1975年和他的學(xué)生艾倫 ?紐厄爾共同獲得圖靈獎n 1978年獲得諾貝爾經(jīng)濟學(xué)獎n 1986年因行為學(xué)方面的成就獲得美國全國科學(xué)家獎?wù)翫ate 80福州大學(xué)計算機科學(xué)與技術(shù)系艾倫 ?紐厄爾（Allen Newell）n 符號主義學(xué)派的創(chuàng)始人之一n 西蒙的學(xué)生與同事n 1975年與西蒙同獲圖靈獎Date 81福州大學(xué)計算機科學(xué)與技術(shù)系n 50年代至 60年代初開發(fā)了世界上最早的啟發(fā)式程序 “邏輯理論家 ”LT， 證明了 《 數(shù)學(xué)原理 》 第二章中的全部 52個定理 ， 開創(chuàng)了機器定理證明這一新的學(xué)科領(lǐng)域n 57年開發(fā)了 IPL(Information Processing Language)語言，是最早的 AI語言。 今天，已經(jīng)有很多人工智能研究的成果進入人們的日常生活。在影片中， AI兒童大衛(wèi)不但擁有可以亂真的人類外表，而且還像人類一樣有思想，有感情，能感知自己的存在。 庫布里克合作推出的大片 《人工智能》 ，先后在日本、美國及其他國家上演，票房價值迅速打破了《星球前傳》的紀(jì)錄，直逼《泰坦尼克號》。 機器人大衛(wèi)Date 69福州大學(xué)計算機科學(xué)與技術(shù)系Ａ I研究的未來趨勢 2022年 6月，對于全球的 “ 科幻迷 ” 來講，不啻是一段令人興奮激動的日子。他終于在機器人統(tǒng)治的世界利用DNA技術(shù)將早已去世的莫妮卡復(fù)制出來，兩母子在二人世界度過了最快樂的一天。 最后一段是令人感嘆的尾聲，發(fā)生于二千年后。 第二段變奏是大衛(wèi)的尋愛歷險記，他一直想變成真人，獲得莫妮卡的母愛。不料馬丁奇跡般康復(fù)回家，重新?lián)尰啬菘ǖ膼?，大衛(wèi)妒意大發(fā)，與馬丁爭寵。 Date 68福州大學(xué)計算機科學(xué)與技術(shù)系Ａ I研究的未來趨勢 《 Ａ I》 劇情簡介 第一段描寫莫妮卡 .史文頓因為愛子馬丁染重病而長期急凍治療，其夫為排解她的寂寞，特意收養(yǎng)了一個看來與真人無異的機器人男孩大衛(wèi)作伴。 研究表明 : 情感 是智能的一部分，而不是與智能相分離的，因此人工智能領(lǐng)域的下一個突破可能在于賦予計算機情感能力。 人工 神經(jīng)網(wǎng)絡(luò) 是未來人工智能應(yīng)用的新領(lǐng)域，未來智能計算機的構(gòu)成，可能就是作為主機的馮Date 64福州大學(xué)計算機科學(xué)與技術(shù)系 人工智能概述n AI的定義n AI的產(chǎn)生n AI的發(fā)展歷史n AI研究的特點n AI的研究內(nèi)容n AI研究的途徑n AI研究的未來Date 65福州大學(xué)計算機科學(xué)與技術(shù)系 人工智能概述n AI的定義n AI的產(chǎn)生n AI的發(fā)展歷史n AI研究的特點n AI的研究內(nèi)容n AI研究的途徑n AI研究的未來Date 66福州大學(xué)計算機科學(xué)與技術(shù)系Ａ I研究的未來趨勢 技術(shù)的發(fā)展總是超乎人們的想象，要準(zhǔn)確地預(yù)測人工智能的未來是不可能的。4)適合于模擬人類的形象思維過程。2)通過神經(jīng)元間分布式的物理聯(lián)系存儲知識及信息，可以實現(xiàn)聯(lián)想功能，可以有效處理帶噪音、缺損、變形的信息。Date 63福州大學(xué)計算機科學(xué)與技術(shù)系Ａ I研究的途徑n 連接主義n 以網(wǎng)絡(luò)連接為主的連接機制方法，認(rèn)為人類認(rèn)識的基本元素就是神經(jīng)元本身，人類的認(rèn)識活動是大量神經(jīng)元的整體活動。4)能與傳統(tǒng)的符號數(shù)據(jù)庫進行鏈接。2)知識可用顯式的符號表示，在已知基本規(guī)則的情況下，無需輸入大量的細(xì)節(jié)知識。Date 60福州大學(xué)計算機科學(xué)與技術(shù)系 人工智能概述n AI的定義n AI的產(chǎn)生n AI的發(fā)展歷史n AI研究的特點n AI的研究內(nèi)容n AI研究的途徑n AI研究的未來Date 61福州大學(xué)計算機科學(xué)與技術(shù)系 人工智能概述n AI的定義n AI的產(chǎn)生n AI的發(fā)展歷史n AI研究的特點n AI的研究內(nèi)容n AI研究的途徑n AI研究的未來Date 62福州大學(xué)計算機科學(xué)與技術(shù)系Ａ I研究的途徑n 符號主義n 以符號處理為核心的方法，認(rèn)為人類認(rèn)識的基本元素是符號，認(rèn)識過程是一種符號處理過程。這項工作同時涉及到 50000個車輛、貨物和人，而且必須考慮到起點、目的地、路徑以及解決所有參數(shù)之間的沖突。 Date 59福州大學(xué)計算機科學(xué)與技術(shù)系Ａ I的研究內(nèi)容 /領(lǐng)域 （ 3 ）成功事例 ： 國際象棋程序，定理證明， ……n 海灣戰(zhàn)爭中的專家系統(tǒng) ：專家系統(tǒng)就是把有關(guān)領(lǐng)域?qū)＜业闹R整理出來，讓計算機利用這些知識求解專門領(lǐng)域的問題。在它能處理的有限類別的問題中，它顯示出程序決定的子目標(biāo)及可能采取的行動的次序，與人類求解同樣問題是類似的。 1976年 6月，哈肯在美國伊利諾斯大學(xué)的兩臺不同的電子計算機上，用了 1200個小時，作了 100億次判斷，終于完成了四色定理的證明，從而解決了一個歷時 100多年的問題，轟動了世界。被認(rèn)為是用計算機探討人類智力活動的第一個真正的成果。Date 55福州大學(xué)計算機科學(xué)與技術(shù)系Ａ I的研究內(nèi)容 /領(lǐng)域 （ 1）n 理論n 知識的模型化和表示方法n 各種推理方法n 啟發(fā)式理論搜索n 人工智能系統(tǒng)結(jié)構(gòu)及語言n 機器學(xué)習(xí)Date 56福州大學(xué)計算機科學(xué)與技術(shù)系Ａ I的研究內(nèi)容 /領(lǐng)域 （ 2 ）n 應(yīng)用n 自然語言理解n 數(shù)據(jù)庫的智能檢索n 專家系統(tǒng)n 機器定理證明n 博弈n 機器人學(xué)n 自動程序設(shè)計n 組合調(diào)度n 感知Date 57福州大學(xué)計算機科學(xué)與技術(shù)系Ａ I的研究內(nèi)容 /領(lǐng)域 （ 3 ）成功事例 ： 國際象棋程序，定理證明， ……n 定理證明 ： 50年代中期，世界上最早的啟發(fā)式程序 “邏輯理論家 ”，證明了數(shù)學(xué)名著 《 數(shù)學(xué)原理 》 中的38個定理。 Da