| 首页  |  资讯  |  评测  |  活动  |  学院  |  访谈  |  专题  |  杂志  |  产服  |  
您现在的位置:硅谷网> 资讯> 数码>

计算机不是只会“计算”,图灵机也不是一台“机器”

2020-06-03 15:48 作者:撰文 | 王培 来源:硅谷网综合 HV: 编辑:GuiGu 【搜索试试

人们往往根据自己的理解对一个概念下断言,其实对方使用的概念并不是你所以为的含义。要想避免这种误会,就不该对自己没有认真研究过的问题下结论。

在讨论人工智能的潜力和限度时,常常有人拿 “图灵机” 和 “可计算性” 说事。其论证大致是这样几步:

(1)既然人工智能是在计算机中实现的,其能力自然在计算机能力范围之内;

(2)现有计算机的计算能力都和图灵机相同;

(3)那些图灵机不能解决的问题当然也就是人工智能所无法解决的。

有些人会进一步主张:

(4)人脑不受这些限制,因此不等价于图灵机;

(5)所以人工智能的根本能力永远低于人类智能,尽管在某些具体能力上可以超过人。

由于人类智能或人脑的能力范围本身尚未有明确界定,4、5两步仍有争议(不少人相信人类的计算能力也受同样的限制),但前面三步却罕有反对意见。我下面要说的就是:这事不是这么简单。上面的论证,尤其是(3),在其通常解释下是错的。

“图灵计算”到底是什么意思

由于这个问题直接涉及对计算机科学核心概念的理解,我们不可避免地要从概念的定义开始。鉴于本文的性质,我会试图用日常语言把这事说得足够明白。

图灵近年来成了个广为人知的名字,这里就不介绍了。他在1936年的一篇文章中提出了一种抽象的 “计算机器“(computing machines),并用它来定义“可计算的数”(computable numbers)。请注意:在那时计算机 (computers) 尚未出现,而图灵的本意也不是要设计这样的机器,而是要为在数学中广泛使用的 “可计算” 这一概念提供一个严格的定义。由于人们(甚至以严谨著称的数学家们)往往对同一个概念有不同理解,图灵试图用一个想象的机械装置来避免歧义。简单地说,如果满足某个特征的数字都可以在有限时间内被这样一个机械装置生成或识别,那么这类数就是可计算的。

在电子数字计算机(即今天所说的“计算机”)出现后,计算机科学中的 “计算” 概念沿用了数学中的传统意义,图灵机也被广泛用于刻画计算机中的各种过程,因而成为理论计算机科学的核心概念。在专业文献中图灵机的定义大同小异,下面的 “科普版” 改编自Introduction to Automata Theory, Languages, and Computation [1]——这个领域里最常用的教科书之一。

图灵机是一台可以逐个处理一列符号的装置,如下图所示。

对图灵机的完整描述包括七个成分:

1、 一个有限的输入符号集,

2、 一个有限的内部符号集(输入符号集的扩充),

3、一个特殊的空白符号(用来标记被处理的符号序列的边界),

4、 一个有限的状态集,

5、一组状态变换规则,根据当前状态和所关注的符号的组合决定新的状态和符号,然后将关注点前移或后移至另一个符号,

6、一个特定的初始状态(初态),此时所有待处理符号都是输入符号,且关注点在第一个符号处,

7、 一组终止状态(终态),至此停止运行。

当且仅当存在一个图灵机,可以将一个问题的每个实例作为输入,并在有限的变换后停止运行,这时我们称这一个问题是 “图灵机可计算” 的。如果停止运行是由于达到了一个终止状态造成的,输入就算是被 “接受” 了。如果停止运行是由于没有变换规则可以应对当前情况,输入就算是被 “拒绝” 了。这个图灵机对输入符号串所作的 “接受还是拒绝” 的判定就叫一个“计算”。

下面我们描述一个简单的图灵机,叫它“机器甲”。它用0和1做输入符号,而内部符号是0,1,外加空白符 #。机器甲的状态只有A和B,外加一个终态Z,其中A是初态。其变换规则是

• 如果当前关注的符号是0,把它改成 #,状态不变(A还是A,B还是B),后移至下一个符号;

• 如果当前关注的符号是1,把它改成 #,状态改变(A变成B,B变成A),后移至下一个符号;

• 如果在状态A下所关注的符号是 #(所有输入符号都处理完了),进入终态 Z

