【正文】 1959年開發(fā) LISP語言 ? 開創(chuàng)邏輯程序研究，用于程序驗證和自動程序設計 ? 1971年獲得圖靈獎 57 赫伯特 ?西蒙 （ Herbert A. Simon） 符號主義學派的創(chuàng)始人 愛好廣泛的全能科學家 中國科學院外籍院士 58 赫伯特 ?西蒙 (Herbert A. Simon） ? 1916年出生于美國的威斯康辛州 ? 1943年在匹茲堡大學獲政治學博士學位 ? 1969年因心理學方面的貢獻獲得杰出科學貢獻獎 ? 1975年和他的學生艾倫 ?紐厄爾共同獲得圖靈獎 ? 1978年獲得諾貝爾經(jīng)濟學獎 ? 1986年因行為學方面的成就獲得美國全國科學家獎章 59 ? 50年代至 60年代初開發(fā)了世界上最早的啟發(fā)式程序“邏輯理論家” LT，證明了《數(shù)學原理》第二章中的全部 52個定理，開創(chuàng)了機器定理證明這一新的學科領域 ? 57年開發(fā)了 IPL(Information Processing Language)語言，是最早的 AI語言。 ? 60年開發(fā)了“通用問題求解系統(tǒng)” GPS ? 66年開發(fā)了最早的下棋程序之一 MATER ? 70年發(fā)展與完善了語義網(wǎng)絡的概念和方法 ? 70年代提出了“物理符號系統(tǒng)假說” ? 70年代提出決策過程模型，成為 DSS的核心內容 60 艾倫 ?紐厄爾（ Allen Newell） ? 符號主義學派的創(chuàng)始人之一 ? 西蒙的學生與同事 ? 1975年與西蒙同獲圖靈獎 61 查理德 ?卡普 （ Richard M. Karp） 發(fā)明“分枝界限法”的三棲學者 62 查理德 ?卡普（ Richard M. Karp） ? 1935年出生于美國波士頓 ? 是加州大學伯克利分校三個系的教授： – 電氣工程和計算機系 – 數(shù)學系 – 工業(yè)工程和運籌學系 ? 60年代提出“分枝界限法”，成功求解含有 65個城市的旅行商問題，創(chuàng)當時的記錄 ? 1985年獲得圖靈獎 63 愛德華 ?費根鮑姆 （ Edward A. Feigenbaum） 知識工程的提出者 大型人工智能系統(tǒng)的開拓者 64 愛德華 ?費根鮑姆 （ Edward A. Feigenbaum） ? 1936年出生于美國的新澤西州 ? 通過實驗和研究，證明了實現(xiàn)智能行為的主要手段是知識 ? 1977年提出知識工程，使人工智能從理論轉向應用 ? 名言：知識蘊藏著力量 ? 1994年和勞伊 ?雷迪共同獲得圖靈獎 65 ? 1963年主編了《計算機與思想》一書，被認為是世界上第一本有關人工智能的經(jīng)典性專著 ? 1965年開發(fā)出世界上第一個專家系統(tǒng) ? 開發(fā)出著名的專家系統(tǒng) MYCIN ? 80年代合著了四卷本的《人工智能手冊》 ? 開設 Teknowledge和 IntelliGeics兩個公司，是世界上第一家以開發(fā)和將專家系統(tǒng)商品化的公司 66 勞伊 ?雷迪 （ Raj Reddy） 大型人工智能系統(tǒng)的開拓者 67 勞伊 ?雷迪（ Raj Reddy） ? 37年出生于印度， 66年在美國獲得博士 ? 1994年與費根鮑姆共同獲得圖靈獎 ? 主持過一系列大型 AI系統(tǒng)的開發(fā) – Navlab 能在道路行駛的自動車輛項目 – LISTEN 用于掃盲的語音識別系統(tǒng) – 以詩人但丁命名的火山探測機器人項目 – 自動機工廠項目，提出“白領機器人學” 68 人工智能研究的主要內容 (1) ? 理論 – 知識的模型化和表示方法 – 各種推理方法 – 啟發(fā)式理論搜索 – 人工智能系統(tǒng)結構及語言 – 機器學習 ? 應用 – 自然語言理解 – 數(shù)據(jù)庫的智能檢索 – 專家系統(tǒng) – 機器定理證明 – 博弈 – 機器人學 – 自動程序設計 – 組合調度 – 感知 – 模式識別 – 機器視覺 – 智能控制 – 人工生命 69 人工智能研究的主要內容（ 2） ?從最近 IJCAI國際會議上看包括（ 1）： ?Automated Reasoning ?Casebased Reasoning ?Cognitive Modelling ?Constraint Satisfaction ?Distributed AI ?Computer Game Playing ?Knowledgebased Applications ?Machine Learning ?Natural Language Processing ?Planning and Scheduling ?Qualitative Reasoning and Diagnosis 70 人工智能研究的主要內容（ 3） ?從最近 IJCAI國際會議上看包括（ 2）： ?Robotics and Perception ?Search ?Software Agents ?Temporal Reasoning ?Uncertainty and Probabilistic Reasoning ?Neural Networks ?Geic Algorithms ?Fuzzy Logic ?Philosophy of AI ?Knowledge Representation ?Knowledge Acquisition and Expert Systems 71 第 0章復習重點 ? 教學重點： ? 1．從不同科學或學科出發(fā)對人工智能進行的定義； ? 2．介紹人工智能的起源與發(fā)展過程； ? 3．簡介目前人工智能的主要學派； ? 4．簡介人工智能所研究的范圍與應用領域。 ? 教學難點： ? 1．怎么樣理解人工智能； ? 2．人工智能作為一門學科有什么意義； ? 3．人工智能的主要學派與其爭論焦點； 72 演講完畢，謝謝觀看！