智慧的疆界pdf百度云(智慧的疆界从图灵机到人工智能 下载)

本文节选自《智慧的疆界》电子版：

44”第一部分“以智慧创造智慧普遍的认可，随着学界对人工智能提法的承认，司马贺、纽厄尔等人也不得不逐渐接受了这个叫法。司马贺他老人家晚年还写了本书，名叫《人工的科学》(ThbeScienceofArtificial)，倒是把“Artificial”这个词的范围更加放大了。前面提过，在达特茅斯会议众人的分享中,公认的最有价值的成果是纽厄尔和司马贺的报告，他们在会议报告中公布了一款名为“逻辑理论家”(LogicTheorist)的人工智能程序，能自动证明风素的《数学原理》第2章52条定理中的38条呈，其中一部分机器给出的证明(如定理2.85)要比罗素在书中给出的还更加优雅简洁。这份报告现在是人工智能诞生初期最有学术价值的文章之一，但是当年也是有段悲惨遭遇的，纽厄尔和司马贺最早是把文章投给逻辑学最权威的刊物《符号逻辑杂志》的，但惨遭主编克里尼退稿，理由是:“把一本过时的逻辑书里的定理用机器重新证明一遍没啥意思。”后来纽厄尔和司马贺给罗素写信报告逻辑理论家的证明成果，罗素又不威不淡地回复说:“我相信演绎四辑里的所有事，机器都能干。”然后就没有下文了,把纽厄尔和司马贺大得很郁闷。直到他们在达特茅斯会议上公开了“逻辑理论家”程序和论文后，这项成果才终于引起了学界广泛关注，后来这个程序火了之

智慧的疆界PDF下载

后，学界又对“逻辑理论家”是否算“首个人工智能程序”8以及它是否能算开创了“计算机定理证明”这个人工智能的分支学科大吵了几轮。怠在1959年，洛克非勒大学教授王浩(华人，1983年定理证明里程碑大奖得主)使用“王算法”在IBM704计算机上仅用9分钟就证明了《数学原理》全书中属于一阶逻辑的全部350条定理。在1963年，改进后的逻辑理论家也可以证明《数学原理》第2章的全部52条定理了。四马哈雷特\'博登的《MindasMachine:AHistoryofCognitiveScience》(第2卷)中专门谈到了这个事情，借向于不认同“逻辑理论家”是第一个人工智能程序的提法，因为虽然人工智能这个词以前还设出现，但要因这个原因而否定之前那么多程序(如本书中提到的塞纱尔的跳棋程序)是属于人工智能范畴并不合适。候玉浩对“逮辑理论家”就一直持不认同的态度，他认为这是一个不专业的东西。后来司马贺的回忆录中对王浩表示了不满，认为王洗没有理解“多辑理论家”的设计初衷，其目的并不是证明定理，而是研究人的行为。第2章返向人工智能“45司马贺〔(左)和纽龙尔(右)再说回他们四人间的竞争，达特茅斯会议里纽厄尔、司马贺和麦卡锡、明斯基的竞争痕迹就已经发展到了几乎毫不掩饰的程度。纽厄尔和司马贺在达特茅斯只待了

智慧的疆界epub 百度云

一周时间就离开了，一是由于他们应邀参会时就已经说了大约只会去两周左右，另外一个关键因素是他们觉得这个会上只有他们拿了干货出来，其他人要么是在“打痪油”，要么就是拿着过时的东西来糊弄，这里含沙射影暗示的就是明斯基那个自动走迷宫的SNARC-。根据纽厄尔后来回忆录的描述，他自己直言不讳地说达特茅斯会议对他和司马贺并没有什么启发和帮助。不过明斯基在后来对纽厄尔和司马贺的“逻辑理论家”的评价倒是挺高，支持说那是“第一个可工作的人工智能程序”。但事实上，他当时为大会写的总结里对“逻辑理论家”的记录只能以“轻描淡写、一笔带过”来形容，刻意淡化的意图非常明显。对于麦卡锡和明斯基来说，达特茅斯会议是他们发起的，旨在创立一门新学科。但纽厄尔和司马贺却抢了他们的风头。美国20世纪50年代的学术氛围也不免浮躁，这四人里，纽厄尔、明斯基和麦卡锡是同年人(1927年出生)，当时都才29岁，司马贺比他们三个大11岁，但也就刚到40岁，都能算青年，所以他们年轻气盛、野心十足，有争论有摩擦，追名逐利这些都可以理解。达特茅斯会议结束后一个月(1956年9月)，美国无线电工程师协会(IRE)在麻省理工学院召开信息论年会，会上麦卡锡被邀请对刚结束的达特茅斯会议做总结报告，这引起了纽厄尔和司马贺的极度不满，他们认为

智慧的疆界概述

综上：智慧的疆界从图灵机到人工智能 下载值得推荐阅读