自我意识就仿佛是一对相互映照的设备,在本无一物的虚空中生成了各种大量的复杂结构。
对于任意的程序F,总存在一段程序代码c,使得我们执行代码c的结果完全等价于把源代码c作为数据输入给程序F执行的结果。
哥德尔不完备性定理
1956年也就成为了人工智能元年。
一批人认为可以通过模拟大脑的结构(神经网络)来实现,而另一批人则认为可以从那些简单生物体与环境互动的模式中寻找答案。他们分别被称为连接学派和行为学派。与此相对,传统的人工智能则被统称为符号学派。
遗传算法对大自然中的生物进化进行了大胆的抽象,最终提取出两个主要环节:变异(包括基因重组和突变)和选择。
所谓语言的意义,就是执行这个语言系统的计算等价性。
它们看起来的智能事实上并不来源于自上而下的复杂设计,而是来源于自下而上的与环境的互动。这就是布鲁克斯所倡导的理念。
计算就是某个系统完成了一次从输入到输出的变换。
可以设想,假如我们找到了真正归纳的方法,那么编写出这样的程序,它就会一劳永逸地自己进行学习归纳了。我们再也不用给它编制程序和规则了。这正是人工智能的终极目标。
如果A能够模拟B,并且B也能模拟A,那么A和B就是计算等价的。
意识就仿佛是一面镜子,可以映照其他一切事物,包括我们生存的物理环境,也包括意识自身。当我们醒来的时候,我们的意识就会明白无误地体会到意识自身的存在。因此,自指恰恰就是自我意识的一个最重要的属性。
智能是主体在各种各样的纷繁复杂的环境中实现目标的能力。
人们将这种由极其简单的规则蕴含了复杂表现的现象称为涌现(emergence)。
本章将按历史的顺序介绍人工智能的发展。从早期的哥德尔、图灵等人的研究到“人工智能”一词的提出,再到后期的人工智能三大学派:符号学派、连接学派和行为学派,以及近年来的新进展:贝叶斯网络、深度学习、通用人工智能;最后我们将对未来的人工智能进行展望。
证明数学系统中应同时具备一致性(数学真理不存在矛盾)和完备性(任意真理都可以被描述为数学定理)。
任何足够强大的数学公理系统都存在着瑕疵:一致性和完备性不能同时具备。
人工生命认为,所谓的生命或者智能实际上是从底层单元(可以是大分子化合物,也可以是数字代码)通过相互作用而产生的涌现属性(emergent property)。“涌现”(emergence)这个词是人工生命研究中使用频率最高的词之一,它强调了一种只有在宏观具备但不能分解还原到微观层次的属性、特征或行为。
•自动定理证明•模式识别•机器学习•自然语言理解•计算机视觉•自动程序设计
贝叶斯学派的核心就是著名的贝叶斯公式,它表达了智能主体如何根据搜集到的信息改变对外在事物的看法。
要想彻底超越图灵计算的限制,我们必须放弃程序的实在性。也就是说程序每时每刻都要变化。那么这样一个不断变化得不是它自己的怪东西存在吗?
本数学命题不可以被证明。
综上所述,我们可以断言:对于一个足够强大(强大到具备了自指能力)的数学公理化系统,一致性和完备性不能兼得。这便是大名鼎鼎的哥德尔不完备性定理,简称哥德尔定理。
伟大的数学家冯·诺依曼在他生命的最后阶段将全部精力都花在了研究自复制自动机的研究中。他不仅设计出来一个繁复的元胞自动机模型(一种离散的计算机模型,如图4-10所示)来研究程序的自复制问题,而且还希望通过这个模型理解生命是如何利用蒯恩技术实现抵制熵增定律的。他观察到,当系统的复杂性超过一定的级别(具备了蒯恩形式的自指),就可以实现复杂性不断升级的进化,而不再是在熵增定律下逐渐衰败下去。冯·诺依曼称这是“概率论中的一个漏洞”,因为随机碰撞的分子网络本来具有很小的成功概率,但是一旦分子碰撞出来一个蒯恩自指,那么,它就可以不断地繁殖下去,从而使小概率事件成为大概率的生命存在。
自指恰恰就是自我意识的一个最重要的属性。
克林尼(Kleene)递归定理。
《企业成长导航》内容简介:企业成长是企业从小到大、从弱到强的过程。从可量化的指标看,成长表现为经营业绩、资产规模的持续增长
JavaScript最新经典教程*Amazon超级畅销书*AJAX程序员必备随着国内的计算机图书市场越来越细化,各类引进版和原创图书在各自领域
成功的ERP项目实施——SAP R/3 本书特色 如果你正在参与ERP项目的实施,本书对你来说是不可或缺的,因为它通过一个大型SAP R3实施项目的案例研究,提...
生产系统仿真——plant simulation 应用教程 本书特色 周金平编著的《生产系统仿真——plantsimulation应用教程》的一个显著...
《超级卖手》内容简介:本书专为通信营业厅的销售人员量身打造,围绕“超级卖手”给出具体的技巧,把握移动终端产品的全面评估方法
《杜甫诗选注(增补本)》内容简介:杜甫(712—770),字子美,自号少陵野老,后世也称其杜拾遗、杜工部、杜少陵等。出生于河南巩
信息系统项目管理师考试辅导-(针对上午考试) 内容简介 本书按照人力资源和社会保障部、工业和信息化部全国计算机技术与软件专业技术资格(不平)考试要求编写。作者依...
Thepurposeofthisbookistohelpyouunderstandhowtoprogramshared-memoryparallelmachin...
WebRTC是一个支持网络浏览器进行实时语音对话或视频对话的软件架构。《LearningWebRTC中文版》使用形象的案例介绍,逐步深入地阐
《365夜故事:夏》内容简介:《365夜故事》是由鲁兵先生专为孩子编选的“国宝级”童书。以孩子的视角为选择眼光,以儿童的口语来裁
《别具光芒CSS属性、浏览器兼容与网页布局》结合大量范例与实际应用的实例,详细介绍了W3C发布的层叠样式表CSS2.1规范,浏览器对
《PyQt编程快速上手》内容简介:PyQt是一个创建GUI应用程序的工具包,是Python编程语言和Qt库的成功融合。本书旨在通过深入浅出的讲
C++Primer中文版第4版 内容简介 作为目前业界广泛使用的编程语言,C++可谓包罗万象、博大精深。20年来,讲述C++的图书早已经汗牛充栋、层出不穷,但其...
《网站分析实战:如何以数据驱动决策,提升网站价值》由王彦平、吴盛峰著。目前,越来越多的网站开始重视数据,并期望从中发现新的
《统计挖掘与机器学习(原书第3版)》内容简介:本书创造性地汇编了数据挖掘技术,将统计数据挖掘和机器学习数据挖掘进行了区分,对
《科技之光》是“国民教育通识读本”系列之一,介绍了人类史上对科技文明与进步起到举重若轻作用的天才大师的经典巨作,以及最新
Flashisoneofthebestplatformsfordevelopinggameson.Whetheryouwanttodeployittoweb,d...
馬克.古德曼MarcGoodman全球資訊安全專家,現為「國際刑警組織」((Interpol)資深顧問,並且擔任街頭警察。矽谷奇點大學(Singula
《全球主要国家网络作战力量建设研究》内容简介:随着信息化时代的到来,网络空间成为继陆、海、空、天之后的第五维战略空间,世界
数据库应用技术:Access2000 内容简介 MicrosoftAccess2000作为目前应用广泛的数据库管理系统,具有用户界面良好,功能强大,操作简单的优...