【正文】 人類求解同樣問(wèn)題是類似的 。 57 第一個(gè)商用專家系統(tǒng)： R1 ? 世界上第一個(gè)成功的商用專家系統(tǒng) ， 1982年開(kāi)始正式在 DEC公司使用 。 61 IBM的“深藍(lán)”（續(xù) 1） ? 96年 2月第一次比賽結(jié)果： “ 深藍(lán) ” ：勝 、 負(fù) 、 平 、 平 、 負(fù) 、 負(fù) ? 97年 5月第二次比賽結(jié)果： “ 深藍(lán) ” ：負(fù) 、 勝 、 平 、 平 、 平 、 勝 62 IBM的“深藍(lán)”（續(xù) 2） ? “ 深藍(lán) ” 的技術(shù)指標(biāo)： ? 32個(gè) CPU ? 每個(gè) CPU有 16個(gè)協(xié)處理器 ? 每個(gè) CPU有 256M內(nèi)存 ? 每個(gè) CPU的處理速度為 200萬(wàn)步 /秒 63 “人機(jī)之戰(zhàn)”簡(jiǎn)史 ? 1958年 ， IBM704成為第一臺(tái)能同人下棋的計(jì)算機(jī) ， 名為 “ 思考 ” ， 思考速度每秒 200步 ? 60年代中期 ， 科學(xué)家德里夫斯斷言 ， 計(jì)算機(jī)將無(wú)法擊敗一位年僅 10歲的棋手 ? 1973年 ， 國(guó)際象棋軟件 ， 這是未來(lái)程序的基礎(chǔ) ? 1979年 ， 國(guó)際象棋軟件 ? 1981年 ， CRAYBLITZ新的超級(jí)計(jì)算機(jī)擁有特殊的集成電路 ， 預(yù)言將可在 1995年擊敗世界棋王 64 ? 1983年 ， BELLEAT＆ T開(kāi)發(fā)了國(guó)際象棋硬件 ，達(dá)到了大師水平 ? 80年代中期 ， 皮茲堡的 卡內(nèi)基美隆大學(xué)（ Carnegie Mellon University） 開(kāi)始研究世界級(jí)的國(guó)際象棋計(jì)算機(jī)程序 ? 1987年 ， “ 深思 ” 首次以每秒鐘 75萬(wàn)步的思考速度露面 ， 它的水平相當(dāng)于擁有國(guó)際等級(jí)分為 2450的棋手 ? 1988年 ， “ 深思 ” 擊敗丹麥特級(jí)大師拉爾森 ? 1989年 ， “ 深思 ” 已經(jīng)有 6臺(tái)信息處理器 ， 每秒思考速度達(dá) 200萬(wàn)步 ， 但在與世界棋王卡斯帕羅夫進(jìn)行的 “ 人機(jī)大戰(zhàn) ” 中對(duì)陣以 0比 2敗北 65 ? 1990年 ， “ 深思 ” 第二代產(chǎn)生 ， 使用 IBM的硬件 ，吸引了前世界棋王卡爾波夫與之對(duì)抗 ? 1991年 ， “ 弗里茨 ” 問(wèn)世 ? 1993年 ， “ 深思 ” 二代擊敗了丹麥國(guó)家隊(duì) ， 在與世界優(yōu)秀女棋手小波爾加的對(duì)抗中獲勝 ? 1995年 ， “ 深藍(lán) ” 更新程序 ， 新的集成電路將其思考速度達(dá)到每秒 300萬(wàn)步 ? 1996年 ， “ 深藍(lán) ” 在與卡斯帕羅夫的挑戰(zhàn)賽中 ，以 2比 4不敵卡斯帕羅夫 ? 1997年 ， “ 超級(jí)深藍(lán) ” 開(kāi)發(fā)出了更加高級(jí)的 “ 大腦 ” ， 4名國(guó)際大師參與 IBM的挑戰(zhàn)小組為電腦與卡斯帕羅夫重戰(zhàn)出謀劃策 ， 最后 “ 超級(jí)深藍(lán) ” 以 3比 2擊敗了卡斯帕羅夫 ， 卡斯帕羅夫要求重賽 ， 但沒(méi)有得到回應(yīng) 66 ? 1 9 9 9年 ， “ 弗里茨 ” 升級(jí)為 “ 更弗里茨 ” (Deep Fritz) ? 2023年 ， “ 更弗里茨 ” 更新了程序 ， 擊敗了卡斯帕羅夫和阿南德 ， 以及除了克拉姆尼克之外的所有排名世界前十位的棋手 ? 2023年 10月 ， “ 更弗里茨 ” 與克拉姆尼克在巴林進(jìn)行 “ 人機(jī)大戰(zhàn) ” ， 思考速度為每秒 600萬(wàn)步 ， 雙方 4比 4戰(zhàn)平 ? 2023年 1～ 2月 “ 更年少者 ” 與卡斯帕羅夫舉行人機(jī)對(duì)抗 ， 雙方 3比 3戰(zhàn)平 67 思考題 2：國(guó)際象棋、中國(guó)象棋與圍棋 ? 為什么已經(jīng)有了可以戰(zhàn)勝國(guó)際大師的國(guó)際象棋程序 ， 而中國(guó)象棋和圍棋的程序水平卻比較低呢 ？ ? 力量投入問(wèn)題 ？ ? 計(jì)算機(jī)發(fā)展水平問(wèn)題 ？ ? 棋本身的復(fù)雜性問(wèn)題 ？ ? 其他別的問(wèn)題 ？ 68 智能汽車 ? 汽車的智能化可以減輕駕駛員的疲勞 ， 適應(yīng)復(fù)雜的天氣條件 ， 減少交通事故的發(fā)生 。 目前已能夠在校園的非結(jié)構(gòu)化道路環(huán)境下 ，進(jìn)行道路跟蹤和避障自主行駛 。 ? 現(xiàn)任中國(guó)科學(xué)院系統(tǒng)科學(xué)研究所名譽(yù)所長(zhǎng) ， 研究員 ，中國(guó)科學(xué)院院士 ， 第三世界科學(xué)院院士 。 該船的負(fù)載能力為兩人 。 ? 4. 人性化 ， 可以根據(jù)個(gè)人需要擴(kuò)展機(jī)器功能 。 ? 目前 ， 全球多數(shù)手機(jī)廠商都有智能手機(jī)產(chǎn)品 ，而芬蘭 諾基亞 、 美國(guó) 蘋果 、 加拿大 RIM（ 黑莓 ） 、 美國(guó) 摩托羅拉 、 中國(guó)臺(tái)灣 宏達(dá) （ htc） 、韓國(guó)三星更是智能機(jī)中的佼佼者 。 ? 曾獲得首屆國(guó)家自然科學(xué)一等獎(jiǎng) (1956)、 中國(guó)科學(xué)院自然科學(xué)一等獎(jiǎng) (1979)、 第三世界科學(xué)院數(shù)學(xué)獎(jiǎng) (1990)、 陳嘉庚數(shù)理科學(xué)獎(jiǎng) (1993)、首屆香港求是科技基金會(huì)杰出科學(xué)家獎(jiǎng) (1994)、Herbrand自動(dòng)推理杰出成就獎(jiǎng) (1997)、 首屆國(guó)家最高科技獎(jiǎng) (2023)、 第三屆邵逸夫數(shù)學(xué)獎(jiǎng)(2023)。 71 歷史上的人工智能大師 ? 下面介紹圖靈和幾位獲得圖靈獎(jiǎng)的人工智能大師 72 阿倫 ?圖靈 （ Alan Turing） 計(jì)算機(jī)科學(xué)理論的創(chuàng)始人 73 阿倫 ?圖靈（ Alan Turing） ? 1912年出生于英國(guó)倫敦 ， 1954年去世 ? 1936年發(fā)表論文 “ 論可計(jì)算數(shù)及其在判定問(wèn)題中的應(yīng)用 ” ， 提出圖靈機(jī)理論 ? 1950年發(fā)表論文 “ 計(jì)算機(jī)與智能 ” ， 闡述了計(jì)算機(jī)可以具有智能的想法 ， 提出圖靈測(cè)試 ? 1966年為紀(jì)念圖靈的杰出貢獻(xiàn) ， ACM設(shè)立圖靈獎(jiǎng) 74 馬文 ?明斯基 （ Marniv Lee Minsky） 人工智能之父 框架理論的創(chuàng)立者 首位獲得圖靈獎(jiǎng)的人工智能學(xué)者 75 馬文 ?明斯基 （ Marniv Lee Minsky） ? 1927年出生于美國(guó)紐約 ? 1951年提出思維如何萌發(fā)并形成的基本理論 ? 1956年達(dá)特茅斯會(huì)議的發(fā)起人之一 ? 1958年在 MIT創(chuàng)建世界上第一個(gè) AI實(shí)驗(yàn)室 ? 1969年獲得圖靈獎(jiǎng) ? 1975年首創(chuàng)框架理論 76 約翰 ?麥卡錫 （ John McCarthy） ? 人工智能之父 ? LISP語(yǔ)言的發(fā)明人 ? 首次提出 AI的概念 77 約翰 ?麥卡錫 （ John McCarthy） ? 1927年出生于美國(guó)波士頓 ? 1956年發(fā)起達(dá)特茅斯會(huì)議 ， 并提出 “ 人工智能 ”的概念 ? 1958年與明斯基一起創(chuàng)建世界上第一個(gè)人工智能實(shí)驗(yàn)室 ? 發(fā)明 α－ β剪枝算法 ? 1959年開(kāi)發(fā) LISP語(yǔ)言 ? 開(kāi)創(chuàng)邏輯程序研究 ， 用于程序驗(yàn)證和自動(dòng)程序設(shè)計(jì) ? 1971年獲得圖靈獎(jiǎng) 78 赫伯特 ?西蒙 （ Herbert A. Simon） 符號(hào)主義學(xué)派的創(chuàng)始人 愛(ài)好廣泛的全能科學(xué)家 中國(guó)科學(xué)院外籍院士 79 赫伯特 ?西蒙 (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ù)? 80 ? 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ǔ)言 。 2023年 6月 ， 國(guó)防科技大學(xué)研制的第 4代無(wú)人駕駛汽車試驗(yàn)成功 ， 最高時(shí)速達(dá) 76km， 創(chuàng)下國(guó)內(nèi)最高紀(jì)錄 。 AI規(guī)劃技術(shù)使得一個(gè)計(jì)劃可以在幾小時(shí)內(nèi)產(chǎn)生 ， 而用舊的方法需要花費(fèi)幾個(gè)星期 。 ? 1968年世界上第一個(gè)專家系統(tǒng) DENDRAL問(wèn)世 。 54 定理證明的“吳方法” ? 2023年我國(guó)最高科學(xué)技術(shù)獎(jiǎng)獲得者吳文俊教授 ， 提出了 “