【正文】 這項工作同時涉及到 50000個車輛、貨物和人，而且必須考慮到起點、目的地、路徑以及解決所有參數(shù)之間的沖突。經(jīng)改進(jìn)后， 62年證明了該書中全部的 52個定理?！? ? “一個人進(jìn)入餐館并訂了一份漢堡包。因此， GPS很可能是第一個實現(xiàn)了“像人一樣思考”方法的程序。 ? 60年開發(fā)了“通用問題求解系統(tǒng)” GPS ? 66年開發(fā)了最早的下棋程序之一 MATER ? 70年發(fā)展與完善了語義網(wǎng)絡(luò)的概念和方法 ? 70年代提出了“物理符號系統(tǒng)假說” ? 70年代提出決策過程模型，成為 DSS的核心內(nèi)容 55 艾倫 ?紐厄爾（ Allen Newell） ? 符號主義學(xué)派的創(chuàng)始人之一 ? 西蒙的學(xué)生與同事 ? 1975年與西蒙同獲圖靈獎 56 查理德 ?卡普 （ Richard M. Karp） 發(fā)明“分枝界限法”的三棲學(xué)者 57 查理德 ?卡普（ Richard M. Karp） ? 1935年出生于美國波士頓 ? 是加州大學(xué)伯克利分校三個系的教授： – 電氣工程和計算機系 – 數(shù)學(xué)系 – 工業(yè)工程和運籌學(xué)系 ? 60年代提出“分枝界限法”，成功求解含有 65個城市的旅行商問題，創(chuàng)當(dāng)時的記錄 ? 1985年獲得圖靈獎 58 愛德華 ?費根鮑姆 （ Edward A. Feigenbaum） 知識工程的提出者 大型人工智能系統(tǒng)的開拓者 59 愛德華 ?費根鮑姆 （ Edward A. Feigenbaum） ? 1936年出生于美國的新澤西州 ? 通過實驗和研究，證明了實現(xiàn)智能行為的主要手段是知識 ? 1977年提出知識工程，使人工智能從理論轉(zhuǎn)向應(yīng)用 ? 名言：知識蘊藏著力量 ? 1994年和勞伊 ?雷迪共同獲得圖靈獎 60 ? 1963年主編了《計算機與思想》一書，被認(rèn)為是世界上第一本有關(guān)人工智能的經(jīng)典性專著 ? 1965年開發(fā)出世界上第一個專家系統(tǒng) ? 開發(fā)出著名的專家系統(tǒng) MYCIN ? 80年代合著了四卷本的《人工智能手冊》 ? 開設(shè) Teknowledge和 IntelliGeics兩個公司，是世界上第一家以開發(fā)和將專家系統(tǒng)商品化的公司 61 勞伊 ?雷迪 （ Raj Reddy） 大型人工智能系統(tǒng)的開拓者 62 勞伊 ?雷迪（ Raj Reddy） ? 37年出生于印度， 66年在美國獲得博士 ? 1994年與費根鮑姆共同獲得圖靈獎 ? 主持過一系列大型 AI系統(tǒng)的開發(fā) – Navlab 能在道路行駛的自動車輛項目 – LISTEN 用于掃盲的語音識別系統(tǒng) – 以詩人但丁命名的火山探測機器人項目 – 自動機工廠項目，提出“白領(lǐng)機器人學(xué)” 63 演講完畢，謝謝觀看！ 。 26 通用問題求解器（ GPS） ? 從 1957年開始， Newell等人開始研究一種不依賴于具體領(lǐng)域的通用解題程序，這個程序的設(shè)計是從模仿人類問題求解的規(guī)程開始的。 5 希爾勒的中文屋子 ? 羅杰 ?施安克的故事理解程序（ 舉例 ） ? 機器是否真的理解了呢？ ? 希爾勒的中文屋子 ? 問題：通過了圖靈測試就具有了智能嗎？ ? 思考題：如何理解希爾勒的中文屋子？ 6 故事理解程序舉例 ? “一個人進(jìn)入餐館并訂了一份漢堡包。 24 四色定理的證明 ? 四色定理 ? 從 1852年發(fā)現(xiàn)四色問題，世界上很多著名的科學(xué)家試圖證明，當(dāng)一直未能完成。 30 數(shù)字識別 ? 清華大學(xué)智能技術(shù)與系統(tǒng)國家重點實驗室采用神經(jīng)元網(wǎng)絡(luò)方法研制的數(shù)字識別系統(tǒng)，用于 2023年我國人口普查。該程序幫助為新計算機系統(tǒng)配置訂