自我意识就仿佛是一对相互映照的设备,在本无一物的虚空中生成了各种大量的复杂结构。
对于任意的程序F,总存在一段程序代码c,使得我们执行代码c的结果完全等价于把源代码c作为数据输入给程序F执行的结果。
哥德尔不完备性定理
1956年也就成为了人工智能元年。
一批人认为可以通过模拟大脑的结构(神经网络)来实现,而另一批人则认为可以从那些简单生物体与环境互动的模式中寻找答案。他们分别被称为连接学派和行为学派。与此相对,传统的人工智能则被统称为符号学派。
遗传算法对大自然中的生物进化进行了大胆的抽象,最终提取出两个主要环节:变异(包括基因重组和突变)和选择。
所谓语言的意义,就是执行这个语言系统的计算等价性。
它们看起来的智能事实上并不来源于自上而下的复杂设计,而是来源于自下而上的与环境的互动。这就是布鲁克斯所倡导的理念。
计算就是某个系统完成了一次从输入到输出的变换。
可以设想,假如我们找到了真正归纳的方法,那么编写出这样的程序,它就会一劳永逸地自己进行学习归纳了。我们再也不用给它编制程序和规则了。这正是人工智能的终极目标。
如果A能够模拟B,并且B也能模拟A,那么A和B就是计算等价的。
意识就仿佛是一面镜子,可以映照其他一切事物,包括我们生存的物理环境,也包括意识自身。当我们醒来的时候,我们的意识就会明白无误地体会到意识自身的存在。因此,自指恰恰就是自我意识的一个最重要的属性。
智能是主体在各种各样的纷繁复杂的环境中实现目标的能力。
人们将这种由极其简单的规则蕴含了复杂表现的现象称为涌现(emergence)。
本章将按历史的顺序介绍人工智能的发展。从早期的哥德尔、图灵等人的研究到“人工智能”一词的提出,再到后期的人工智能三大学派:符号学派、连接学派和行为学派,以及近年来的新进展:贝叶斯网络、深度学习、通用人工智能;最后我们将对未来的人工智能进行展望。
证明数学系统中应同时具备一致性(数学真理不存在矛盾)和完备性(任意真理都可以被描述为数学定理)。
任何足够强大的数学公理系统都存在着瑕疵:一致性和完备性不能同时具备。
人工生命认为,所谓的生命或者智能实际上是从底层单元(可以是大分子化合物,也可以是数字代码)通过相互作用而产生的涌现属性(emergent property)。“涌现”(emergence)这个词是人工生命研究中使用频率最高的词之一,它强调了一种只有在宏观具备但不能分解还原到微观层次的属性、特征或行为。
•自动定理证明•模式识别•机器学习•自然语言理解•计算机视觉•自动程序设计
贝叶斯学派的核心就是著名的贝叶斯公式,它表达了智能主体如何根据搜集到的信息改变对外在事物的看法。
要想彻底超越图灵计算的限制,我们必须放弃程序的实在性。也就是说程序每时每刻都要变化。那么这样一个不断变化得不是它自己的怪东西存在吗?
本数学命题不可以被证明。
综上所述,我们可以断言:对于一个足够强大(强大到具备了自指能力)的数学公理化系统,一致性和完备性不能兼得。这便是大名鼎鼎的哥德尔不完备性定理,简称哥德尔定理。
伟大的数学家冯·诺依曼在他生命的最后阶段将全部精力都花在了研究自复制自动机的研究中。他不仅设计出来一个繁复的元胞自动机模型(一种离散的计算机模型,如图4-10所示)来研究程序的自复制问题,而且还希望通过这个模型理解生命是如何利用蒯恩技术实现抵制熵增定律的。他观察到,当系统的复杂性超过一定的级别(具备了蒯恩形式的自指),就可以实现复杂性不断升级的进化,而不再是在熵增定律下逐渐衰败下去。冯·诺依曼称这是“概率论中的一个漏洞”,因为随机碰撞的分子网络本来具有很小的成功概率,但是一旦分子碰撞出来一个蒯恩自指,那么,它就可以不断地繁殖下去,从而使小概率事件成为大概率的生命存在。
自指恰恰就是自我意识的一个最重要的属性。
克林尼(Kleene)递归定理。
《急诊急救护理实践手册》内容简介:本书分为6篇67章,从临床实用角度出发,概括了急诊常见各种急症、急病、创伤等的急救与护理以及
VB-MAPP语言行为里程碑评估及安置程序-(全2册) 本书特色 这套《语言行为里程碑及安置程序》为教育人员和家长对孤独症和其他发展性障碍孩子的学习、语言和社会...
《数字货币——比特币数据报告与操作指南》是壹比特科技数字货币研究团队倾力编写的一本关于数字货币白皮书,书中详细阐述了包括
ThemostauthoritativequickreferenceavailableforCSSprogrammers.Thishandyresourcegi...
《时光不再,惊羡你温柔如初》内容简介:《时光不再,惊羡你温柔如初》收录了朱自清的散文名篇,共分三部分,写生活中平凡的景色与
《现代物流管理(第三版)》内容简介:本书是高职高专规划教材《现代物流管理》的第三版,内容包括:现代物流与物流管理,企业物流
《淘宝与微店 :开店·运营·推广一册通》内容简介:超级畅销书《淘宝网开店、装修、管理、推广一册通》作者聚焦电商创业领域的又一
《Python编程做中学》内容简介:本书是一本零基础的Python编程入门书。全书介绍了Python的基本知识、条件语句、循环语句、列表、函
字体设计是最直接、最迅速的信息呈现形式之一。本书汇集大量国内外优秀字体设计作品,以“理论文字+作品分析+作品欣赏+问题分析”
《王学研究(第六辑)》内容简介:《王学研究》由贵阳学院阳明学与黔学研究院主办,围绕阳明学研究,征集国内外学者的论文,汇集阳
《Microsoft.NET框架程序设计》(修订版)是《微软.NET程序员系列》丛书之一,主要介绍如何开发面向Microsoft.NET框架的各种应用程
《文化传播(2017年第1期/总第1期)》内容简介:本期《文化传播》共收入18篇文章,作者大多系海内外高校或研究机构长期从事人文社会
本书详细阐明了碳纤维的生成机理、生产工艺及生产设备,对碳纤维的结构与性能进行了深层次的论述,并对碳纤维复合材料的性能、制
デザインのあらゆる手法が凝縮!55年間の装幀900点!!強力なパワーを放つ作品を次々と生み出した、世界的デザイナー・横尾忠則。一
安藤忠雄是当今最为活跃、最具影响力的世界建筑大师之一。他的建筑屹立在巴黎联合国教科文组织总部;他神性的空间语言是普利策美
Oracle程序设计实训教程 本书特色 本书内容深入浅出、概念清楚、实例丰富,有助于Oracle初学者快速掌握Oracle及PL/SQL程序设计方法。本书可作为...
《拉动力》发人深思:1937年,美国企业的存活期平均为75年,如今已降为15年;在创新不断更迭的今日,一不小心就会被人甩在脑后…
《山东半岛蓝色经济区发展报告(2014)》内容简介:本书主要内容分为年度报告和专题报告。年度报告包括三个:一是山东半岛蓝色经济
《傅雷家书(四十周年纪念精装)》内容简介:傅雷家人编定的傅雷全家于1954年—1966年间的往来家信精选,收录信件215通,其中傅聪、
本书提出了以理解和运用计算生态为目标的Python语言教学思想,不仅系统讲解了Python语言语法,同时介绍了从数据理解到图像处理的