人工智能概述59

人工智能導(dǎo)論福州大學(xué)軟件學(xué)院陳家瑞jrchen@126.com一、課程程的性質(zhì)質(zhì)，內(nèi)容容人工智能能是一門門涉及面面較寬的的綜合性性學(xué)科，，與數(shù)學(xué)學(xué)、計(jì)算算機(jī)科學(xué)學(xué)、思維維科學(xué)、、神經(jīng)生生理學(xué)、、心理學(xué)學(xué)等多種種學(xué)科都都有密切切的聯(lián)系系，需要要多方面面的知識(shí)識(shí)。人工工智能是是一門不不斷有新新理論、、新思想想涌現(xiàn)的的前沿性性學(xué)科。。通過學(xué)習(xí)習(xí)掌握人人工智能能的基本本理論知知識(shí)、了了解人工工智能各各個(gè)領(lǐng)域域內(nèi)容及及其的發(fā)發(fā)展?fàn)顩r況；掌握握各種推推理策略略和方法法、人工工智能的的知識(shí)表表示方法法；了解解并掌握握智能計(jì)計(jì)算主要要觀點(diǎn)與與算法；；掌握機(jī)機(jī)器學(xué)習(xí)習(xí)概念及及其算法法、了解解數(shù)據(jù)挖挖掘的基基本概念念和內(nèi)容容。二、參考考資料《人工智智能導(dǎo)論論》馬少少平，朱朱小燕著著清清華大學(xué)學(xué)出版社社《人工智智能:一一種現(xiàn)代代的方法法(第二二版)》》羅素，，諾維格格著清清華大大學(xué)出版版社《人工智智能－復(fù)復(fù)雜問題題求解的的結(jié)構(gòu)和和策略》》（第四四版）GeorgeF..Luger機(jī)機(jī)械工工業(yè)出版版社《人工智智能及其其應(yīng)用》》（第三三版）蔡蔡自興興等清清華大學(xué)學(xué)出版社社《知識(shí)發(fā)現(xiàn)現(xiàn)》史史忠植植清清華華大學(xué)出出版社《游戲開開發(fā)中的的人工智智能》DavidM.Bourg&&GlennSeemann著著東東南大大學(xué)出版版社云松鑾仙玉骨骨寒，松虬雪友友繁。大千收眼眼底，斯調(diào)不同同凡。（無題））家住閩山山東復(fù)東東,其中歲歲歲有鶯啼啼。如今不在在鶯啼處處,鶯在舊時(shí)時(shí)啼處啼啼。（無題））白沙平舟舟夜?jié)暵?，春日曉露露路相逢逢。朱樓寒雨雨離歌淚淚，不堪腸斷斷雨乘風(fēng)風(fēng)。BetrayalDaveStriverlovedtheuniversity..Heloveditsivy--coveredclocktowers,itsancientandsturdybrick,anditssun--splashedverdantgreensandeageryouth.Healsolovedthefactthattheuniversityisfreeofthestarkunforgivingtrialsofthebusinessworld--onlythisisn''tafact::Academiahasitsowntests,andsomeareasmercilessasanyinthemarketplace..Aprimeexampleisthedissertationdefense::ToearnthePhD,tobecomeadoctor,onemustpassanoralexaminationonone'sdissertation.ThiswasatestProfessorEdwardHartenjoyedgiving.Davewanteddesperatelytobeadoctor.Butheneededthesignaturesofthreepeopleonthefirstpageofhisdissertation,thepricelessinscriptionsthat,together,,wouldcertifythathehadpassedhisdefense.OneofthesignatureshadtocomefromProfessorHart,andHarthadoftensaid--toothersandtohimself--thathewashonoredtohelpDavesecurehiswell--earneddream.Wellbeforethedefense,StrivergaveHartapenultimatecopyofhisthesis..HartreaditandtoldDavethatitwasabsolutelyfirstrate,andthathewouldgladlysignitatthedefense..TheyevenshookhandsinHart'sbook-linedoffice..DavenoticedthatHart''seyeswerebrightandtrustful,andhisbearingpaternal.Atthedefense,Davethoughtthatheeloquentlysummarizedchapter3ofhisdissertation.Thereweretwoquestions,,onefromProfessorRodmanandonefromDr.Teer;Daveansweredboth,,apparentlytoeveryone''ssatisfaction..Therewerenofurtherobjections.ProfessorRodmansigned.HeslidthetometoTeer;shetoosigned,andthensliditinfrontofHart.Hartdidn''tmove."Ed??"Rodmansaid.Hartstillsatmotionless.Davefeltslightlydizzy.."Edward,areyougoingtosign??"Later,Hartsataloneinhisofficeinhisbigleatherchair,,saddenedbyDave''sfailure.HetriedtothinkofwayshecouldhelpDaveachievehisdream.背叛戴夫·斯特賴維維爾喜愛愛這所大大學(xué)。他他喜愛校校園里爬爬滿常青青藤的鐘鐘樓，那那古色古古香而又又堅(jiān)固的的磚塊，，還有那那灑滿陽陽光的碧碧綠草坪坪和熱情情的年輕輕人。使使他感到到欣慰的的還有這這樣一件件事，即即大學(xué)里里完全沒沒有商場(chǎng)場(chǎng)上那些些冷酷無無情的考考驗(yàn)——但事實(shí)恰恰恰并非非如此：：做學(xué)問問也要通通過考試試，而且且有的考考試與市市場(chǎng)上的的考驗(yàn)一一樣不留留情面。。最好的的例子就就是論文文答辯：：為了取取得博士士學(xué)位，，為了成成為博士士，博士士生必須須通過論論文的口口試，愛愛德華·哈特教授授就喜歡歡主持這這樣的答答辯考試試。戴夫迫切切希望成成為一名名博士。。但他需需要讓３３個(gè)人在在他論文文的第一一頁上簽簽上他們們的名字字，這３３個(gè)千金金難買的的簽名能能夠證明明他通過過了答辯辯。其中中一個(gè)簽簽名是哈哈特教授授的。哈哈特常常常對(duì)戴夫夫本人和和其他人人說，對(duì)對(duì)于幫助助戴夫?qū)崒?shí)現(xiàn)他應(yīng)應(yīng)該有的的夢(mèng)想，，他感到到很榮幸幸。答辯之前前，斯特特賴維爾爾早早給給哈特送送去了他他論文的的倒數(shù)第第二稿。。哈特閱閱讀后告告訴戴夫夫，論文文水平絕絕對(duì)一流流，答辯辯時(shí)他會(huì)會(huì)很高興興地在論論文上簽簽名。在在哈特那那四壁擺擺滿書櫥櫥的辦公公室里，，兩人甚甚至還握握了手。。戴夫注注意到，，哈特兩兩眼放光光，充滿滿信任，，神情宛宛如慈父父一般。。在答辯時(shí)時(shí)，戴夫夫覺得自自己流利利地概括括了論文文的第三三章。評(píng)評(píng)審者提提了兩個(gè)個(gè)問題，，一個(gè)是是羅德曼曼教授提提的，另另一個(gè)是是蒂爾博博士提的的。戴夫夫分別做做了回答答，并且且顯然讓讓每個(gè)人人都心悅悅誠服，，再?zèng)]有有人提出出異議。。羅德曼教教授簽了了名。他他把論文文推給蒂蒂爾，她她也簽上上了名字字，接著著便把本本子推到到了哈特特跟前。。哈特沒沒有動(dòng)。?！皭鄣氯A華？”羅羅德曼問問道。哈特仍然然坐在那那兒，毫毫無表情情。戴夫夫感到有有點(diǎn)眩暈暈。“愛愛德華，，你打算算簽名嗎嗎？”過后，哈哈特一個(gè)個(gè)人呆在在辦公室室里，坐坐在那張張寬大的的皮椅里里，他為為戴夫未未能通過過答辯感感到難過過。他試試圖想出出幫助戴戴夫?qū)崿F(xiàn)現(xiàn)他夢(mèng)想想的辦法法。IBM的的“深藍(lán)藍(lán)”北京時(shí)間間1997年5月12日凌晨晨4點(diǎn)50分，，美國(guó)紐紐約公平平大廈，，當(dāng)IBM公司司的“深深藍(lán)”超超級(jí)電腦腦將棋盤盤上的一一個(gè)兵走走到C4的位置置上時(shí)，，國(guó)際象象棋世界界冠軍卡卡斯帕羅羅夫?qū)Α啊吧钏{(lán)””的人機(jī)機(jī)大戰(zhàn)落落下帷幕幕，“深深藍(lán)”以以3..5：2.5的的總比分分戰(zhàn)勝卡卡斯帕羅羅夫。正在與深深藍(lán)下棋棋的卡斯斯帕羅夫夫IBM的的“深藍(lán)藍(lán)”（續(xù)續(xù)1）96年2月第一一次比賽賽結(jié)果：：“深藍(lán)””：勝、、負(fù)、平平、平、、負(fù)、負(fù)負(fù)97年5月第二二次比賽賽結(jié)果：：“深藍(lán)””：負(fù)、、勝、平平、平、、平、勝勝IBM的的“深藍(lán)藍(lán)”（續(xù)續(xù)2）“深藍(lán)””的技術(shù)術(shù)指標(biāo)：：32個(gè)CPU每個(gè)CPU有16個(gè)協(xié)協(xié)處理器器每個(gè)CPU有256M內(nèi)存每個(gè)CPU的處處理速度度為200萬步步/秒智能汽車車智能技術(shù)術(shù)與系統(tǒng)統(tǒng)國(guó)家重重點(diǎn)實(shí)驗(yàn)驗(yàn)室研制制的智能能汽車在高速公公路上，，該汽車車可以自自動(dòng)識(shí)別別道路，，自動(dòng)躲躲避障礙礙物在最近的的實(shí)驗(yàn)中中，平均均速度為為100公里，，最高速速度達(dá)到到了150公里里，達(dá)到到了世界界先進(jìn)水水平。智能交通通圖像識(shí)別別系統(tǒng)四色定理理的證明明四色定理理從1852年發(fā)發(fā)現(xiàn)四色色問題，，世界上上很多著著名的科科學(xué)家試試圖證明明，當(dāng)一一直未能能完成。。1976年6月月，哈肯肯在美國(guó)國(guó)伊利諾諾斯大學(xué)學(xué)的兩臺(tái)臺(tái)不同的的電子計(jì)計(jì)算機(jī)上上，用了了1200個(gè)小小時(shí)，作作了100億次次判斷，，終于完完成了四四色定理理的證明明，從而而解決了了一個(gè)歷歷時(shí)100多年年的問題題，轟動(dòng)動(dòng)了世界界。第一章緒緒論論1.1人人工智智能的定定義1.2人人工智智能的研研究目標(biāo)標(biāo)1.3人人工智能能的發(fā)展展簡(jiǎn)史1.4人人工智能能研究的的課題人類智能能人類在認(rèn)認(rèn)識(shí)世界界和改造造世界的的活動(dòng)中中表現(xiàn)出出來的能能力直覺思維維——通過視覺覺、聽覺覺、觸覺覺等感感官活動(dòng)動(dòng)，接受受并理解解文字、、圖象、、聲音和和語言等等各種外外界信息息，即認(rèn)認(rèn)識(shí)和理理解外界界環(huán)境的的能力。。理性思維維——通過人腦腦的生理理和心理理活動(dòng)以以及有關(guān)關(guān)的信息息處理過過程，將將感性知知識(shí)抽象象為理性性知識(shí)，，并能對(duì)對(duì)事物運(yùn)運(yùn)行的規(guī)規(guī)律進(jìn)行行分析、、判斷和和推理，，這就是是提出概概念、建建立方法法，進(jìn)行行演繹和和歸納推推理、作作出決策策。學(xué)習(xí)能力力——通過教育育、訓(xùn)練練和學(xué)習(xí)習(xí)過程，，日益豐豐富自身身的知識(shí)識(shí)和技能能。適應(yīng)能力力——對(duì)不斷變變化的外外界環(huán)境境能靈活活地作出出適當(dāng)?shù)牡姆磻?yīng)。。早期的AI傳說與幻幻想黃帝的““指南車車”諸葛亮的的“木牛牛流馬””850B.C古希臘的會(huì)會(huì)勞動(dòng)的的機(jī)器人人；12-13世紀(jì)西西班牙牙的神學(xué)學(xué)家試圖圖制造能能解決各各種問題題的通用用邏輯機(jī)機(jī)；嘗試與成成果17世紀(jì)法法國(guó)物物理學(xué)家家B.Pascal制成的機(jī)機(jī)械加法法器；在在其基礎(chǔ)礎(chǔ)上，德德國(guó)數(shù)學(xué)學(xué)家Leibniz制成了四四則運(yùn)算算的計(jì)算算器。1920年KarelCapek的科幻劇劇中的機(jī)機(jī)器人Roborta；1936年英國(guó)國(guó)數(shù)學(xué)家家Turning提出了圖圖靈機(jī)模模型；1938年德國(guó)國(guó)工程師師Zuse研制成了了第一臺(tái)臺(tái)累計(jì)數(shù)數(shù)字計(jì)算算機(jī)；1946年美國(guó)國(guó)誕生了了第一臺(tái)臺(tái)電子數(shù)數(shù)字計(jì)算算機(jī)ENIAC；現(xiàn)代人工工智能的的興起現(xiàn)代人工工智能（（ArtificialIntelligence，，簡(jiǎn)稱AI），，一般認(rèn)認(rèn)為起源源于美國(guó)國(guó)1956年的的一次夏夏季討論論（達(dá)特特茅斯會(huì)會(huì)議），，在這次次會(huì)議上上，第一一次提出出了“ArtificialIntelligence”這這個(gè)詞。。什么是人人工智能能◆部分學(xué)者者對(duì)人工工智能概概念的描描述：——人工智能能是那些些與人的的思維相相關(guān)的活活動(dòng)，諸諸如決策策、問題題求解和和學(xué)習(xí)等等的自動(dòng)動(dòng)化（Bellman,1978）；——人工智能能是一種種計(jì)算機(jī)機(jī)能夠思思維，使使機(jī)器具具有智力力的激動(dòng)動(dòng)人心的的新嘗試試（Haugeland,1985）；——人工智能能是研究究如何讓讓計(jì)算機(jī)機(jī)做現(xiàn)階階段只有有人才能能做得好好的事情情（RichKnight,,1991）；——人工智能能是那些些使知覺覺、推理理和行為為成為可可能的計(jì)計(jì)算的研研究（Winston,1992）；——廣義地講講，人工工智能是是關(guān)于人人造物的的智能行行為，而而智能行行為包括括知覺、、推理、、學(xué)習(xí)、、交流和和在復(fù)雜雜環(huán)境中中的行為為（Nilsson，1998）。——StuartRussell和PeterNorvig則把已有有的一些些人工智智能定義義分為4類：像人人一樣思思考的系系統(tǒng)、像像人一樣樣行動(dòng)的的系統(tǒng)、、理性地地思考的的系統(tǒng)、、理性地地行動(dòng)的的系統(tǒng)（（2003）。圖靈測(cè)試試如何知道道一個(gè)系系統(tǒng)是否否具有智智能呢？？1950年，計(jì)計(jì)算機(jī)科科學(xué)家圖圖靈提出出了著名名的“圖圖靈測(cè)試試”。希爾勒的的中文屋屋子通過了圖圖靈測(cè)試試就具有有了智能能嗎？機(jī)器是否否真的理理解了呢呢？希爾勒的的中文屋屋子人類和計(jì)計(jì)算機(jī)各各有所長(zhǎng)長(zhǎng)計(jì)算機(jī)難難以模擬擬的語音識(shí)別別自然語言言理解計(jì)算機(jī)的的強(qiáng)項(xiàng)復(fù)雜的數(shù)數(shù)值計(jì)算算大規(guī)模數(shù)數(shù)據(jù)庫管管理網(wǎng)絡(luò)信息息檢索太空飛行行器的自自動(dòng)控制制等等人工智能能的研究究目標(biāo)最終目標(biāo)標(biāo)理解人類類的智能能有效的自自動(dòng)化有效的智智能拓展展超人的智智力通用問題題求解連貫性交交談自治學(xué)習(xí)存儲(chǔ)信息息遠(yuǎn)期目標(biāo)標(biāo)：制造造智能機(jī)機(jī)器。近期目標(biāo)標(biāo)：實(shí)現(xiàn)現(xiàn)機(jī)器智智能。人工智能能發(fā)展簡(jiǎn)簡(jiǎn)史萌芽時(shí)期期（1956年以前））形成時(shí)期期（1956-1961年）發(fā)展時(shí)期期（1961年以后））萌芽時(shí)期期（1956年年以前））850B.C古希臘的的會(huì)勞動(dòng)動(dòng)的機(jī)器器人；900B.C中國(guó)古代代的歌舞舞機(jī)器人人；12-13世紀(jì)西西班牙牙的神學(xué)學(xué)家試圖圖制造能能解決各各種問題題的通用用邏輯機(jī)機(jī)；17世紀(jì)法法國(guó)物物理學(xué)家家B.Pascal制成的機(jī)機(jī)械加法法器；在在其基礎(chǔ)礎(chǔ)上，德德國(guó)數(shù)學(xué)學(xué)家Leibniz制成了四四則運(yùn)算算的計(jì)算算器。1920年KarelCapek的科幻劇劇中的機(jī)機(jī)器人Roborta；1936年英國(guó)國(guó)數(shù)學(xué)家家Turning提出了圖圖靈機(jī)模模型；1938年德國(guó)國(guó)工程師師Zuse研制成了了第一臺(tái)臺(tái)累計(jì)數(shù)數(shù)字計(jì)算算機(jī)；1946年美國(guó)國(guó)誕生了了第一臺(tái)臺(tái)電子數(shù)數(shù)字計(jì)算算機(jī)ENIAC；形成時(shí)期期（1956--1961年））1956年，在在美國(guó)Dartmouth大大學(xué)的一一次歷史史性聚會(huì)會(huì)是人工工智能學(xué)學(xué)科正式式誕生的的標(biāo)志。。有三個(gè)較較有影響響的研究究團(tuán)隊(duì)。。A.Newell、J.Shaw和和H.Simon：1957年，，邏輯理理論機(jī)LT，1960年，，通用問問題求解解器GPS，編編程的表表處理技技術(shù)和NSS國(guó)國(guó)際象棋棋機(jī)。IBM研研究小組組：A..Samuel西洋跳跳棋程序序，1962年，戰(zhàn)戰(zhàn)勝了美美國(guó)的一一個(gè)州冠冠軍。MIT研究小組組：1959年，McCarthy發(fā)明了人人工智能能主要的的語言：：LISP。1958年開發(fā)了了的行動(dòng)動(dòng)計(jì)劃咨咨詢系統(tǒng)統(tǒng)。1960年Minsky的論文：：走向人人工智能能的步驟驟。其他：1956年N.Chomsky的文法體體系、1958年Shelffridge的模式識(shí)識(shí)別系統(tǒng)統(tǒng)發(fā)展時(shí)期期（1961年年以后））符號(hào)主義義學(xué)派方方面歸結(jié)原理理推動(dòng)了了定理證證明技術(shù)術(shù)的發(fā)展展。專家家系統(tǒng)和和知識(shí)工工程技術(shù)術(shù)已應(yīng)用用到各種種計(jì)算機(jī)機(jī)應(yīng)用系系統(tǒng)中，，出現(xiàn)了了智能管管理信息息系統(tǒng)、、智能決決策支持持系統(tǒng)、、智能控控制系統(tǒng)統(tǒng)、智能能CAD系統(tǒng)、智智能CAI系統(tǒng)、智智能數(shù)據(jù)據(jù)庫系統(tǒng)統(tǒng)和智能能多媒體體系統(tǒng)等等等。知知識(shí)表示示、不確確定性推推理、機(jī)機(jī)器學(xué)習(xí)習(xí)等方面面都取得得了重大大的進(jìn)展展。連結(jié)主義義學(xué)派方方面神經(jīng)網(wǎng)絡(luò)絡(luò)在智能能控制、、語言識(shí)識(shí)別與合合成、圖圖形文字字識(shí)別、、數(shù)據(jù)壓壓縮、知知識(shí)工程程、最優(yōu)優(yōu)化問題題求解和和智能計(jì)計(jì)算機(jī)等等領(lǐng)域進(jìn)進(jìn)行了實(shí)實(shí)踐并取取得了一一系列的的成果行為主義義學(xué)派方方面Brooks等人的六六腳行走走機(jī)器人人，是一一種基于于感知-動(dòng)作模式式的模擬擬昆蟲行行為的控控制系統(tǒng)統(tǒng)。人工智能能研究的的經(jīng)典課課題自然語言言理解(naturallanguageunderstanding)數(shù)據(jù)庫智智能檢索索(intelligentretrievalfromdatabase))專家咨詢?cè)兿到y(tǒng)(expertconsultingsystem)定理機(jī)器器證明(theoremproving)博弈(gameplaying)機(jī)器人學(xué)學(xué)(robotics))自動(dòng)程序序設(shè)計(jì)(automaticprogramming)組合調(diào)度度問題(combinatorialandschedulingproblem)感知問題題(perceptionproblems)人工智能能研究的的新課題題人工神經(jīng)經(jīng)元網(wǎng)絡(luò)絡(luò)(artificialneuralnetwork)智能控制制(intelligentcontrol)智能調(diào)度度和指揮揮(intelligentschedulingandcommanding)智能決策策支持系系統(tǒng)intelligentdecisionsupportsystems))知識(shí)發(fā)現(xiàn)現(xiàn)和數(shù)據(jù)據(jù)挖掘(knowledgediscoveryindatabase/datamining)分布式人人工智能能(distributedartificialintelligence))歷史上的的人工智智能大師師下面介紹紹圖靈和和幾位獲獲得圖靈靈獎(jiǎng)的人人工智能能大師阿倫?圖靈（（AlanTuring））計(jì)算機(jī)科科學(xué)理論論的創(chuàng)始始人阿倫?圖靈（AlanTuring）1912年出生生于英國(guó)國(guó)倫敦，，1954年去去世1936年發(fā)表表論文““論可計(jì)計(jì)算數(shù)及及其在判判定問題題中的應(yīng)應(yīng)用”，，提出圖圖靈機(jī)理理論1950年發(fā)表表論文““計(jì)算機(jī)機(jī)與智能能”，闡闡述了計(jì)計(jì)算機(jī)可可以具有有智能的的想法，，提出圖圖靈測(cè)試試1966年為紀(jì)紀(jì)念圖靈靈的杰出出貢獻(xiàn)，，ACM設(shè)立圖圖靈獎(jiǎng)馬文?明斯基（（MarnivLeeMinsky）人工智能能之父框架理論論的創(chuàng)立立者首位獲得得圖靈獎(jiǎng)獎(jiǎng)的人工工智能學(xué)學(xué)者馬文?明斯基（（MarnivLeeMinsky）1927年出生生于美國(guó)國(guó)紐約1951年提出出思維如如何萌發(fā)發(fā)并形成成的基本本理論1956年達(dá)特特茅斯會(huì)會(huì)議的發(fā)發(fā)起人之之一1958年在MIT創(chuàng)創(chuàng)建世界界上第一一個(gè)AI實(shí)驗(yàn)室室1969年獲得得圖靈獎(jiǎng)獎(jiǎng)1975年首創(chuàng)創(chuàng)框架理理論約翰?麥卡錫（（JohnMcCarthy））人工智能能之父LISP語言的的發(fā)明人人首次提出出AI的的概念約翰?麥卡錫（（JohnMcCarthy））1927年出生生于美國(guó)國(guó)波士頓頓1956年發(fā)起起達(dá)特茅茅斯會(huì)議議，并提提出“人人工智能能”的概概念1958年與明明斯基一一起創(chuàng)建建世界上上第一個(gè)個(gè)人工智智能實(shí)驗(yàn)驗(yàn)室發(fā)明α－β剪枝算法法1959年開發(fā)發(fā)LISP語言言開創(chuàng)邏輯輯程序研研究，用用于程序序驗(yàn)證和和自動(dòng)程程序設(shè)計(jì)計(jì)1971年獲得得圖靈獎(jiǎng)獎(jiǎng)赫伯特?西蒙（（HerbertA.Simon）符號(hào)主義義學(xué)派的的創(chuàng)始人人愛好廣泛泛的全能能科學(xué)家家中國(guó)科學(xué)學(xué)院外籍籍院士赫伯特?西蒙(HerbertA..Simon）1916年出生生于美國(guó)國(guó)的威斯斯康辛州州1943年在匹匹茲堡大大學(xué)獲政政治學(xué)博博士學(xué)位位1969年因心心理學(xué)方方面的貢貢獻(xiàn)獲得得杰出科科學(xué)貢獻(xiàn)獻(xiàn)獎(jiǎng)1975年和他他的學(xué)生生艾倫?紐厄爾共共同獲得得圖靈獎(jiǎng)獎(jiǎng)1978年獲得得諾貝爾爾經(jīng)濟(jì)學(xué)學(xué)獎(jiǎng)1986年因行行為學(xué)方方面的成成就獲得得美國(guó)全全國(guó)科學(xué)學(xué)家獎(jiǎng)?wù)抡?0年代代至60年代初初開發(fā)了了世界上上最早的的啟發(fā)式式程序““邏輯理理論家””LT，，證明了了《數(shù)學(xué)學(xué)原理》》第二章章中的全全部52個(gè)定理理，開創(chuàng)創(chuàng)了機(jī)器器定理證證明這一一新的學(xué)學(xué)科領(lǐng)域域57年開開發(fā)了IPL((InformationProcessingLanguage)語語言，是是最早的的AI語語言。60年開開發(fā)了““通用問問題求解解系統(tǒng)””GPS66年開開發(fā)了最最早的下下棋程序序之一MATER70年發(fā)發(fā)展與完完善了語語義網(wǎng)絡(luò)絡(luò)的概念念和方法法70年代代提出了了“物