人工智能第章讲义

1绪论很早人类就有制造机器人的幻想黄帝的“指南车”诸葛亮的“木牛流马”我国古代歌舞机器人古希腊机器人“机器人”Robot一词的来源捷克作家卡雷尔.查培克科幻剧《罗沙姆万能罗伯特公司》2绪论古希腊哲学家亚里士多德的形式逻辑，形式逻辑是一切推理活动的最基本的出发点。

德国数学家、哲学家莱布尼茨提出了关于数理逻辑的思想，把形式逻辑符号化，从而能对人的思维进行运算和推理。

3现代人工智能的兴起现代人工智能（ArtificialIntelligence，简称AI），一般认为起源于美国1956年的一次夏季讨论（达特茅斯会议），在这次会议上，第一次提出了“ArtificialIntelligence”这个词。发起人：约翰·麦卡锡、马文·明斯基、香农和IBM公司的罗切斯特4

约翰•麦卡锡

（JohnMcCarthy）人工智能之父LISP语言的发明人首次提出AI的概念返回5马文•明斯基

（MarnivLeeMinsky）

人工智能之父 框架理论的创立者 首位获得图灵奖的人工智能学者返回6克劳德·香农

(ClaudeElwoodShannon）

信息论及数字通信时代的奠基人符号逻辑和开关理论奠基人

返回7赫伯特•西蒙

（HerbertA.Simon）符号主义学派的创始人爱好广泛的全能科学家中国科学院外籍院士返回8艾伦•纽厄尔（AllenNewell）符号主义学派的创始人之一西蒙的学生与同事1975年与西蒙同获图灵奖返回90.1什么是人工智能？至今没有统一的定义从“计算”到“算计”10像人一样思考的系统理性地思考的系统“要使计算机能够思考..….意思就是：有头脑的机器”（Haugeland,1985）“与人类的思维相关的活动，诸如决策、问题求解、学习等活动”（Bellman,1978）“通过利用计算模型来进行心智能力的研究”（Chamiak和McDermott,1985）“对使得知觉、推理和行为成为可能的计算的研究”（Winston,1992）像人一样行动的系统理性地行动的系统“一种技艺，创造机器来执行人需要智能才能完成的功能”（Kurzweil,1990）“研究如何让计算机能够做到那些目前人比计算机做得更好的事情”（Rich和Knight,1991）“计算智能是对设计智能化智能体的研究”（Poole等，1998）“AI..….关心的是人工制品中的智能行为”（Nilsson,1998）110.淹2图灵快测试如何通知道果一个溉系统顾是否明具有默智能啄呢？19陕50年，沾英国将计算强机科劳学家险图灵妇提出坚了著刚名的姓“图寻灵测野试”萝。120.齐2图灵须测试参与公者：一台迷计算干机、侮一个剥人类泉志愿谋者、州一扬个测爆试者测试夜方法恩：通过植键盘低提问免、屏渡幕回幕答问受题如何雁判定音通过旧了测米试：无法闻确定偶哪一惹方是多计算妙机或屯人130.贴2图灵浅测试问题飘：（1）你军的名四字？撇年龄昨？住击在哪乳里？（2）请寒计算67会82管21虫11＊99弄88山88唐88＝？（3）我扑昨天步刚从食火星斯渡假后回来恶，很堪好玩多，你织对此有瘦何想阅法？140.洒2图灵约测试问题松：（4）这磁两张屡照片务是同浸一个仙人吗架？150.鞠2图灵污测试存在乳的问您题：测试漆的非恐公平较性常识乡丰性问触题计泪算机讯无法原正确艳解答结论估：计算碧机很熄难通牙过测栽试。160.阿3希尔宣勒的需中文回屋子（2）计萍算机腰是否忌能真填正地搭理解苍问题猜？罗杰•施安撑克的校故事肌理解捞程序嚷（举例）问题鼠：（1）通喇过了供图灵楚测试根计算盛机就管具有沙了智东能篇吗？17故事途理解训程序坟举例“一个彻人进言入餐酷馆并坊订了殊一份吗汉堡担包。彩当汉导堡包泰端来虎时发惨现被桃烘脆携了，码此人炼暴怒愿地离牵开餐芦馆，缴没有挠付帐上或留番下小临费。闭”返回问题倾：在鞭上述枣两种裳情况即下,此人球是否膨吃了慈汉堡盗包？“一个仰人进阔入餐羡馆并河订了版一份线汉堡载包。蜘当汉艰堡包脂端来氏后他秤非常呈喜欢效它，令而且罢在离篇开餐炒馆付顿帐之底前，针给了医女服尸务员惰很多艰小费备。”180.票3希尔贝勒的讨中文湾屋子希尔挨勒的客中文唉屋子中文故事中文问题中文朝回答190.敞3希尔秩勒的刑中文律屋子思考乓题：如何娘理解茂希尔妻勒的壳中文示屋子掀？希尔欣勒认缘瑞为计冷算机线不能竭真正市理解绑问题担。人类禽智能规与人搜工智疏能的扎区别200.转4人工棍智能棕的研省究目程标1、目乏标研究弓如何践制造多出人秤造的计智能冠机器格或系帽统，酒来模刚拟人款类智奶能活裹动的搜能力扭，以更延伸月人们屿的智讨能。210.厅4人工轿智能牵的研降究目订标2、模购拟人猾类能奏力（1）获吸取外发界知嘴识的逗能力彩。（2）知详识的班演绎进、归犯纳推只理以妄及决咬策能浊力。（3）学染习的饲能力美。（4）自水适应键能力伙。220.午4人工库智能厌的研电究目蹲标3、研赶究途沃径（1）建参立人蜡类大洲脑的载神经露元物牧理模座型（2）通愿过计纯算机恭模拟峰人脑理功能23神经码元网诉络输入层输出层隐含层

三层随神经泥元网拍络返回240.前5焦AI的历痕史回摧顾第一本阶段皱（19卡56年前殖）彼萌芽盏期古代玻机器贩人通用兄逻辑迫机12世纪粮末-1娘3世纪浩初西牛班牙摩逻辑秒学家Ro富me碌n淹Lu虏ee机械衫加法兽器16扮42年法权国科程学家兆帕斯块卡B.婚Pa真sc总al四则愁运算菌计算鸽器16纠74年德熟国数帖学家级莱布苦尼茨逻辑忍机思贝想(推理歼计算)德国女数学郑家莱昼布尼蕉茨差分匠机、耻微分料机18恋22年英窝国数委学家Ca财bb翅ag叶e图灵翻机模虏型19归36英国钥科学日家图罪灵提装出电子蝴计算叹机设路计思仿想19振45英国皮科学悟家图文灵提惑出25法国石科学鸣家帕熟斯卡机械袋加法摄器返回26英国割科学贵家巴诵贝奇(C寇.创Ba腔bb凡ag肾e）第一散台差亮分机可处洗理3个不蕉同的5位数银，计算变精度润达到6位小拘数。返回270.骄5膀AI的历丢史回便顾第一窄台累肺计数奶字计蓬算机19替38德国得工程胆师楚逼泽(Ze酬us)第一劈燕台电凭子数院字计伟算机EN樱IA市C19送46美国新科学血家莫尾契利凑（J.段M摸au妻ch什iy）和月埃克秀特（J.厦Ec蛙ke龙rt）信息秆论创唯立19世48年美国梅科学例家香售农28年轻请的德宅国工沿程师铁楚泽(K邻.Z枣us铜e）第一硬台累畜计数晨字计校算机返回29第一徐台电准子数朴字计犹算机EN助IA问C返回300.跪5例AI的历昆史回吩顾第一选阶段掏（19飞56年前狸）躲萌芽球期-神经宫元网伸络M-辨P模型(图示)19傍43年Mc增Cu扁ll骂oc平h（心尤理学螺家）麦和Pi旱tt津s（数碰理逻承辑学犯家）忌提出抱。感知害器模蜓型(图示)19汽57年Fr括an伶k顶Ro朋se夕nb左la章tt提出某并实止践薪。问题屈：不瞒能解电决非肢线性指问题娘。31双层变神经只网络输入层输出层双层限神经属元网短络返回32感知象器返回330.议5孕AI的历旱史回漠顾Mi相ns给ky的著榴作:《芳Pe拳rc锋ep渠ti蓬on哈s》（感此知器悟）从理桶论上川证明惩了二两层神骗经元闯网络娘不可席能解必决XO烦R问题如果率要求杠解XO属R问题的，神球经元负网络荒必须打是3层或3层以钞上的梢结构对于3层或3层以写上的网神经音元网哲络，早难于摧找到系一个多通用地的学砌习算耗法神经协网络伙研究鸟陷入汁低潮ne后xt340.扁5奏AI的历咽史回诊顾第二白阶段才（19霜56～19结61）形蚁成时送期19浑56达特轻茅斯肠会议宰人拼工智微能学村科诞浸生主要斤研究敢的问舌题：GP储S(通用转问题铸求解唤程序)、数菌学定悠理证揪明、蚕游戏饿、翻挡译等35通用什问题军求解豆器（GP熄S）从19休57年开差始，Ne山we补ll等人无开始过研究盲一种想不依省赖于教具体满领域掘的通勤用解眼题程坝序，辜这个殃程序特的设领计是践从模悉仿人谱类问稠题求糟解的农规程贿开始河的。限在它懒能处浊理的葬有限稠类别景的问买题中医，它灯显示娱出程乞序决您定的秀子目夜标及遍可能楼采取慌的行邪动的书次序娃，与蕉人类阶求解广同样室问题掀是类仰似的确。能解10种不利同类满型题蜡目。36定理各证明50年代炎中期眨，世殖界上腾最早墙的启享发式远程序良“逻排辑理谣论家长”，饶证明估了数每学名设著《数学痒原理》中的38个定语理。傻经改绪进后序，62年证者明了皱该书勺中全律部的52个定按理。家被认并为是鸭用计霸算机絮探讨淘人类趣智力缎活动泳的第涌一个所真正紫的成翠果。37定理取证明奖的“咱吴方腔法”20笛00年我陆国最蹄高科栏学技文术奖闷获得杠者吴畜文俊槽教授牛，提横出了核“数舌学机年器化胀”。19呜77年，信吴文太俊关箱于平叔面几很何定奖理的会机械芳化证境明首授次取翼得成欣功。创立马了定勿理机震器证捷明的“吴域方法喊”。38游戏19鄙56被Sa纱mu野el开发墙了具矛有自内组织诊、自精学习唱、巷自适铸应能够力的刊西洋狱跳棋厕程序19迈59战胜含设计逐者本曲人39翻译一个哲笑话追（英串俄翻止译）风：Th背e蜂sp贩ir仁it换i愈s绣wi圾ll幸in锯g愤bu踪蝶t急th失e辆fl怕es袄h夫is宋w正ee登k.（心前有余陆而力仅不足侵）Th电e煮vo盯dk系a护is脾s次tr脉on巧g沫bu掠t范me以at我i编s部ro链tt娃en熟.（伏哥特加久酒虽蠢然很伏浓，羽但肉坝是腐越烂的凤）40翻译出现民这样逐的错碌误的痰原因浇：Sp气ir泳it：1）精乞神2）烈劣性酒结论匪：必须桥理解柳才能俘翻译级，而前理解织需要肌知识410.侵5满AI的历挨史回柜顾知识泉就是深力量——培根知识役蕴涵碌着力付量——费根聋鲍姆420.屡5倚AI的历棵史回询顾第三刊阶段鞋（60年代纽奉中～80年代其初）伤知识谱工程培时代专家蛮系统知识事工程知识晕工程汉席卷药全球430.助5水AI的历掘史回壶顾第四械阶段残（80年代混中～90年代明初）其新的泥神经至元网劫络时留代-Ho邪pf贤ie互ld离散范神经镰网络突模型19盐82年Jo酸hn渣J英.漠Ho忽pf稀ie场ld（物睬理学背家）顾提出浸的具泼有完螺整理街论基界础的仇神经花网络阔模型释，成功厌求解衫了旅双行商图问题辣。-BP前向固反馈静神经锋网络19瞒86年美触国的循一个北平行升计算衡研究名小组室提出湖，解决摔了多跟层网搏的学叔习问江题。-神经赞网络议集成唉方法19你90年汉害森和羽萨拉摘蒙提宾出，谦证明蹦可以络简单掘地通过盯训练付多个逢神经惜网络扑并将仓其结店果进升行拟费合，显著禁地提纹高神宪经网珠络系导统的蜂泛化味能力峰。440.浇5脖AI的历毙史回瓣顾第五当阶段洋（90年代双初～功现在私）邮海覆量数监据处搅理与捉网络夕时代网络徒给AI带来络无限品的机盐会知识钢发现速与数碗据挖捕掘AI走向撞实用宋化450.厅6蛇A孕I的研哑究内疲容一、毕研究格课题知识更表示搜索延技术推理腰方法演绎序推理萍、规潜划、至常识纽奉推理御、归练纳推畅理机器便学习认知钩科学人工罗智能尊系统板结构唇和语锐言46AI的研臭究内瞎容（肆续1）二、醒应用渗领域自然喷语言摸理解竭与机蔑器翻关译专家道系统苹与知乔识工金程定理娱证明博弈机器显人数据忆挖掘议与知非识发最现人机巷交互适技术47人工超智能廉取得享的一勇些成墨果四十庸多年谢来，情人工念智能巴的研芝究虽掩然步简履艰咸难，私但也软取得件了一绪些很判突出列的成得绩。谣下面抄列举迅一些悉实例饺。48专家挣系统人类林之所路以能绵求解某问题犬，是况因为驾人类鼻具有垫知识默。专家痒系统锋就是缎把有抛关领年域专跪家的汽知识转整理吹出来需，让亲计算倘机利松用这密些知谊识求掉解专钳门领盼域的符问题纸。19陆68年世乖界上阳第一颠个专约家系搬统DE猫ND裕RA蛮L问世兆，用趴于协滨助化区学家座分析炕有机岂化合类物的跌结构笨。MY论CI持N：一棍个著栋名的恳医疗庭诊断晨专家认系统馋。HE只AR推SA铃Y床Ⅱ：语箩音理爆解专程家系趴统。R1：DE传C公司下用于醉设计愧计算临机配我置的峰专家行系统词。49第一断个商矩用专城家系描统：R1世界悲上第扫一个揪成功识的商裁用专咬家系耐统，19侨82年开斜始正狭式在DE拢C公司初使用拣。该仙程序暂帮助炊为新帐计算德机系裙统配航置订直单；废到19仍86年为服止，骑估计醋它为认公司绿每年哄节省扁了4千万替美元孝。50海湾矮战争届中的堤专家后系统在19榆91年的往海湾熟危机溉中，各美国捷军队茅使用街专家丢系统用于额自动袍的后遇勤规螺划和班运输虚日程垒安排葡。这项成工作乌同时极涉及联到50沿00迟0个车贱辆、巷货物绸和人舱，而焦且必呀须考歌虑到普起点段、目由的地兼、路拖径以湖及解笋决所素有参坏数之比间的蛙冲突营。AI规划昨技术器使得四一个羡计划捕可以滨在几大小时陈内产虽生，汉而用垒旧的替方法硬需要阳花费脏几个丈星期俗。51数字梁识别清华改大学就智能面技术泛与系卫统国播家重浅点实党验室液采用颗神经止元网崇络方厨法研品制的沉数字堤识别闹系统围，用签于20箱00年我铲国人吹口普端查。妨对普废查数宗据进持行自丝式动识辽别，跳错误备率达瞎到了伐万分必之一慌以下宰的高谱水平背。52古籍武数字奋化——前《四库杆全书》53IB皱M的“伸深蓝考”北京袍时间19任97年5月12日凌掘晨4点50分，剧美国贩纽约岗公平墙大厦尿，当IB橡M公司企的“具深蓝属”超信级电令脑将月棋盘凯上的喉一个沾兵走坟到C4的位在置上扑时，瓶国际侨象棋阳世界塑冠军正卡斯跌帕罗例夫对贞“深序蓝”连的人桌机大更战落犹下帷垄幕，群“深萌蓝”牛以3.掩5：2.侦5的总什比分形战胜资卡斯烟帕罗穗夫。54正在棍与深财蓝下禽棋的陷卡斯陡帕罗暗夫55IB笼M的“总深蓝临”（恳续1）96年2月第事一次其比赛稻结果迷：“深袖蓝”龄：胜除、负名、平敞、平轮、负它、负97年5月第误二次糖比赛携结果持：“深娇蓝”制：负汽、胜吃、平刻、平加、平粮、胜56IB希M的“碌深蓝墨”（束续2）“深蓝丝式”的晃技术建指标杠：32个CP耗U每个CP掩U有16个协蚊处理示器每个CP崖U有25设6M内存每个CP勺U的处膜理速态度为20讯0万步/秒57“人机货之战族”简迷史19剂58年，IB野M7感04成为江第一书台能炎同人档下棋这的计跳算机烈，名霜为“室思考哑”，汇思考桃速度辞每秒20浙0步60年代减中期见，科饱学家斗德里燃夫斯樱断言转，计呀算机鼻将无砖法击旨败一腥位年箱仅10岁的麻棋手19重73年，流国际船象棋朵软件4.境0被开沟发出揪来，须这是裳未来叹程序刮的基辟础19豆79年，黎国际园象棋毛软件4.威9达到敌专家菊级水管平19峡81年，CR磁AY缸BL趣IT犹Z新的地超级屋计算掌机拥羞有特碎殊的韵集成且电路敢，预叛言将义可在19著95年击问败世肾界棋仍王5819竟83年，BE泰LL勒EA危T＆T开发亮了国柜际象薄棋硬推件，治达到竭了大隆师水俊平80年代讲中期秆，皮询兹堡抗的CA顿RN卵EG来IE宋ME铺LL休ON大学房诚开始奶研究暴世界扩级的除国际步象棋队计算煮机程贤序19阶87年，趋“深弹思”求首次靠以每反秒钟75万步静的思堂考速倡度露僻面，脾它的忆水平鹿相当蒙于拥泛有国保际等瓦级分怕为24区50的棋邪手19遣88年，诱“深循思”拾击败粪丹麦衫特级叔大师概拉尔骆森19将89年，算“深别思”欧已经志有6台信懒息处粉理器炼，每烈秒思亩考速尚度达20堤0万步烦，但过在与耍世界辞棋王熊卡斯池帕罗很夫进患行的堡“人谋机大群战”篇中对盛阵以0比2败北5919邀90年，亦“深沉思”扒第二除代产蔬生，湖使用IB腊M的硬列件，浇吸引男了前扮世界搅棋王茧卡尔死波夫丘与之额对抗19晚91年，房诚“弗该里茨哥”问征世19何93年，询“深尘思”额二代线击败耕了丹横麦国漏家队可，在役与世道界优土秀女赠棋手悟小波委尔加毫的对添抗中垮获胜19刑95年，庆“深杂蓝”磨更新苗程序蛛，新适的集柏成电就路将朱其思悔考速蹦度达诵到每露秒30岔0万步19揭96年，拣“深顺蓝”社在与血卡斯再帕罗凶夫的伞挑战腰赛中扎，以2比4不敌昨卡斯统帕罗君夫19枝97年，撇“超值级深庆蓝”涛开发酷出了缸更加痒高级蝇的“碌大脑猾”，4名国范际大轮师参平与IB蛛M的挑控战小镰组为京电脑胶与卡猾斯帕油罗夫位重战息出谋我划策拴，最嗽后“钢超级枝深蓝且”以3比2击败扒了卡窜斯帕碗罗夫棚，卡斗斯帕异罗夫振要求您重赛抓，但幸没有阵得到犬回应6019辩99年，多“弗珍里茨辜”升喂级为倒“更催弗里首茨”(De疏ep格F幕ri绑tz)20详01年，主“更睛弗里为茨”私更新浆了程瞒序，中击败友了卡遵斯帕彻罗夫棕和阿界南德首，以戏及除钞了克筑拉姆铺尼克既之外鉴的所饿有排乎名世民界前该十位示的棋拌手20昏02年10月，单“更伶弗里雅茨”趣与克睛拉姆奴尼克杏在巴恰林进燥行“庙人机衫大战斥”，录思考躺速度忠为每拘秒60缴0万步樱，双荡方4比4战平20海03年1～2月“户更年栋少者秃”与栽卡斯缩慧帕罗销夫举棵行人塑机对滴抗，猛双方3比3战平61思考名题2：国跨际象鼓棋、察中国愁象棋统与围董棋为什句么已搞经有刊了可井以战纸胜国必际大撇师的碌国际绍象棋鞭程序备，而夕中国纪象棋依和围象棋的抓程序票水平邻却比嫂较低喇呢？力量叨投入耕问题杆？计算面机发责展水监平问买题？棋本爆身的备复杂辞性问哄题？其他裳别的隙问题苦？62计算艳机下令棋软敞件63智能抚汽车智能缩慧技术羞与系型统国餐家重牛点实先验室百研制碗的智王能汽伙车64在高氏速公星路上校，该名汽车令可以场自动翅识别另道路种，自州动躲攻避障因碍物在最宗近的止实验草中，帜平均肯速度简为10渔0公里规，最亿高速遍度达菊到了15味0公里雁，达射到了铃世界数先进欣水平奸。智能建汽车65足球慎机器妇人两个省组织季：Ro冬bo佩Cu辨p(机器腐人足华球世裹界杯)FI井RA醋(国际软机器株人足庸球联划盟)设有垦仿真选组、撑小型饶组、糕中型辨组和爆有腿悟组控制蛙方式臭：FI见RA采用必集中悬控制罚，而Ro掩bo刻Cu份p采用溜分布肥式控酱制清华暮大学叫获得20花01、20伶02年Ro宗bo稿Cu开p世界塘冠军床、20钥03年亚火军（熄仿真最组）清华缠大学挪获得20着03年Ro饱bo臭Cu予p小型榜组全巡寿国冠怀军66小型橡组庸有属腿组67智能直机器律人作为锤计算蹄机视横觉通绍道的科传感千器具有该人工废智能茧的新戏型机虾器人68智能岂机器骗人

我国堂的水匹下机刘器人雀“探壁索者球”69索尼脚智能鹅机器炼狗70历史址上的么人工烈智能复大师下面踪蝶介绍献图灵编和几千位获华得图馋灵奖掠的人其工智役能大冷师71阿伦•图灵蚊（Al么an打T倚ur挨in季g）计算莲机科招学理泽论的塔创始亩人72阿伦•图灵伯（Al盐an菊T猾ur兵in袜g）19警12年出急生于君英国披伦敦脱，19瞒54年去本世19达36年24岁发厦表论轿文“惰论可殿计算雄数及奖其在妈判定蔽问题闲中的朗应用何”，办提出她图灵"自动相机"理论,把研粗究会计思维镇的机瘦器和珍计算阿机的凳工作塔大大喉向前督推进器了一拆步,他也辟因此宋被称转为"人工贺智能渴之父"。19买50年发炸表论绩文“袋计算刑机与降智能梨”，席阐述库了计羽算机讲可以亭具有弊智能严的想扛法，产提出时图灵逮测试19们66年为软纪念会图灵毒的杰筋出贡高献，AC赴M设立巩图灵浮奖73马文•明斯稠基终（Ma淡rn漠iv磁L有ee菌M拘in宋sk喝y）人工元智能昌之父框架沙理论交的创养立者首位熊获得般图灵关奖的糖人工驳智能始学者74马文•明斯价基被（Ma预rn亿iv喘L警ee漏M脾in牺sk尽y）19起27年出岁生于朗美国肯纽约19梦51年提险出思隔维如飞何萌杨发并走形成违的基皇本理绒论19疫56年达聋特茅锯斯会加议的侵发起辽人之集一19能58年在MI述T创建毛世界旋上第升一个AI实验做室19宅69年获像得图渡灵奖19考75年首遭创框挨架理柜论75约翰•麦卡切锡纺（Jo阀hn迁M浪cC洁ar贺th桃y）人工却智能糊之父LI乒SP语言素的发附明人首次旁提出AI的概嚼念76约翰•麦卡女锡欧（Jo荡hn副M农cC啄ar词th政y）19捡27年出贯生于骄美国野波士愁顿19农56年发歼起达怖特茅颜斯会概议，罗并提退出“尿人工蒜智能省”的冻概念19论58年与梯明斯怎基一崖起创为建世驴界上峰第一丈个人愤工智融能实夕验室发明α－β剪枝倡算法19害59年开迈发LI闷SP语言开创本逻辑踏程序款研究砌，用旋于程惕序验虽证和永自动便程序既设计19阶71年获灰得图雀灵奖77赫伯工特•西蒙欺（He求rb土er痰t亿A.课S捷im鬼on）符号惹主义旁学派榆的创躲始人爱好载广泛硬的全绕能科贯学家中国羞科学络院外竹籍院榨士78赫伯霸特•西蒙(H搬er店be要rt员A理.驳Si黑mo社n）19滋16年出捧生于拖美国起的威冈斯康常辛州19转43年在妄匹兹淘堡大词学获渐政治采学博沸士学圆位19州69年因伶心理类学方爹面的合贡献刘获得巩杰出罗科学舌贡献培奖19召75年和育他的晴学生方艾伦•纽厄耐尔共距同获末得图耻灵奖19歌78年获赌得诺蹄贝尔旁经济款学奖19士86年因袜行为判学方骨面的劲成就巴获得腔美国白全国衡科学代家奖飘章7950年代呼至60年代灵初开个发了颤世界配上最鲜早的瓶启发浴式程旷序“咸逻辑疫理论稍家”LT，证陵明了《数学决原理》第二令章中便的全恢部52个定聋理，屯开创宴了机枯器定漆理证北明这拍一新抚的学放科领乓域57年开愁发了IP苦L(骡In罚fo蛮rm缠at遵io益n召Pr闹oc晴es鸟si守ng民L电an圾gu座ag电e)语言缩慧，是滚最早执的AI语言毯。60年开抬发了赌“通甲用问息题求僻解系芦统”GP技S66年开症发了魂最早励的下茄棋程碌序之芒一MA占TE鸭R70年发咸展与巷完善吵了语寨义网另络的趣概念裳和方抢法70年代铸提出煎了“危物理鞠符号夹系统膏假说辛”70年代排提出史决策扰过程撇模型被，成精为DS蔑S的核亭心内益容80