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