自我意识就仿佛是一对相互映照的设备,在本无一物的虚空中生成了各种大量的复杂结构。
对于任意的程序F,总存在一段程序代码c,使得我们执行代码c的结果完全等价于把源代码c作为数据输入给程序F执行的结果。
哥德尔不完备性定理
1956年也就成为了人工智能元年。
一批人认为可以通过模拟大脑的结构(神经网络)来实现,而另一批人则认为可以从那些简单生物体与环境互动的模式中寻找答案。他们分别被称为连接学派和行为学派。与此相对,传统的人工智能则被统称为符号学派。
遗传算法对大自然中的生物进化进行了大胆的抽象,最终提取出两个主要环节:变异(包括基因重组和突变)和选择。
所谓语言的意义,就是执行这个语言系统的计算等价性。
它们看起来的智能事实上并不来源于自上而下的复杂设计,而是来源于自下而上的与环境的互动。这就是布鲁克斯所倡导的理念。
计算就是某个系统完成了一次从输入到输出的变换。
可以设想,假如我们找到了真正归纳的方法,那么编写出这样的程序,它就会一劳永逸地自己进行学习归纳了。我们再也不用给它编制程序和规则了。这正是人工智能的终极目标。
如果A能够模拟B,并且B也能模拟A,那么A和B就是计算等价的。
意识就仿佛是一面镜子,可以映照其他一切事物,包括我们生存的物理环境,也包括意识自身。当我们醒来的时候,我们的意识就会明白无误地体会到意识自身的存在。因此,自指恰恰就是自我意识的一个最重要的属性。
智能是主体在各种各样的纷繁复杂的环境中实现目标的能力。
人们将这种由极其简单的规则蕴含了复杂表现的现象称为涌现(emergence)。
本章将按历史的顺序介绍人工智能的发展。从早期的哥德尔、图灵等人的研究到“人工智能”一词的提出,再到后期的人工智能三大学派:符号学派、连接学派和行为学派,以及近年来的新进展:贝叶斯网络、深度学习、通用人工智能;最后我们将对未来的人工智能进行展望。
证明数学系统中应同时具备一致性(数学真理不存在矛盾)和完备性(任意真理都可以被描述为数学定理)。
任何足够强大的数学公理系统都存在着瑕疵:一致性和完备性不能同时具备。
人工生命认为,所谓的生命或者智能实际上是从底层单元(可以是大分子化合物,也可以是数字代码)通过相互作用而产生的涌现属性(emergent property)。“涌现”(emergence)这个词是人工生命研究中使用频率最高的词之一,它强调了一种只有在宏观具备但不能分解还原到微观层次的属性、特征或行为。
•自动定理证明•模式识别•机器学习•自然语言理解•计算机视觉•自动程序设计
贝叶斯学派的核心就是著名的贝叶斯公式,它表达了智能主体如何根据搜集到的信息改变对外在事物的看法。
要想彻底超越图灵计算的限制,我们必须放弃程序的实在性。也就是说程序每时每刻都要变化。那么这样一个不断变化得不是它自己的怪东西存在吗?
本数学命题不可以被证明。
综上所述,我们可以断言:对于一个足够强大(强大到具备了自指能力)的数学公理化系统,一致性和完备性不能兼得。这便是大名鼎鼎的哥德尔不完备性定理,简称哥德尔定理。
伟大的数学家冯·诺依曼在他生命的最后阶段将全部精力都花在了研究自复制自动机的研究中。他不仅设计出来一个繁复的元胞自动机模型(一种离散的计算机模型,如图4-10所示)来研究程序的自复制问题,而且还希望通过这个模型理解生命是如何利用蒯恩技术实现抵制熵增定律的。他观察到,当系统的复杂性超过一定的级别(具备了蒯恩形式的自指),就可以实现复杂性不断升级的进化,而不再是在熵增定律下逐渐衰败下去。冯·诺依曼称这是“概率论中的一个漏洞”,因为随机碰撞的分子网络本来具有很小的成功概率,但是一旦分子碰撞出来一个蒯恩自指,那么,它就可以不断地繁殖下去,从而使小概率事件成为大概率的生命存在。
自指恰恰就是自我意识的一个最重要的属性。
克林尼(Kleene)递归定理。
《出发:我在法院当法警》内容简介:本书全面梳理了上海市司法警察队伍历年来的发展足迹,结合电台访谈节目的内容,整理编写而成。
数码照片后期修饰基础篇 内容简介 本书单分一章介绍了Photoshop这一平面图形处理软件的基础内容,并通过43个实例详细的介绍了图像处理专家对数码照片初级处理...
本书从理论到实践系统全面地对PHP和MySQL进行了介绍。在给出了PHP和MySQL的一般概念后,对PHP和MySQL的应用做了全面的阐述。最后
在这本新书《实现模式》里面,KentBeck将自己多年形成的编程习惯以及阅读既有代码的体验凝练成了编程中的价值观、原则和77种实现
Django Web应用开发实战 本书特色 本书由一线资深软件工程师结合多年Python开发经验倾力编撰,集Django架站、案例实践、前瞻技术于一体,是一本精...
《唐宋历史评论(第三辑)》内容简介:《唐宋历史评论》是由中国人民大学历史学院主办的以唐宋史研究为主的专业历史刊物,以关于唐
《真实经济:消费者真正渴望的是什么》内容简介:在体验经济占主导的21世纪.真实性取代质量成为新的消费者敏感性,就像当初质量取
Python是目前流行的动态脚本语言之一。李勇,本书共15章,由浅入深、全面系统地介绍了使用Python语言进行程序开发的知识和技巧。
马中红,江苏苏州人。苏州大学凤凰传媒学院教授,博士生导师,苏州大学新媒介与青年文化研究中心主任。主要从事新媒介青年文化研
本书站在一线设计师的视角,完整地展示了新媒体下的UI设计流程和细节技巧。通过主动沟通,素材的设计,草图的绘制,网页端、常用
《减肥侠》内容简介:在追求身材的道路上,熊顿从一开始盲目到发现适合自己的低成本、健康安全方法,也在过程中树立了坚持的信心,
《狼书(卷3):Node.js高级技术》内容简介:Node.js开发简单,性能极好,一经发布便成了明星级项目。随着大前端领域的蓬勃发展,跨
《千奇百怪的海洋世界:奇迹篇》内容简介:海洋世界里生活着不计其数的奇妙成员,它们在长期的适应演化过程中,以错综复杂的关系编
C++ STL 标准程序库开发指南 本书特色 在开发语言中,c++的应用越来越广泛。而c++stl是标准的c++模板库,是算法和其他一些标准组件的集合,可...
《C#并发编程经典实例》内容简介:本书全面讲解C#并发编程技术,侧重于.NET平台上较新、较实用的方法。全书分为几大部分:首先介绍
在游戏开发中,应用正确的物理定律可以逼真地模拟游戏中任何弹跳、飞行、翻滚、滑行或非静止的物体,以建立令人注目且真实的游戏
《中国审美文化焦点问题研究》内容简介:中国古代美学思想具有若干复杂而深刻的核心问题,其中一些话题具有非常强大的延伸能力,旁
可视化程序设计与C#.NET语言 本书特色 visual c#.net是面向对象的可视化程序设计语言,具有简洁、高效 、安全、性能优良等特点,是面向对象程序设计...
精通UG NX5中文版-基础入门篇(附赠1CD.含4小时语音视频教学) 内容简介 全书共分14章,主要介绍了ug nx5的绘图命令、实体特征以及各项命令的操作与...
《戚继光(中华先贤人物故事汇)》内容简介:戚继光,明朝抗倭名将,杰出的军事家、书法家、诗人、民族英雄。戚继光在东南沿海抗击