人工智能導(dǎo)論課件

人工智能導(dǎo)論1人工智能導(dǎo)論1第1講緒論人工智能技術(shù)與空間技術(shù)、原子能技術(shù)一起被譽為20世紀的三大科學(xué)技術(shù)成就。2第1講緒論人工智能技術(shù)與一、什么是人工智能?智能（Intelligence）：認知、識別、推理、決策、規(guī)劃、解決問題、適應(yīng)、學(xué)習(xí)、理解等內(nèi)在而天然的才能。認識和理解世界環(huán)境的能力進行演繹和歸納推理、作出決策的能力學(xué)習(xí)的能力自我適應(yīng)的能力3一、什么是人工智能?智能（Intelligence）：3智能是一種能力，即在給定問題-環(huán)境-目的的條件下，有針對性地獲取和合理地處理問題與環(huán)境的信息，在此基礎(chǔ)上結(jié)合目的信息明智地再生策略信息，并在給定環(huán)境條件下正確地利用策略信息成功地解決問題，滿意地達到預(yù)定目的的能力。人工智能（ArtificialIntelligence，簡稱AI）定義之一：人工智能是研究如何制造出人造的智能機器或智能系統(tǒng)，來模擬人類的智能活動，以延伸人們智能的科學(xué)。4智能是一種能力，即在給定問題-環(huán)境-目的的條件下，有針對性地人工智能定義之二：人工智能是計算機科學(xué)的一個分支，是研究使計算機表現(xiàn)出人類智能的學(xué)科。它涉及計算機科學(xué)、腦科學(xué)、神經(jīng)生理學(xué)、心理學(xué)、哲學(xué)、語言學(xué)、邏輯學(xué)、信息論、控制論等多個學(xué)科，是一門綜合性的交叉和邊緣學(xué)科。人工智能定義之三：人工智能是一門以知識為核心的，研究知識的獲取、知識的表達、知識的使用的科學(xué)。5人工智能定義之二：5怎樣才能說機器（計算機）擁有了智能？1950年，圖靈提出了著名的“圖靈實驗”：讓一個人和一臺計算機分處兩個不同的房間，另有一主持人向他們提出問題，如果主持人通過聽取對問題的回答分辨不出哪個是人的回答，哪個是計算機的回答，便認為被實驗的計算機有了智能。6怎樣才能說機器（計算機）擁有了智能？1950年，圖靈提人工智能學(xué)科的誕生經(jīng)歷了漫長的歷史過程。歷史上一些偉大的科學(xué)家和思想家對此作出了巨大的貢獻，為今天的人工智能研究作了長足和充分的準備亞里士多德（Aristotle）（公元前384—322），古希臘偉大的哲學(xué)家、思想家，研究人類思維規(guī)律的鼻祖，為形式邏輯奠定了基礎(chǔ)，提出了推理方法，給出了形式邏輯的一些基本定律，創(chuàng)造了三段論法。培根（Bacon）（1561—1626），英國哲學(xué)家和自然科學(xué)家，系統(tǒng)提出了歸納法，成為和亞里士多德的演繹法相輔相成的思維法則。他強調(diào)了知識的重要作用，指出“知識就是力量”。二、人工智能的誕生7人工智能學(xué)科的誕生經(jīng)歷了漫長的歷史過程。歷史上一些偉大的科學(xué)萊布尼茨（Leibnitz）（1646—1716），德國數(shù)學(xué)家和哲學(xué)家，提出了關(guān)于數(shù)理邏輯的思想，即把形式邏輯符號化，從而對人的思維進行運算和推理的思想。布爾（Boole）（1815—1864），英國數(shù)學(xué)家、邏輯學(xué)家。他的主要貢獻是初步實現(xiàn)了萊布尼茨關(guān)于思維符號化和數(shù)學(xué)化的思想，提出了一種嶄新的代數(shù)系統(tǒng)——布爾代數(shù)，凡是傳統(tǒng)邏輯能處理的問題，布爾代數(shù)都能處理。8萊布尼茨（Leibnitz）（1646—1716），德國歌德爾（G?del）（1906—1978），美籍奧地利數(shù)理邏輯學(xué)家，他研究數(shù)理邏輯中的一些帶根本性的問題，即形式系統(tǒng)的完備性和可判定性問題，指出了把人的思維形式化和機械化的某些極限，在理論上證明了有些事情是機器做不到的。9歌德爾（G?del）（1906—1978），美籍奧地利數(shù)圖靈（Turing）（1912—1954），英國數(shù)學(xué)家。他于1936年提出了一種理想計算機的數(shù)學(xué)模型（圖靈機），現(xiàn)已公認，所有可計算函數(shù)都能用圖靈機計算，這為電子計算機的構(gòu)建提供了理論根據(jù)。1950年，他還提出了著名的“圖靈實驗”，給智能的標準提供了明確的定義。幾位為現(xiàn)代電子計算機誕生作出杰出貢獻的科學(xué)家帕斯卡（Pascal）（1623—1662，法國物理學(xué)家和數(shù)學(xué)家）——制成世界上第一臺會演算的機械加法機（1642）。萊布尼茨（Leibnitz）（1646—1716，德國數(shù)學(xué)家和哲學(xué)家）——在帕斯卡的加法機的基礎(chǔ)上制成了可進行四則運算的計算器（1673）。巴比奇（Babbage）（1791—1871，英國數(shù)學(xué)家）——制成可用來計算簡單數(shù)學(xué)表的差分機，并提出分析機（能自動完成各種類型數(shù)字計算）的設(shè)計思想（1832）。10圖靈（Turing）（1912—1954），英國數(shù)學(xué)家。馮·諾依曼（JohnvonNeumann）（1903—1957，美籍匈牙利數(shù)學(xué)家），提出了以二進制和程序存儲控制為核心的通用電子數(shù)字計算機體系結(jié)構(gòu)原理，奠定了現(xiàn)代電子計算機體系結(jié)構(gòu)的基礎(chǔ)。莫克利（J.W.Mauchly）（1907—1980，美國數(shù)學(xué)家）和他的學(xué)生埃克特（J.P.Eckert），于1946年研制成功了世界上第一臺通用電子數(shù)字計算機ENIAC。麥卡錫（McCarthy），美國數(shù)學(xué)家、計算機科學(xué)家，“人工智能之父”。1956年夏，在美國的達特茅斯（Dartmouth）學(xué)院，由McCarthy（斯坦福大學(xué)數(shù)學(xué)助教）、Minsky（哈佛大學(xué)數(shù)學(xué)和神經(jīng)學(xué)家）、Lochester（IBM公司）、Shannon（貝爾實驗室）四人共同發(fā)起，邀請IBM公司的More、Samuel，MIT的Selfridge、Solomonff，還有Simon、Newell等人參加學(xué)術(shù)討論班，在一起共同學(xué)習(xí)和探討用機器模擬智能的各種問題，在會上，經(jīng)McCarthy提議，決定使用“人工智能”一詞來概括這個研究方向。這次具有歷史意義的會議標志著人工智能這個學(xué)科的正式誕生。11馮·諾依曼（JohnvonNeumann）（1903三、人工智能的研究途徑和方法結(jié)構(gòu)模擬，神經(jīng)計算通過模擬人腦的生理結(jié)構(gòu)和工作機理，實現(xiàn)機器智能，又稱為微觀人工智能，這派學(xué)者被稱為生理學(xué)派、連接主義具體來說，是用人工神經(jīng)元網(wǎng)絡(luò)來模擬人的大腦，實現(xiàn)知識的獲取、存儲和利用神經(jīng)網(wǎng)絡(luò)的特點——并行性、魯棒性、容錯性，擅長模擬人腦的形象思維（感知、聯(lián)想）12三、人工智能的研究途徑和方法結(jié)構(gòu)模擬，神經(jīng)計算12功能模擬，符號推演通過建立人腦的心理模型，將知識和推理規(guī)則表示為物理符號系統(tǒng)，來模擬人腦的學(xué)習(xí)、搜索、推理和決策等功能，實現(xiàn)機器智能，又稱為宏觀人工智能，這派學(xué)者被稱為心理學(xué)派、邏輯學(xué)派、符號主義該類系統(tǒng)由兩部分構(gòu)成：知識庫和推理規(guī)則特點——擅長模擬人腦的邏輯思維（推理、決策），如機器推理、定理證明、專家系統(tǒng)等***上面兩條路線可取長補短、互相結(jié)合13功能模擬，符號推演13行為模擬，控制進化認為智能取決于感知和行為，提出智能行為的感知-行為模型認為智能不需要知識、不需要表示、不需要推理認為人工智能可以象人類智能一樣逐步進化認為智能行為只能在現(xiàn)實世界中與周圍環(huán)境的交互作用過程中表現(xiàn)出來這派學(xué)者被稱為控制論學(xué)派、行為主義、進化主義，代表人物是MIT的Brooks14行為模擬，控制進化14四、人工智能的研究課題基礎(chǔ)研究課題知識獲?。C器學(xué)習(xí)）知識表達搜索技術(shù)機器推理15四、人工智能的研究課題基礎(chǔ)研究課題15應(yīng)用研究課題定理證明專家系統(tǒng)和知識工程機器視覺自然語言理解智能決策智能控制機器人……人工智能程序設(shè)計語言研究16應(yīng)用研究課題16人工智能學(xué)科誕生至今已有40幾年的歷史，幾十年來人工智能的發(fā)展既取得了很多成果，也遭受過巨大的挫折符號主義途徑發(fā)展概況1956年，Newell和Simon設(shè)計的程序LogicTheorist證明了《數(shù)學(xué)原理》第二章中的38條定理，經(jīng)過改進又于1963年證明了全部52條定理。1956年，Samuel研制了跳棋程序，該程序有學(xué)習(xí)功能。它在1959年打敗了Samuel本人，在1962年打敗了美國一個州的跳棋冠軍。五、人工智能的發(fā)展17人工智能學(xué)科誕生至今已有40幾年的歷史，幾十年來人工智能的發(fā)1956年Selfridge的字符識別程序，1965年Roberts的分辨積木構(gòu)造的程序，開創(chuàng)了計算機視覺的新領(lǐng)域。1958年到1959年，美籍?dāng)?shù)理邏輯學(xué)家王浩在定理機器證明方面取得了新的成就，證明了《數(shù)學(xué)原理》中有關(guān)命題邏輯和謂詞邏輯的大部分定理。從1957年開始，Newell、Shaw和Simon等人開始研究一種不依賴于具體領(lǐng)域的通用解題程序GPS（GeneralProblemSolver），經(jīng)過10年努力，結(jié)果不令人滿意。181956年Selfridge的字符識別程序，1965年1965年，Robinson提出了與傳統(tǒng)演繹法完全不同的消解法。六十年代中期，專家系統(tǒng)興起，研制成功了兩個著名的專家系統(tǒng)：DENDRAL（Feigenbaum等，能夠根據(jù)質(zhì)譜儀測量所得的數(shù)據(jù)，得出被測試高分子的分子結(jié)構(gòu)）和MYCIN（Shortliffe等，能夠診斷一個病人是否患有血液病，并開出處方）。1976年7月，美國的Appel等用三臺大型計算機，花去1200小時的CPU時間，證明了四色定理。1977年，F(xiàn)eigenbaum提出“知識工程”的概念，人工智能的研究從以推理為中心轉(zhuǎn)向以知識為中心。191965年，Robinson提出了與傳統(tǒng)演繹法完全不同的消解1958年，Newell和Simon預(yù)言：不出10年，計算機將要成為世界象棋冠軍；不出10年，計算機將要發(fā)現(xiàn)和證明重要的數(shù)學(xué)定理；不出10年，計算機將能譜寫出具有作曲家水平的樂曲；不出10年，大多數(shù)心理學(xué)理論將在計算機上形成；據(jù)此有些人斷言：80年代將是全面實現(xiàn)人工智能的年代；2000年，機器智能可以超過人。 但是，消解法、定理證明、下棋程序、機器翻譯都遇到了很大困難。201958年，Newell和Simon預(yù)言：不出10年連接主義途徑發(fā)展概況1943年，心理學(xué)家McCulloch（麥克洛奇）和數(shù)理邏輯學(xué)家Pitts（皮茲）提出了神經(jīng)元的數(shù)學(xué)模型，M-P模型，開創(chuàng)了神經(jīng)科學(xué)研究的新時代。1944年，心理與神經(jīng)生理學(xué)家Hebb提出了關(guān)于神經(jīng)元連接強度的Hebb規(guī)則，即當(dāng)相互連接的兩個神經(jīng)元都處于興奮狀態(tài)時，它們的連接強度將增強，這為神經(jīng)網(wǎng)絡(luò)學(xué)習(xí)算法的研究奠定了基礎(chǔ)。1957年Rosenblatt（羅森勃拉特）開發(fā)的單層神經(jīng)網(wǎng)絡(luò)Perceptron（感知器）和1962年Windrow提出的自適應(yīng)性元件Adaline可以解決一些實際問題，掀起了神經(jīng)網(wǎng)絡(luò)研究的第一次高潮。21連接主義途徑發(fā)展概況211969年，Minsky發(fā)表《Perceptrons》一書，指出簡單人工神經(jīng)元網(wǎng)絡(luò)的局限性（感知機只能解決一階謂詞邏輯問題，不能解決高階謂詞問題），神經(jīng)網(wǎng)絡(luò)研究陷入低潮。70年代末，符號主義途徑在模仿人的感知能力和形象思維方面遇到了很大困難，人們將目光再次轉(zhuǎn)到神經(jīng)網(wǎng)絡(luò)研究上來。八十年代中期，神經(jīng)網(wǎng)絡(luò)研究再度興起。Hopfield（霍普菲爾德）提出了Hopfield神經(jīng)網(wǎng)絡(luò)模型，成功地解決了旅行商最優(yōu)路徑問題。這是一項突破性的工作，標志著神經(jīng)網(wǎng)絡(luò)研究高潮的又一次來臨。221969年，Minsky發(fā)表《Perceptrons》一1986年，Rumelhart和Mcclelland等人提出了多層前饋網(wǎng)絡(luò)的反向傳播算法，簡稱BP網(wǎng)絡(luò)或BP算法，解決了一些感知機不能解決的問題。1987年6月，第一屆國際神經(jīng)網(wǎng)絡(luò)會議召開，會上竟提出了“人工智能已經(jīng)死亡，神經(jīng)網(wǎng)絡(luò)萬歲（AIisdead.LongliveNeuralNetworks）”的口號?，F(xiàn)在，神經(jīng)網(wǎng)絡(luò)與專家系統(tǒng)和知識工程已成為人工智能的兩大主流研究方向。231986年，Rumelhart和Mcclelland等人工智能導(dǎo)論24人工智能導(dǎo)論1第1講緒論人工智能技術(shù)與空間技術(shù)、原子能技術(shù)一起被譽為20世紀的三大科學(xué)技術(shù)成就。25第1講緒論人工智能技術(shù)與一、什么是人工智能?智能（Intelligence）：認知、識別、推理、決策、規(guī)劃、解決問題、適應(yīng)、學(xué)習(xí)、理解等內(nèi)在而天然的才能。認識和理解世界環(huán)境的能力進行演繹和歸納推理、作出決策的能力學(xué)習(xí)的能力自我適應(yīng)的能力26一、什么是人工智能?智能（Intelligence）：3智能是一種能力，即在給定問題-環(huán)境-目的的條件下，有針對性地獲取和合理地處理問題與環(huán)境的信息，在此基礎(chǔ)上結(jié)合目的信息明智地再生策略信息，并在給定環(huán)境條件下正確地利用策略信息成功地解決問題，滿意地達到預(yù)定目的的能力。人工智能（ArtificialIntelligence，簡稱AI）定義之一：人工智能是研究如何制造出人造的智能機器或智能系統(tǒng)，來模擬人類的智能活動，以延伸人們智能的科學(xué)。27智能是一種能力，即在給定問題-環(huán)境-目的的條件下，有針對性地人工智能定義之二：人工智能是計算機科學(xué)的一個分支，是研究使計算機表現(xiàn)出人類智能的學(xué)科。它涉及計算機科學(xué)、腦科學(xué)、神經(jīng)生理學(xué)、心理學(xué)、哲學(xué)、語言學(xué)、邏輯學(xué)、信息論、控制論等多個學(xué)科，是一門綜合性的交叉和邊緣學(xué)科。人工智能定義之三：人工智能是一門以知識為核心的，研究知識的獲取、知識的表達、知識的使用的科學(xué)。28人工智能定義之二：5怎樣才能說機器（計算機）擁有了智能？1950年，圖靈提出了著名的“圖靈實驗”：讓一個人和一臺計算機分處兩個不同的房間，另有一主持人向他們提出問題，如果主持人通過聽取對問題的回答分辨不出哪個是人的回答，哪個是計算機的回答，便認為被實驗的計算機有了智能。29怎樣才能說機器（計算機）擁有了智能？1950年，圖靈提人工智能學(xué)科的誕生經(jīng)歷了漫長的歷史過程。歷史上一些偉大的科學(xué)家和思想家對此作出了巨大的貢獻，為今天的人工智能研究作了長足和充分的準備亞里士多德（Aristotle）（公元前384—322），古希臘偉大的哲學(xué)家、思想家，研究人類思維規(guī)律的鼻祖，為形式邏輯奠定了基礎(chǔ)，提出了推理方法，給出了形式邏輯的一些基本定律，創(chuàng)造了三段論法。培根（Bacon）（1561—1626），英國哲學(xué)家和自然科學(xué)家，系統(tǒng)提出了歸納法，成為和亞里士多德的演繹法相輔相成的思維法則。他強調(diào)了知識的重要作用，指出“知識就是力量”。二、人工智能的誕生30人工智能學(xué)科的誕生經(jīng)歷了漫長的歷史過程。歷史上一些偉大的科學(xué)萊布尼茨（Leibnitz）（1646—1716），德國數(shù)學(xué)家和哲學(xué)家，提出了關(guān)于數(shù)理邏輯的思想，即把形式邏輯符號化，從而對人的思維進行運算和推理的思想。布爾（Boole）（1815—1864），英國數(shù)學(xué)家、邏輯學(xué)家。他的主要貢獻是初步實現(xiàn)了萊布尼茨關(guān)于思維符號化和數(shù)學(xué)化的思想，提出了一種嶄新的代數(shù)系統(tǒng)——布爾代數(shù)，凡是傳統(tǒng)邏輯能處理的問題，布爾代數(shù)都能處理。31萊布尼茨（Leibnitz）（1646—1716），德國歌德爾（G?del）（1906—1978），美籍奧地利數(shù)理邏輯學(xué)家，他研究數(shù)理邏輯中的一些帶根本性的問題，即形式系統(tǒng)的完備性和可判定性問題，指出了把人的思維形式化和機械化的某些極限，在理論上證明了有些事情是機器做不到的。32歌德爾（G?del）（1906—1978），美籍奧地利數(shù)圖靈（Turing）（1912—1954），英國數(shù)學(xué)家。他于1936年提出了一種理想計算機的數(shù)學(xué)模型（圖靈機），現(xiàn)已公認，所有可計算函數(shù)都能用圖靈機計算，這為電子計算機的構(gòu)建提供了理論根據(jù)。1950年，他還提出了著名的“圖靈實驗”，給智能的標準提供了明確的定義。幾位為現(xiàn)代電子計算機誕生作出杰出貢獻的科學(xué)家帕斯卡（Pascal）（1623—1662，法國物理學(xué)家和數(shù)學(xué)家）——制成世界上第一臺會演算的機械加法機（1642）。萊布尼茨（Leibnitz）（1646—1716，德國數(shù)學(xué)家和哲學(xué)家）——在帕斯卡的加法機的基礎(chǔ)上制成了可進行四則運算的計算器（1673）。巴比奇（Babbage）（1791—1871，英國數(shù)學(xué)家）——制成可用來計算簡單數(shù)學(xué)表的差分機，并提出分析機（能自動完成各種類型數(shù)字計算）的設(shè)計思想（1832）。33圖靈（Turing）（1912—1954），英國數(shù)學(xué)家。馮·諾依曼（JohnvonNeumann）（1903—1957，美籍匈牙利數(shù)學(xué)家），提出了以二進制和程序存儲控制為核心的通用電子數(shù)字計算機體系結(jié)構(gòu)原理，奠定了現(xiàn)代電子計算機體系結(jié)構(gòu)的基礎(chǔ)。莫克利（J.W.Mauchly）（1907—1980，美國數(shù)學(xué)家）和他的學(xué)生?？颂兀↗.P.Eckert），于1946年研制成功了世界上第一臺通用電子數(shù)字計算機ENIAC。麥卡錫（McCarthy），美國數(shù)學(xué)家、計算機科學(xué)家，“人工智能之父”。1956年夏，在美國的達特茅斯（Dartmouth）學(xué)院，由McCarthy（斯坦福大學(xué)數(shù)學(xué)助教）、Minsky（哈佛大學(xué)數(shù)學(xué)和神經(jīng)學(xué)家）、Lochester（IBM公司）、Shannon（貝爾實驗室）四人共同發(fā)起，邀請IBM公司的More、Samuel，MIT的Selfridge、Solomonff，還有Simon、Newell等人參加學(xué)術(shù)討論班，在一起共同學(xué)習(xí)和探討用機器模擬智能的各種問題，在會上，經(jīng)McCarthy提議，決定使用“人工智能”一詞來概括這個研究方向。這次具有歷史意義的會議標志著人工智能這個學(xué)科的正式誕生。34馮·諾依曼（JohnvonNeumann）（1903三、人工智能的研究途徑和方法結(jié)構(gòu)模擬，神經(jīng)計算通過模擬人腦的生理結(jié)構(gòu)和工作機理，實現(xiàn)機器智能，又稱為微觀人工智能，這派學(xué)者被稱為生理學(xué)派、連接主義具體來說，是用人工神經(jīng)元網(wǎng)絡(luò)來模擬人的大腦，實現(xiàn)知識的獲取、存儲和利用神經(jīng)網(wǎng)絡(luò)的特點——并行性、魯棒性、容錯性，擅長模擬人腦的形象思維（感知、聯(lián)想）35三、人工智能的研究途徑和方法結(jié)構(gòu)模擬，神經(jīng)計算12功能模擬，符號推演通過建立人腦的心理模型，將知識和推理規(guī)則表示為物理符號系統(tǒng)，來模擬人腦的學(xué)習(xí)、搜索、推理和決策等功能，實現(xiàn)機器智能，又稱為宏觀人工智能，這派學(xué)者被稱為心理學(xué)派、邏輯學(xué)派、符號主義該類系統(tǒng)由兩部分構(gòu)成：知識庫和推理規(guī)則特點——擅長模擬人腦的邏輯思維（推理、決策），如機器推理、定理證明、專家系統(tǒng)等***上面兩條路線可取長補短、互相結(jié)合36功能模擬，符號推演13行為模擬，控制進化認為智能取決于感知和行為，提出智能行為的感知-行為模型認為智能不需要知識、不需要表示、不需要推理認為人工智能可以象人類智能一樣逐步進化認為智能行為只能在現(xiàn)實世界中與周圍環(huán)境的交互作用過程中表現(xiàn)出來這派學(xué)者被稱為控制論學(xué)派、行為主義、進化主義，代表人物是MIT的Brooks37行為模擬，控制進化14四、人工智能的研究課題基礎(chǔ)研究課題知識獲?。C器學(xué)習(xí)）知識表達搜索技術(shù)機器推理38四、人工智能的研究課題基礎(chǔ)研究課題15應(yīng)用研究課題定理證明專家系統(tǒng)和知識工程機器視覺自然語言理解智能決策智能控制機器人……人工智能程序設(shè)計語言研究39應(yīng)用研究課題16人工智能學(xué)科誕生至今已有40幾年的歷史，幾十年來人工智能的發(fā)展既取得了很多成果，也遭受過巨大的挫折符號主義途徑發(fā)展概況1956年，Newell和Simon設(shè)計的程序LogicTheorist證明了《數(shù)學(xué)原理》第二章中的38條定理，經(jīng)過改進又于1963年證明了全部52條定理。1956年，Samuel研制了跳棋程序，該程序有學(xué)習(xí)功能。它在1959年打敗了Samuel本人，在1962年打敗了美國一個州的跳棋冠軍。五、人工智能的發(fā)展40人工智能學(xué)科誕生至今已有40幾年的歷史，幾十年來人工智能的發(fā)1956年Selfridge的字符識別程序，1965年Roberts的分辨積木構(gòu)造的程序，開創(chuàng)了計算機視覺的新領(lǐng)域。1958年到1959年，美籍?dāng)?shù)理邏輯學(xué)家王浩在定理機器證明方面取得了新的成就，證明了《數(shù)學(xué)原理》中有關(guān)命題邏輯和謂詞邏輯的大部分定理。從1957年開始，Newell、Shaw和Simon等人開始研究一種不依賴于具體領(lǐng)域的通用解題程序GPS（GeneralProblemSolver），經(jīng)過10年努力，結(jié)果不令人滿意。411956年Selfridge的字符識別程序，1965年1965年，Robinson提出了與傳統(tǒng)演繹法完全不同的消解法。六十年代中期，專家系統(tǒng)興起，研制成功了兩個著名的專家系統(tǒng)：DENDRAL（Feigenbaum等，能夠根據(jù)質(zhì)譜儀測量所得的數(shù)據(jù)，得出被測試高分子的分子結(jié)構(gòu)）和MYCIN（Shortliffe等，能夠診斷一個病人是否患有血液病，并開出處方）。1976年7月，美國的Appel等用三臺大型計算機，花去1200小時的CPU時間，證明了四色定理。1977年，F(xiàn)eigenbaum提出“知識工程”的概念，人工智能的研究從以推理為中心轉(zhuǎn)向以知識為中心。421965年，Robinson提出了與傳統(tǒng)演繹法完全不同的消解1958年，Newell和Simon預(yù)言：不出10年，計算機將要成為世界象棋冠軍；不出10年，計算機將要發(fā)現(xiàn)和證明重要的