作者注(第1页)
作者注
许多关于人工智能和机器学习的当代文章都存放在一个名为
“arXiv”的开放在线文档库中。arXiv中的文章使用简单的编号方案,类似于arXiv:1412。6572。我们可以通过访问https:arxiv。并输入编号(在本例中为“1412。6572”)来获取相关文章。
序言
1。tinyurl。y7zc94od
2。tinyurl。yxk3xurl
第一章 图灵的电子大脑
[1]。霍奇斯,《艾伦·图灵传:如谜的解谜者》,贝内特图书哈钦森出版社,1983年。
[2]。除了惊人的科学成就,图灵在英国还有着深远的社会影响。经过长期公开高调的运动,英国政府在2014年对他进行了赦免。不久之后,所有根据同一法律被起诉的人都获得了赦免。
[3]。这是检查质数最直观的方法,但绝不是最优雅或最有效的方法。自古以来,人们就知道埃拉托斯特尼筛法(由希腊数学家埃拉托斯特尼提出的一种简单检定质数的算法。)更为简单清晰。
[4]。此后我将不再区分图灵机和通用图灵机,都用图灵机来表述。
[5]。图灵将解决判定问题的荣耀与普林斯顿大学数学家阿隆佐·邱奇分享,后者先于图灵独立获得了一个截然不同的结果证明。然而,图灵的证明被认为是决定性的:它更直接、更完整、更易懂,而且影响巨大。他据此发明了图灵机,改变了世界。
[6]。严格地说,算法就是一种方法,而程序是一种用实际编程语言(比如Python或者Java)编码的算法。因此,算法独立于编程语言。
[7]。图灵机的编程实际上更为原始,我在这里列出的指令是典型的相对低级的编程语言,但仍然比图灵机程序所使用的抽象得多(也更容易理解)。
[8]。科尔曼和李维斯特,《算法导论》(第一版),麻省理工学院和麦格劳-希尔出版社,1990年。
[9]。图灵,《计算机器与智能》,《心智》,40,1950年,第433-460页。
[10]。这段对话是由苹果麦金塔电脑附带的ELIZA版本生成的。如果你有苹果电脑,可以自己试试。打开Applis文件夹,再打开里面的Utilties文件夹,然后双击终端应用程序图标来启动终端程序。在终端窗口会出现一大堆傻乎乎的东西,当它稳定下来以后,按Esc键(在键盘左上角),然后按X键,然后键入“doctor”,再按回车键。好啦,看看吧。但请记住:它不是真的!
[11]。tinyurl。y7nbo58p
[12]。不幸的是,文献中的术语并不精确,也不统一。大多数人似乎用“通用人工智能”指代能够产生类似人类智能行为的机器,而不关心诸如它们是否具有自我意识之类的哲学问题。从这个意义上说,通用人工智能大致相当于希尔勒所指的弱人工智能。然而,混淆视听的是,有时候这个词又被用来表示更像希尔勒所指的强人工智能。在本书中,我用它来表示弱人工智能。
[13]。tinyurl。y76xdfd9
第二章 黄金年代
[14]。其中最有影响力的技术来自约翰·麦卡锡的一种叫作分时的概念。他意识到,人们使用计算机的时候,大部分时间计算机都是空闲的,等待人们输入东西或者运行程序。他意识到这个“空闲时间”可以和其他用户共享,允许多人同时使用计算机。这个概念使昂贵的计算机得到更有效的利用。
[15]。实际上它代表“Lisp处理器”。LISP进行符号运算,而符号列表正是实现这一点的关键。
[16]。娜萨,《美丽心灵》,西蒙与舒斯特出版公司,1998年。
[17]。麦卡锡等人,《关于达特茅斯夏季人工智能研究项目的建议》,1955年(转载于《人工智能》,24(4),2006年,第12-14页)。
[18]。威诺格拉德,《理解自然语言》,学术出版社,1972年。
[19]。在语言学中,用“他”“她”和“它”等词来指代先前在对话中出现的实体,称为复指。一个试图理解或建立自然语言对话的计算机程序必须能够解决复指指代的具体对象问题,这在当今仍然是一个挑战。SHRDLU(有限的)处理回指能力被认为是突破性的。
[20]。菲克斯和尼森,《STRIPS:定理证明应用于问题求解的新途径》,《人工智能》,2(3-4),1971年,第189-208页。
[21]。控制SHAKEY的电脑是一台PDP-10,20世纪60年代末最先进的主机电脑,它重达1吨多,需要一个大房间才能容纳。一台PDP-10可以配备高达1兆字节的内存——我口袋里的智能手机内存容量比它高大概4000多倍,而且速度快得不可思议。
[22]。tinyurl。yxu8hwoq
[23]。tinyurl。n6lf8t6
[24]。这并非精确的数字,只是一个近似值,让我们对涉及的数字比例有一些了解。
[25]。从技术上讲,假设b为搜索问题的分支因子,d是搜索树的深度,如此,搜索树的底层(深度为d的那一层)将包含bd种状态,即b的d次幂,b×b×b×b×……×b(d次)。分支因子表现出的增长速度在技术上称为指数型增长,一些参考文献使用几何级数增长这一术语,尽管我认为我从来没有在人工智能领域相关文献见过这个术语。
[26]。跳棋游戏,美国称之为“checkers”,英国称之为“draughts”,因为塞缪尔是美国人,所以作者表述跳棋的原文用了“checkers”。另外,在人工智能领域,这个程序通常被称为“塞缪尔的跳棋程序”(Samuel'scheckersplayer),如果把它称为“Samuelhtsplayer”会显得很怪异。
[27]。哈特、尼尔森和拉斐尔,《最小成本路径启发式测定的正式基础》,《IEEE系统科学与控制论汇刊》,4(2),1968年,第100-107页。