智能的核心是计算吗？

发布时间：2018-06-12 18:49

本文选题：智能 + 计算　；参考：《山东大学》2017年硕士论文

【摘要】：2016年被誉为人工智能跨越式发展的一年。然而在六十多年的发展中,仍然存在一些争论的哲学问题,其中,需要特别关注的是智能的核心问题。我们一般认为人是有智能的,其他事物是没有智能的,导致这种判断的原因是人具有一种其他事物所没有的东西,这个东西是什么?对这一问题的回答也是对智能本质的回答。历史上受到广泛认同的观点是将计算作为智能的核心。对这一论断的分析能够得到对这个问题比较清晰的回答。研究对这一问题合适的解答,从两个方面入手较为合适。一方面,在人工智能产生初期,存在一些流派,将智能的核心视为计算,回溯这段历史,找到计算核心论的滥觞,并予以评判。另一方面,从计算主义面临的语义、适用性等困境出发,论证分析计算核心论的不合理性。对于第一个方面,在前人对相关问题研究的历史中,随着计算机的诞生和兴盛,可以看到一条清晰的脉络,计算作为智能本质的假说一步步建立起来,却常常受到攻击。霍布斯提出了 "推理即计算"的原初想法,莱布尼茨将人的思想以符号形式表征,开创了认知的先河。虽然这种启蒙式的想法将思维、思想与计算相关联,已经开始萌芽,但仅局限于内涵演算,他的心智理论仅仅是一种数学的逻辑演算的计算观。此后图灵提出了图灵机的观点,图灵将人的大脑状态、心灵状态通过其通用计算机来得到实现,在他看来,大脑的、心灵的这些过程本质就是输入、输出、状态变化这样的计算过程。这些计算主义的滥觞发展出了传统的计算主义的观点,以早期普特南的计算功能主义和西蒙斯、纽厄尔的物理符号计算系统为主。普特南认为心灵与其物理实现之间的关系类似于计算机的程序与所实现的硬件之间的关系。西蒙斯认为一个物理符号系统对于一般智能行为而言,是充分和必要的。这些经典的计算主义无不受到意向性、无意义等指责。对于第二个方面,上述计算主义的形成和发展过程中,受到了很多学者的反驳。其中影响较大的是塞尔的中文屋论证。塞尔的论证从侧面冲击了计算主义的根基。此时,福多对计算主义做出的新的阐释,在一定意义上回应了符号操作的语义缺失问题。他的心灵计算理论认为,思想语言是人先天具有的一种符号系统,它也是心理表征的媒介,具有句法和语义。心灵的运行就是对心理表征的操作,思维就是计算。然而这并不意味着计算核心的观点就是牢固的,它仍会受到批评。需要注意的是,计算作为智能核心的观点受到存在着两方面的缺陷。一方面来自于理论本身,另一方面来自于对计算概念的不同形式的解释。对于理论本身而言,有这样一些顽疾是计算主义无法克服的。任何物理系统都能视为计算,这种普遍性将导致平凡无趣的问题;存在一些心理进程无法计算建模;计算理论缺乏对时间的关照,而时间是心灵应有的属性,且心灵的连续性和同时性无法用计算模拟;作为智能密切相关的神经信号,其化学物质传播,是计算无法实现的。这些使得计算作为智能核心的观点无法立足。对于计算概念而言,首先要提到近年来的计算主义的新发展。一些计算主义的拥护者对其进行了补充或修改。朔伊茨主张修正"计算"的概念,来使得计算成为具体的、语义的、相互作用的或意向的概念。霍格兰德认为计算概念本身应该具有自我批评和"责任"意义,计算中含有意向性(语义)的问题是不言自明的,但这种观点也是建立在"认知是计算"的基础上的。菲格道尔的立场就是在最小程度上修改模型,来提供一些解决计算主义因果效力问题的空间。麦克德莫特认为一方面,一些符号本身就具有意义,另一方面,符号结构的意义通过其所在的系统与外接环境的关系表现出来。对于克拉潘来说,人有隐形表征,而计算机没有。人之所有具有意向性,也是因为隐形表征的作用。研究者不约而同地将争论的焦点放在了"计算"概念的重新定义上,对这一概念的澄清决定着计算主义是否成为合适的解释理论。抽离各家的观点来分析计算的概念,从数学中计算的原初使用入手,到计算机中对计算的定义,可以看出,计算就是符号通过某种算法的操作。以此来分析福多等人的观点时,能够发现不同的人对符号的解释也各有不同。如果从严格的意义上来使用符号,因为心理表征本质上和计算所处理的对象是不同的,后者不能还原为简单的符号,所以表征可计算的观点同样是值得怀疑的。将智能的核心视为计算是不恰当的。心灵在本质上的运行方式,与计算的方式也有所不同,只能将其视为心理表征的操作过程。
[Abstract]:In the past 60 years , there still exist some philosophical problems in the development of artificial intelligence . However , in the past 60 years , there are still some philosophical questions about intelligence . In the second aspect , the theory of thinking , thought and calculation is a kind of symbolic system , which is a kind of mathematical logic calculus . In the second aspect , it is a kind of symbolic system which has been developed by many scholars . This paper tries to provide some space for solving the problem of computational complexity . McDermott thinks , on the one hand , some symbols are of great significance . On the other hand , the meaning of symbolic structure is represented by the relationship between the system and the external environment .
【学位授予单位】：山东大学
【学位级别】：硕士
【学位授予年份】：2017
【分类号】：TP18

【参考文献】