人工智能第1章-資料下載頁(yè)
2024-08-13 13:22本頁(yè)面
【正文】 法 ? 1959年開(kāi)發(fā) LISP語(yǔ)言 ? 開(kāi)創(chuàng)邏輯程序研究，用于程序驗(yàn)證和自動(dòng)程序設(shè)計(jì) ? 1971年獲得圖靈獎(jiǎng) 47 赫伯特 ?西蒙 （ Herbert A. Simon） 符號(hào)主義學(xué)派的創(chuàng)始人 愛(ài)好廣泛的全能科學(xué)家 中國(guó)科學(xué)院外籍院士 48 赫伯特 ?西蒙 (Herbert A. Simon） ? 1916年出生于美國(guó)的威斯康辛州 ? 1943年在匹茲堡大學(xué)獲政治學(xué)博士學(xué)位 ? 1969年因心理學(xué)方面的貢獻(xiàn)獲得杰出科學(xué)貢獻(xiàn)獎(jiǎng) ? 1975年和他的學(xué)生艾倫 ?紐厄爾共同獲得圖靈獎(jiǎng) ? 1978年獲得諾貝爾經(jīng)濟(jì)學(xué)獎(jiǎng) ? 1986年因行為學(xué)方面的成就獲得美國(guó)全國(guó)科學(xué)家獎(jiǎng)?wù)? 49 ? 50年代至 60年代初開(kāi)發(fā)了世界上最早的啟發(fā)式程序“邏輯理論家” LT，證明了 《 數(shù)學(xué)原理 》第二章中的全部 52個(gè)定理，開(kāi)創(chuàng)了機(jī)器定理證明這一新的學(xué)科領(lǐng)域 ? 57年開(kāi)發(fā)了 IPL(Information Processing Language)語(yǔ)言，是最早的 AI語(yǔ)言。 ? 60年開(kāi)發(fā)了“通用問(wèn)題求解系統(tǒng)” GPS ? 66年開(kāi)發(fā)了最早的下棋程序之一 MATER ? 70年發(fā)展與完善了語(yǔ)義網(wǎng)絡(luò)的概念和方法 ? 70年代提出了“物理符號(hào)系統(tǒng)假說(shuō)” ? 70年代提出決策過(guò)程模型，成為 DSS的核心內(nèi)容 50 艾倫 ?紐厄爾（ Allen Newell） ? 符號(hào)主義學(xué)派的創(chuàng)始人之一 ? 西蒙的學(xué)生與同事 ? 1975年與西蒙同獲圖靈獎(jiǎng) 51 查理德 ?卡普 （ Richard M. Karp） 發(fā)明“分枝界限法”的三棲學(xué)者 52 查理德 ?卡普（ Richard M. Karp） ? 1935年出生于美國(guó)波士頓 ? 是加州大學(xué)伯克利分校三個(gè)系的教授： – 電氣工程和計(jì)算機(jī)系 – 數(shù)學(xué)系 – 工業(yè)工程和運(yùn)籌學(xué)系 ? 60年代提出“分枝界限法”，成功求解含有 65個(gè)城市的旅行商問(wèn)題，創(chuàng)當(dāng)時(shí)的記錄 ? 1985年獲得圖靈獎(jiǎng) 53 愛(ài)德華 ?費(fèi)根鮑姆 （ Edward A. Feigenbaum） 知識(shí)工程的提出者 大型人工智能系統(tǒng)的開(kāi)拓者 54 愛(ài)德華 ?費(fèi)根鮑姆 （ Edward A. Feigenbaum） ? 1936年出生于美國(guó)的新澤西州 ? 通過(guò)實(shí)驗(yàn)和研究，證明了實(shí)現(xiàn)智能行為的主要手段是知識(shí) ? 1977年提出知識(shí)工程，使人工智能從理論轉(zhuǎn)向應(yīng)用 ? 名言：知識(shí)蘊(yùn)藏著力量 ? 1994年和勞伊 ?雷迪共同獲得圖靈獎(jiǎng) 55 ? 1963年主編了 《 計(jì)算機(jī)與思想 》 一書(shū)，被認(rèn)為是世界上第一本有關(guān)人工智能的經(jīng)典性專著 ? 1965年開(kāi)發(fā)出世界上第一個(gè)專家系統(tǒng) ? 開(kāi)發(fā)出著名的專家系統(tǒng) MYCIN ? 80年代合著了四卷本的 《 人工智能手冊(cè) 》 ? 開(kāi)設(shè) Teknowledge和 IntelliGeics兩個(gè)公司，是世界上第一家以開(kāi)發(fā)和將專家系統(tǒng)商品化的公司
規(guī)章制度相關(guān)推薦
鄂ICP備17016276號(hào)-1