不难看出,给机器甲一个01符号串(如0110111)做输入,它会逐个抹去其中的符号(把0和1都变成 #),最后用是否进入了终态来判定输入中1的个数是否为偶数。

现在让我们定义一个“机器乙”。它和机器甲完全一样,只是初态为B。机器乙所完成的计算也是确定输入中的1的个数的奇偶性,但 “接受还是拒绝” 的判定恰好与机器甲相反。

这两个图灵机尽管简单,但却已经揭示了一个普遍的误解:一个 “图灵机” 不是指一台“机器”,而是指一台机器的一个特定的运行过程或使用方式,包括对初态和终态的划分。上述的机器甲和机器乙是同一个装置,但完成的计算不同。同理,对任何其它图灵机,只要修改其初态或终态的划分,它就成了不同的图灵机,所完成的计算也就不同了。

计算与智能

一个系统的 “初态” 和 “终态” 的划分并不像看上去那么无关大局。现在让我们考虑 “机器丙”,它和机器甲基本相同,只是取消了状态 Z和最后一条变换规则。这样一来,当所有符号都成为 #,机器不再有适用变换规则,就会停在当前状态,而这个状态同样可以代表输入中1的个数的奇偶性(A对应于偶数,B对应于奇数),因此也可以被用作机器丙的计算结果。这台机器在处理完一个输入序列后,只要将状态重新初始化为A,即可以处理下一个序列。

一个有趣的问题是:如果不做状态重新初始化,情况会怎样?显然,如果机器丙在一次计算之后状态停在B,则下次计算这个机器就变成机器乙了,并且后面会不断在机器甲和机器乙之间转换,而不再完成一个确定的计算。这个机器的处理结果不仅仅取决于当前输入,还取决于开始处理这个输入时的系统状态,而这个状态是系统的历史决定的。

这种可能性乍看起来没有讨论价值。一个符号串里面有多少个1,与处理机制的历史和状态不应该有任何关系,所以对应的计算当然必须从同一个初始状态开始,这才能保证过程和结果的确定性,或者说可重复性。

但 “计算” 的概念不足以涵盖所有与智能、认知、思维等有关的过程(见参考文献 [2] 中的讨论)。尤其像那些和“学习“、”适应“、“灵机一动”有关的现象,根据定义,它们不是对问题的可重复解决。严格说来,一个不断学习的系统是不重复先前的内部状态的,因此即使是相同的输入,处理过程和结果都未必相同。在这种情况下,相对于这个输入而言,这台装置就不是一个图灵机,尽管它可以具有图灵机定义中的前面5个成分,就像机器丙那样。

图灵机模型。来源:Wikipedia,by Rocky Acos

当然,如果我们把这个装置的 “出厂” 状态看作初态,“报废” 状态看作终态,那么其整个“生命周期” 仍可以被看成是一个图灵计算过程,其输入由它历史上所经历的所有输入符号串衔接组成。但问题是,这个周期和我们平常关心的 “解题周期” 不是一回事。如果这个系统在学下棋,那么我们通常会把每盘棋看作一个要解决的问题,而这和把整个 “学下棋过程” 当作一个问题是非常不同的。相对前者而言,系统的解题行为应该是随着时间而变的(否则何谈学习),因此不是一个 “下棋图灵机” 。这种变化是因为前面解题周期的终态成为了后面解题周期的初态,而不需要引入其它因素(如“自由意志”、“量子效应”、“随机选择”等等)来解释。

那么能不能说 “这个系统仍是图灵机,只不过在下每盘棋时它是一台不同的图灵机”?

如果硬要这么说也不能算错,只不过没有任何实际价值。在数学和计算机科学中,可计算性的研究都是以严格可重复的解题过程为研究对象的,其结论的价值也正在于为未来的解题过程提供可靠预测。如果一个解题过程不可重复,说它 “每次都是个图灵计算,但说不准是哪个” 和说这个过程 “不是图灵计算” 就没有实际差别了,反正也不知道它会怎么做。类似地,说这个系统的解题过程仍是可重复的,但这个过程要包括系统从 “出生“ 开始的全部历史,这也没错,但即使如此,它的下棋过程也是不能看成图灵计算的。

既然图灵机指的不是某类装置,而是(装置中的)某类过程,就不能用它对应于一台计算机,而是对应于(一台计算机中的)某个程序或过程。图灵机在计算机科学中的重要性也就在于,严格、清晰地表达出一个符号(数据)处理过程——这样我们就可以用一种统一的术语刻画到底哪些过程是“可计算” 的,而不再依赖直观或模棱两可的语言。

前面的讨论也说明,并不是计算机中的所有过程都可以或应该看成“计算“, 并等价于图灵机的。这里最重要的是那些由于包含了学习、适应、进化等机制而成为不可重复的过程,尽管它们仍和计算有关。这有点像搭积木:每个积木块都是预制的,但如何把它们组合在一起却是可以临时起意,不循常规的。这样的系统的计算能力并没有超过图灵机,但可以完成一些不能被称为“计算”的功能。

我设计的纳思系统就是这样:其中每个基本步骤都是提前编好的程序,或者说都是图灵机。但面对一个具体问题时,如何把它们组合起来使用,却是靠系统现场发挥,没有预先写好的脚本的,因此纳思对一个问题的处理是依赖于系统当前状态的。在纳思的一个 “生命周期” (以记忆的初始化为界限)中,其内部状态不重复,因此它对同一个问题的处理也不一定是严格可重复的,即不是图灵计算。当然,这不说明系统在任何问题上都没有稳定答案。我在《计算机能有创造性吗?》和《时间紧急,怎样决策才算理性?》中对这种工作方式有进一步讨论,这里就不再重复了。

人脑是个图灵机吗?根据上面的讨论, 我们会发现,这不是个有意义的问题。人脑中的某些相对简单的过程可能被近似地被图灵机(计算机程序)模拟, 但仍有大量过程是不能这样处理的。这可能是由于我们对这些过程的了解还不够,也可能是它们本来就不是严格可重复的。至于这些功能是否可以由人工智能中的非计算性的过程所再现,则不是本文要讨论的了。

“顾名思义”的功过

本文的讨论还涉及一个普遍的现象。对不熟悉的概念,顾名思义是个有效的认知策略,但也是误解的常见来源。对科学概念尤其如此。我在《新理论该怎么为概念下定义?》中讨论过这个问题。当我们将一个新概念引入一个理论中的时候,为了促进其传播,常会选用一个含义接近的日常词汇。但这样做的危险就是:圈外人会按照他们的固有观念来理解相关的科学结论。

比如说,人们往往认为 “计算”是包含了计算机所能做的一切,但在计算机理论中,这个词仅指使用计算机的一种常见的(但并非唯一的)方式。把这二者搞混,就会得出“人工智能的能力范围仅限于可计算的问题” 这种错误结论。至于把图灵机看作一种计算装置,则是典型的顾名思义了。甚至很多计算机专业出身的人在学过图灵机的概念之后,仍没有意识到其定义中包含初态、终态所造成的限制,而理所当然地认为这是描述一个装置时所必须的。

造成这个混淆的更深层原因就是计算机科学中的数学遗产。什么是“问题”?怎样算是“解决”?在数学中 ,“解决”总是相对于一个问题类而言的,解题过程和结果都必须是严格、精确、可重复的。而在数学之外的生活中,由于必须迎接新的太阳,踏进不同的河流,所以不能以同样的标准论成败。

最后一个例子就是“通用人工智能”了。一个常见的意见是:“显然不存在能解决所有问题的通用智能”,但稍微读些文献就会发现,真正在这个领域中工作的人,并不是在这一意义下使用“通用”这个词的,而是把它作为“专用”的对立面。所以,在这里,“通用系统”不是“万能”的意思,而是“可以合理应对意料之外的问题”的意思。

这种误会在科学讨论中并不罕见:根据自己的理解对一个概念下断言,其实是攻击了一个稻草人——因为别人不是在这个意义下使用这一概念的。要想避免这种误会,就不该对自己没有认真研究过的问题下结论。顾名思义是不可靠的,尤其对是那些“显然”的问题。如果真是那么显然,别人怎么会看不到呢?对人工智能类似的误会不少。我在参考文献[3]中对此有进一步讨论。来源:返朴 fanpu2019 撰文 | 王培

【对“计算机不是只会“计算”,图灵机也不是一台“机器””发布评论】

版权及免责声明:
① 本网站部分投稿来源于“网友”,涉及投资、理财、消费等内容,请亲们反复甄别,切勿轻信。本网站部分由赞助商提供的内容属于【广告】性质,仅供阅读,不构成具体实施建议,请谨慎对待。据此操作,风险自担。
② 内容来源注明“硅谷网”及其相关称谓的文字、图片和音视频,版权均属本网站所有,任何媒体、网站或个人需经本网站许可方可复制或转载,并在使用时必须注明来源【硅谷网】或对应来源,违者本网站将依法追究责任。
③ 注明来源为各大报纸、杂志、网站及其他媒体的文章,文章原作者享有著作权,本网站转载其他媒体稿件是为传播更多的信息,并不代表赞同其观点和对其真实性负责,本网站不承担此类稿件侵权行为的连带责任。
④ 本网站不对非自身发布内容的真实性、合法性、准确性作担保。若硅谷网因为自身和转载内容,涉及到侵权、违法等问题,请有关单位或个人速与本网站取得联系(联系电话:01057255600),我们将第一时间核实处理。
广告
相关
·华为全面启航计算战略:“鲲鹏+昇腾”双引擎
·IBM将启用53量子位计算机 10月上线供外部使用
·2019世界计算机大会开幕在即 主办方“剧透”四
·华硕推出三款全新X299系列主板 满足诸多计算需求
·移动计算新动力,商用轻薄笔记本未来市场前瞻
头条
平板电脑季度跟踪报告:受疫情影响工厂产能同比下降 平板电脑季度跟踪报告:受疫情影响工厂产能同
【硅谷网2020年5月26日讯(冷夜轩)】 据IDC最新发布的平板电脑季度跟踪报告显示:202……
·平板电脑季度跟踪报告:受疫情影响工厂产能同
·受供应链限制 2020年Q1全球PC需求飙升但出货
·2020款iPad Pro全球首碎:机身依旧脆弱、一掰
·频频“翻车”的搜狗AI录音笔,真的是业内领先
·苹果4500万套AirPods订单因新冠肺炎面临缺货
图文
计算机不是只会“计算”,图灵机也不是一台“机器”
计算机不是只会“计算”,图灵机也不是一台
戴尔天猫旗舰店:全新戴尔笔记本XPS15创作本新品上市
戴尔天猫旗舰店:全新戴尔笔记本XPS15创作
运营商共建5G基站,在下一盘万亿投资的大棋
运营商共建5G基站,在下一盘万亿投资的大棋
史上最难!今年2月14号情人节礼物应该怎么选?
史上最难!今年2月14号情人节礼物应该怎么
热点
·小米AirDots青春版竟不是性价比最好的真无线
·限时特惠 华硕Z390F电竞主板畅玩古墓丽影:暗
·盟达(MENDA)27英寸超薄4K显示器深度评测
·一块固态硬盘到底能用多久?会比机械硬盘更耐
·运营商共建5G基站,在下一盘万亿投资的大棋
旧闻
·索尼4k摄像机AX60 让Vlog拍摄更简单(图)
·岂止于白 华硕Z490吹雪主板打造信仰全家桶
·开启品质人生 奥图码智能投影机I5+引领娱乐新
·vivo多款尖货强力推荐 618实力狂欢省不停
·《星战》原力觉醒 华硕B450主板助你制霸战场
广告
硅谷精选
计算机不是只会“计算”,图灵机也不是一台“机器”
计算机不是只会“计算”,图灵机也不是一台“机器”
戴尔天猫旗舰店:全新戴尔笔记本XPS15创作本新品上市
戴尔天猫旗舰店:全新戴尔笔记本XPS15创作本新品上市
618开门红 华硕主板销量/销售额双双第一(图)
618开门红 华硕主板销量/销售额双双第一(图)
强化战队链接与产品调校 技嘉推出Z490 AORUS ULTRA G2主板
强化战队链接与产品调校 技嘉推出Z490 AORUS ULTRA G2
魔爪618开门红战报出炉,品牌销量霸榜top2
魔爪618开门红战报出炉,品牌销量霸榜top2
满足中小企业成本控制需求,佳能推出2款鼓粉分离激光打印机新品
满足中小企业成本控制需求,佳能推出2款鼓粉分离激光
关于我们·About | 联系我们·contact | 加入我们·Join | 关注我们·Invest | Site Map | Tags | RSS Map
电脑版·PC版 移动版·MD版 网站热线:(+86)010-57255600
Copyright © 2007-2020 硅谷网. 版权所有. All Rights Reserved. <京ICP备12003855号-2>