网站营销软文,wordpress 页码插件,建设银行重庆市分行官方网站,百度怎么发帖做推广来源#xff1a;图灵人工智能人工智能与机器学习#xff1a;算法基础和哲学观点克劳斯迈因策尔原刊于《上海师范大学学报(哲学社会科学版)》2018年第3期摘要#xff1a;图灵将人工智能简化为具有形式逻辑、自动证明和计算能力的符号处理系统。但是人类智能与语言理解有关。文… 来源图灵人工智能人工智能与机器学习算法基础和哲学观点克劳斯·迈因策尔原刊于《上海师范大学学报(哲学社会科学版)》2018年第3期摘要图灵将人工智能简化为具有形式逻辑、自动证明和计算能力的符号处理系统。但是人类智能与语言理解有关。文章提出一个可以在自然界和技术上实现的关于智能度的工作定义来替代图灵测试关于机器智能的定义。自然智能在具有不同程度复杂性的神经系统和大脑的自然进化中出现。人工智能是在技术发明中发展起来的依赖于传统图灵机计算机能力的指数增长。大脑、自动机和机器似乎是完全不同的但它们在语言识别方面是数学等价的。具有不同复杂程度的自动机和机器的层次结构是可以区分的因为它们可以通过适当的神经网络识别相同类型的语言。根据这样的工作定义就得到了自然和技术上的智能度。特别值得注意的是模拟神经网络它能够像人类大脑那样具有自然语言能力这超出了图灵可计算性。因此需强调可通过神经形态计算体系结构实现的模拟和数字智能。但是智能决不简单等同于大脑和计算机。模拟和数字元素也被整合到全球物联网中以解决不同程度的智能问题。关键词人工智能可计算性智能度语言识别自动驾驶工业4.0区块链作者简介克劳斯•迈因策尔欧洲科学院院士德国工程院院士德国慕尼黑工业大学教育学院哲学与社会教席荣休教授德国复杂性系统协会主席主要从事哲学和复杂性系统研究。一、什么是人工智能人工智能AI在很多人不知情的情况下统治我们的生活很久了。与我们说话的智能手机、记录我们健康数据的手表、自动安排的工作程序、自动驾驶的汽车和飞机、有自主逻辑的交通和能量系统以及探测远方星球的机器人都是连接成网的智能系统世界的例证。它们向我们展示了人们的日常生活是如何受到人工智能功能影响的。艾伦•麦席森•图灵1912—1954在后来以其姓命名的测试中定义一个系统是否具有智能性的判断校准为如果该系统的回答和反应与人类的无法区别时则该系统是智能的。这个定义的不足之处是用人类作为测试标准。很多生物体也是智能系统的范例它们和人类一样在进化中出现并能够或多或少地、独立有效地解决问题。有时自然是技术发展的模板。但是信息科学和工程技术科学也经常会找到一些与自然界不同甚至更好、更高效的解决问题的方法。所以图灵所定义的智能并不严谨智能应是指通过技术或自然系统有效而自动地解决问题的程度或者等级。因此笔者为一个系统的智能性提出一个暂时的工作概念如果一个系统能独立而有效地解决问题则它就是智能的。一个系统的智能度由系统的独立性程度、问题的复杂程度以及解决问题过程的效率大小决定智能度我们能够测量。据此动物和人类的意识和感觉对于智能来说并非必需的。二、从图灵到符号主义人工智能和自动证明1956年受到图灵“机器会思考吗”这一问题的启发约翰•麦卡锡John McCarthy、艾伦•纽厄尔Allen Newell、赫伯特•西蒙(Herbert Simon)等多位权威研究人员出席了在达特茅斯举行的有关机器智能的会议。人工智能研究的第一阶段至少在于形式逻辑中探求解决问题的通用方法上取得了成就。为了证明公式的逻辑上的普遍适用性设计了一种机械的处理方法。这种处理方法可以被计算机程序执行也将自动定理证明引入了计算机科学。在实践中论证一个逻辑推论的普遍适用性可能会非常复杂。因此1965年鲁滨逊J.A.Robinson提出了所谓的归结方法借此能够推导出逻辑驳议过程的证明。人们从对立的猜测否定即逻辑推论不具有普遍适用性开始接着证明这一假设的所有可能的应用实例都将导致自相矛盾的结果。否定之否定和逻辑推论的否定是普遍有效的。鲁滨逊的归结方法使用了逻辑化简法据此人们可以将所有逻辑公式转换成合取范式。在命题逻辑中一个合取范式由可以否定的和不可否定的命题变量字符串组成这些变量由合取∧和析取∨符号连接起来。一个常规公式的组成元素被称为子句。对于谓词逻辑的公式来说也有一个通用的归结过程以便再次从一个公式的一般无效假设推导出矛盾。为此一个谓词逻辑的公式必须被变换为一个常规形式从它的子句中可以机械地推断出矛盾。但是因为在谓词逻辑中不同于命题逻辑一般不能判断一个公式的普遍适用性所以有可能发生归结过程无法结束的情况。计算机程序就这样无限制地运行下去。因此重要的是找到一些子类其中的过程不仅有效而且能够结束。机器智能提高并加速决定过程的效率但机器智能像人类智能一样受制于逻辑决定性的原则界限。在逻辑学和数学中公式也是字符串是一步步被推导出来的直到完成一个命题的论证。计算机程序的运行归根结底就像论证。程序根据确定的规则一步步推导出字符串直到找到一个解决问题答案的形式表达。类似地我们想象流水线上某个工件的组装过程相应的计算机程序规定了预设的零件如何一步步地根据规则组装成这个工件。一个顾客想从一个计算机科学研究者那里得到一个能解决这样问题的程序在一个非常复杂又不清晰的生产过程中顾客一定想先得到这个程序能正确运行的证据。可能发生的错误是危险的也可能带来巨大的额外费用。计算机科学研究者依据一种软件这种软件可以自动从问题的形式特征中提取出证据。就像被投入到“数据挖掘”中寻找数据或者数据相关性的软件一样相应的软件也被投入到证据的自动寻找中。这就产生了一个问题软件自动提取证据是否可靠。在一个准确地预先确定的框架内能够对以此为基础的软件进行可靠性论证顾客就能确定这个计算机程序是否能够正确工作以解决问题。这种“自动证明”不仅对现代软件技术有巨大的影响还导致了深刻的哲学问题即数学的思维可以被自动化到什么程度。但是这种软件的正确性论证却是由一个数学家进行的。如果我们想要使这种证明自动化一个基本的认识论的问题就产生了这是否将我们引入一个回归它的终点是人类必须是人类三、从一般问题解决器到专家系统人工智能研究的第一阶段大约在20世纪50年代中期到60年代中期仍被欣快的期待所刺激着。人们应用计算机来设计通用问题解决方法但是实践的结果令人非常失望。大约在20世纪70年代中期到80年代中期以知识为基础的专家系统进入人们视野这是人工智能的第一次实际应用。有限而明确的人类专家的专业知识比如工程和医学等领域的专业知识被写进专家系统应用到日常生活领域。以知识为基础的专家系统作为一种人工智能程序储存相关领域的知识并根据这些知识自动进行推理以便找出正确答案或者提供某些情形下的诊断。专家系统与人类专家的不同之处在于专家系统的知识被限制在专门的信息基础里没有结构化的、关于世界的常识性知识。要建造一个专家系统必须首先将专家的知识用规则表达出来然后翻译成程序语言并用问题解决策略进行处理。四、人工智能与自然语言魏泽鲍姆的ELIZA以上策略同样适用于用计算机实现基于自然语言的交流。约瑟夫•魏泽鲍姆(Joseph Weizenbaum)设计的语言程序ELIZA就是一个例子。ELIZA模拟人类专家中的女精神病医师与病人聊天。该程序涉及一些规则指挥一个“女精神病医师”用怎样的句子模板对病人的某些特定的句子模板做出反应基本上是根据各种情况对规则进行识别和分类。最简单的情况是确定两个符号结构的等价性就像它们在符号编程语言LISP中被函数EQUAL确定一样。如果常量和变量被包含在符号表达式中则出现一些扩展。比如(xBC)(ABy)这两个项相互匹配因为变量x和原子A、变量y和原子C互相对应。通过引入变量可以使一个模板的结构通过模式比较被识别。为此可以在LISP编程语言中定义一个特殊的运算符MATCH。一个数据和一个结构对应的最简单的情况是常量的相等性比如列表AB和AB的相等性(MATCH‘(AB)‘(AB))T符号“‘”表示后面的列表不是函数定义而是应当理解为符号的排列。为了实现分类可以使用各种各样的生成符号就像逻辑学或数论中的变量那样。比如可以用符号“”来引导出任何对象(MATCH‘(?B)‘(AB))T(MATCH‘(?B)‘((AB)B))T这个结构将每一个包含两个子列A和B的列表与其中的第二个列表B匹配。生成符号“*”表示任意多个符号构成的字符串包括空串。比如(MATCH‘(*B)‘(B))T(MATCH‘(*B)‘(ABCB))T这样给出的结构表示与所有在尾部包含B的列表相匹配。以上结构就可以说明ELIZA系统的本质算法结构它反映了“精神病医师”的知识库内容。请看病人P和ELIZA简称E之间的对话P:MEN ARE ALL ALIKE.男人们全都一样。E:IN WHAT WAY在哪些方面P:THEY’RE ALWAYS BUGGING US ABOUT SOMETHING OR OTHER.他们总找借口躲避我们。E:CAN YOU THINK OF A SPECIFIC EXAMPLE你能举个例子吗P:WELLMY BOYFRIEND MADE ME COME HERE.好吧我的男朋友要我到你这里来。E:YOUR BOYFRIEND MADE YOU COME HERE.你的男朋友要你到我这里来。P:YESI AM VERY SAD.是的我很伤心。E:YOU ARE VERY SAD.你很伤心。P:SAD AND DEPRESSED.伤心而沮丧。E:PLEASE GO ON.请继续。下列规则可以推导出ELIZA的回答因为它们可以识别病人和ELIZA使用的某些特定的句子模式‘(((*AM*B)→(APPEND‘(YOU ARE)B))((*ARE*)→‘(IN WHAT WAY))((*ALWAYS*)→‘(CAN YOU THINK OF ASPECIFIC EXAMPLE))((*MY*BME*C)→(APPEND‘(YOUR)(APPEND B(CONS‘YOU C))))((*L)→‘(PLEASE GO ON)))第二个规则规定当在句子中存在ARE这个关键词而在其左右的内容为任意时用“IN WHAT WAY”作为回答。在句子“MEN ARE ALL ALIKE”中ARE前的*是“MEN”ARE后的是“ALL ALIKE”。第四个规则是当病人的句子中单词MY和ME通过列表*B被分开并以列表*C结束时ELIZA的回答首先由YOU和C部分CONS‘YOU C构成然后使用B部分最后是YOUR。一段用户与ELIZA之间的对话与我们所举的编程语言LISP中的句法符号列表没什么不同。在语义学上要尽量使用与日常聊天习惯相符的结构。最后一个规则是典型的随机响应就像我们在日常聊天中经常遇到的一样如果专家无法识别一个任意的符号列表*L他就说“请继续PLEASE GO ON”。五、从ELIZA到WATSON系统自约瑟夫•魏泽鲍姆的ELIZA之后以模式识别为基础的文本比较方法被人们熟知。现在的软件将句子拆分成单独的短语进行分析迅速计算出对于提出的问题合适的答案模式或者在另一种语言中找出合适的翻译。1993—2000年间由德国人工智能研究中心DFKI研发的VERBMOBIL就是一个高效的翻译程序。人类的语言处理过程包括不同的层次。技术也在这些层次上得到实现。在计算语言学中这种处理方式被称作管道模型从声音信息出发到文本形式相应的字母字符串被概括为单词和句子。形态分析要得到单词的词根。基于乔姆斯基语法体系的语法学分析要得到句子的语法组成单元比如主语、表语、宾语等。语义分析则关注句子的含义。最后对话和话语分析则研究文本包含的问题与答案、目的、企图、意图等。高效的技术解决方案并不需要经过这个管道模型的所有阶段。当今强大的计算能力以及机器学习和搜索算法可以用于各个层次的语言分析中。人类的语法分析过程通常与意识相关而这并非必要的。IBM公司研制的WATSON系统是一个语义层面上的自动问答系统。它基于并行计算机的强大计算能力和维基(Wikipedia)网站所存储的海量知识综合应用了语言算法、专家系统、搜索算法、大数据处理等多种技术。与ELIZA不同WATSON理解某些背景知识和语言的语义能够理解自然语言的提问并快速在海量知识库中找到相应的知识和回答。WATSON一方面是IBM公司发明的认知工具平台另一方面也意味着在经济和企业界的广泛应用可能。按照摩尔定律WATSON的功能在可以预计的时期内不再需要超级计算机了。一部智能手机上的一个App应用就可以具备这样的功能。不必通过键盘输入来完成这样的操作而是通过智能语音程序就可以实现自然语言进行的对话。对话中所包含的人类情感也能够被程序识别就像魏泽鲍姆早就担心的那样。2013年斯派克•琼斯Spike Jonze摄制的美国科幻片《她》her描绘了一个内向而害羞的男人爱上了一个语言程序。他的职业是给那些难以向别人解释他们感受的人写信。为了减轻工作负担他得到了一个新的操作系统该系统配备了女性身份和愉快的声音。使用头戴式耳机和摄像头他与这个自称为萨曼莎Samantha的系统交流。萨曼莎很快就学会了社交互动并表现得越来越人性化。在频繁而长期的对话中亲密的情感关系得以发展。智能写作程序或称“写作机器人”不仅被媒体和新闻业用于处理常规文本比如商业新闻、体育报道或小报消息同样可以应用在行政管理或法律领域的常规文本写作中。我们也将体验到在科研领域中使用智能写作程序。在医学、技术和自然科学领域专业刊物上的论文出版量已经变得如此巨大以至于各个专业研究领域的专家都没有时间详细阅读这些文章。研究结果必须以极快的速度出版才具有竞争力。完全可以想象将来科学家只需要在某个论文结构中输入数据、参数和结果智能系统就能按照其写作风格写出一篇规范的论文。写作机器人在金融行业也应用得越来越普遍。可以在几秒钟内生成多个原来靠人类专家才能完成的报告比如公司简介。可以提示客户、基金经理采用何种策略投资股票市场以及基金如何发展。保险公司使用智能写作程序来衡量销售业绩并提出改进建议。自动创建的文本可以确认客户的投资策略是否能够取得成功。自动编写程序提供的支持还可以为客户提供更多的个人建议。人力投资顾问并没有被取代但数字产品的发展速度与IT工具的指数增长一样迅速。六、神经网络和机器生物体的自组织大脑则与可编程计算机不同。在演化进程中网络最开始以复杂基因及蛋白质网络中的亚细胞供应、控制和信息系统的身份出现。基于神经化学信号处理功能的神经细胞的信息、控制和供应系统不断进化。蚂蚁种群的发展就像人类大脑和人类社会的网络物理系统一样。根据我们的工作定义如果一个系统能够独立而有效地解决某种问题那么这个系统就是智能的。传统上我们把在进化过程中发展起来的自然系统和在技术上引入的技术“人工”系统区分开来。智能度取决于数学复杂性理论中可以测量的问题的复杂性。自然进化中产生的有效解决问题的方法并没有通过计算机模型中的符号方法进行表示。亚细胞、细胞和神经元自组装产生适当的复杂网络。神经元由图形网络的节点表示触连接由图形网络的连线表示。神经化学连接的强度由连接权重来表示。学习在神经元的开关模式建构过程中产生受到神经网络的学习算法指导。强烈的突触耦合产生了神经元的开关模式与一个生物体的大脑情感或者肢体动作状态相适应。这个过程也可以通过计算机模型来模拟这种模拟基于神经网络、自动机与计算机之间的基本的数学等价性。已经得到证明一个McCulloch-Pitts网络可以通过一个能够终止的自动机模拟。可终止的自动机包括一些简单的系统比如火车站的自动购票机它能够识别一些简单的指令语言代码。反过来一个可终止的自动机的功能也可以由一个McCulloch-Pitts网络来实现。数学上这样的网络可以通过实数加权。也可以这样说一个由McCulloch-Pitts网络类型的神经网络系统构成的生物体只能解决具有这种复杂性的问题即能够被一个可终止的自动机解决的问题。在这个意义上说一个这样的生物体的智能与一个可终止的自动机的智能是同等程度的。不过哪些神经网络相当于图灵机也就是相当于根据丘奇Church论题可以编程控制的计算机呢这些机器和神经网络可以识别哪些语言呢这些语言涉及某些自然语言它们可以通过乔姆斯基语法体系推导出来也就是可以递归地建构起来。可以证明图灵机依据这种语言识别功能能精确地模拟那些突触权重为有理数且有反馈环的神经网络。反过来说图灵机可以被具有突触权重为有理数的识别递归语言的神经网络精确地模拟出来。如果我们把图灵机作为程序控制计算机的原型那么根据这个证明一个具有有限的突触强度的大脑可以被一个计算机模拟。相反一个图灵机即一个计算机的工作过程可以被一个具有有限的突触强度大小的大脑追踪。换句话说这种大脑的智能度对应于图灵机的智能度。这样的神经网络原则上可以在适当的计算机上模拟。事实上实际应用例如模式识别的大部分神经网络仍然是在数字计算机例如诺伊曼机器上模拟实现的。只有神经形态的计算机才能直接构建神经元网络。但是如果神经网络的突触权重不仅允许是有理数即大小有限的数字例如2.3715其中小数点位数有限而且还可以使用任意实数即小数无限多的小数点例如2.3715……这也是不可计算的的话将导致怎样的结果呢从技术上讲这样的网络不仅可以执行数字计算而且可以进行模拟计算。在信号理论中模拟信号被理解为具有连续且不间断的过程的信号。在数学上模拟信号被定义为无限可微分的连续的平滑函数。显然这样一个函数的图形没有不可微分的拐角和断点。因此一个模拟信号形式的物理量的时间连续过程可以被描述出来。模拟-数字转换器将时间连续的输入信号离散成单独的离散样本。事实上在一个自然的有机体中许多过程可以被认为是模拟的。因此视觉信号处理可以通过触发传感器的连续电磁场来描述。听觉的声学也是基于稳定的声波的。触觉上皮肤传感器也能提供稳定连续而不是数字化的感觉。现在有人会争辩说在有限的物理世界中的测量值是有限的因此原则上是可数字化的。然而对于人工智能具有非常重要意义的是模拟性的神经网络的理论结果。在数学上如果拥有关于实数的数学理论突触权重为任意实数的模拟神经网络也可以被明确地定义出来。核心问题是模拟神经网络是否可以比具有有理数的神经网络且因此比图灵机或数字计算机做得“更多”。这可能是人工智能辩论中的一个中心论点也就是说具有实数的数学比仅具有比特数的计算机科学可以做得“更多”。自动机和机器的核心特征是对形式语言的认识和理解。如果一个自动机经过有限多的步骤之后进入一个可以接受的状态并终止了它就将一个读入的单词识别为某种形式的符号序列。自动机可以接受的语言仅包含可被它识别的词汇。可以证明有限状态自动机正是可以识别规则语言的简单符号序列。上下文无关语言使用的规则推导出的符号与背景符号无关它们被更强大的具有特殊存储结构的自动机识别。递归可枚举语言非常复杂只能被图灵机识别。具有有理数突触权重的神经网络以及图灵机也可以识别递归可枚举的语言。这可以是生物体的自然神经元系统也可以是符合具有有理数突触权重的递归神经网络的规律的人造神经形态计算机。现在可以证明模拟的神经网络具有实数的突触权重原则上可以在指数大小的时间内识别不可计算的语言。通过将自然数和有理数的可计算性概念扩展到实数上这种证明在数学上是可能的。可以用差分方程代替数字过程也可以用差分方程来描述连续的实际过程。换句话说所有类型的动态系统例如物理学中的流动、化学反应和生物界的组织原则上都可以用相应的、扩展了的、具有实数的模拟系统来表示。当然模拟神经网络在多项式时间内不能解决NP困难问题。可以证明旅行商问题TSP也是关于实数的NP困难问题。另一方面根据逻辑学家阿尔弗雷德•塔斯基Alfred Tarski的证明任何在实数域上可以定义的数量是有确定性的。相反在整数域上可定义的集合是不可确定的。这是哥德尔的算术不完全性定理的一个结论。实数上的可计算性显然在一定程度上比整数域上的数字可计算性“更简单”。无论如何推广到实数域的普遍性的模拟性的可计算性的优点是它比较客观地概括了生物体、大脑和神经形态计算机中的模拟过程。在这里可以清晰地观察到与进化、数学和技术方法非常相近的一个等价说法它依赖于丘奇推论的扩展性:不仅数字化上的有效过程可以被计算机模型表示出来自然过程中模拟有效过程也可以。这是一个关于复杂动态性系统的统一理论的核心。计算机中带有数字的符号代码只是我们的一种信息处理方式它代表了原子、分子、细胞和进化的过程。可以这样来区分可计算性的程度一个非确定性图灵机在计算过程中除了使用通常的有效计算的基本操作外还使用随机决策。为此我们借用图灵定义的Ψ预言机扩展了图灵机的概念对于Ψ预言机而言除了一个确定性的图灵机的命令一个操作Ψ也是可以的例如给Ψ(x)的x赋值尽管我们不知道它是否可以计算。这样这种计算就依赖于这个预言Ψ。大自然中的一个例子是DNA信息有效处理过程中的随机变化。这就是相对可计算性一个函数相对于Ψ是可计算的如果它通过一个Ψ预言机是可计算的话。相应地一个相对化版本的丘奇推论可以这样来定义所有相对于Ψ有效的过程可以被一个通用Ψ预言机来模拟。一个扩展的对于实数的模拟版本的丘奇推论也可以被定义。已经证明了一个模拟神经网络在多项式时间内能够识别一个合适的Ψ预言机在多项式时间内能够识别的语言。根据我们对人工智能的定义一个具有相应的模拟神经元的神经系统的自然有机体或者一个具有相应技术的神经系统和Ψ预言机一样地智能。人类的知识与意识联系在一起。来自长期记忆的相应数据和规则被放置到短期记忆中可以被象征性地表示为我知道我是个知道能够或做了某事的人。原则上不能排除人工智能系统将来会有类似意识的能力。这样的系统会创造出与人类截然不同的它们自身的体验、经历和身份。所以如果将人工智能研究仅仅局限在具有与人类相似的意识的人工智能系统上将是进入了一个死胡同。七、机器和大脑的融合从2006年开始随着所谓“树搜索”的蒙特卡洛算法的应用人工智能程序已经成功地模拟了围棋走法但还没有超过业余爱好者的水平。只有将下棋走法选择的统计性的“树搜索”与深度神经网络学习算法监督和强化学习结合人工智能程序才获得了成功。2016年谷歌公司的“阿尔法狗”Alpha Go软件在围棋比赛中击败了人类冠军人工智能取得了惊人的突破。谷歌公司的程序员也很惊讶于“阿尔法狗”根据下棋状态学习的速度之快。当然超级计算机消耗发电厂级别的能量而人类大脑仅仅消耗白炽灯量级的能量。在进化过程中更多的具有“较慢”突触的神经元分布在敏感的湿件细胞组织神经化学上导致联网密度增加在节能降耗的同时提高了“自然智能”的性能。技术上通过鲁棒“硬件”例如硅半导体技术提高处理速度和存储容量以增加“人工智能”的性能但是能量消耗较大。能耗较大的一个原因是计算机传统的冯•诺依曼体系结构其存储器和处理器分开数据必须在这些单元之间不断交换。这种限制“冯•诺依曼瓶颈”需要耗费大量的时间和精力。与此相反大脑是一个多态系统其中的蜂窝网络既能存储数据又可以处理数据。神经形态计算机如果能将进化的、模拟的和数字的技术融合起来就可以将计算机技术上的效率与进化优势例如节能结合起来。八、神经网络与机器学习具有适当的拓扑结构和学习算法的人工神经网络的机器学习算法模拟大脑信息处理过程神经元神经细胞通过传播神经化学信号的突触相互连接连接具有一定的强度通过连接权重来表示。由于Hebb规则当来自相邻区域的加权输入的总和超过阈值时神经元激发动作电位。此外神经元排列成层状这对应于人脑的皮层结构。在神经元层面学习意味着兴奋的神经元相互连接。在神经心理学中这种互联模式与某些认知状态如感觉、想象、感情、思维和意识有关。在神经网络模型中这些互联过程由学习算法建模该学习算法改变突触的权重数值因为它们表示互联模式中突触连接的各个神经元的强度。有不同类型的学习算法。在监督学习中神经网络首先向一个原型学习。例如脸部像素的分布模式。颜色和色调的局部强度由相应的突触权重表示出来。一个神经网络可以通过训练来适当调整权重。通过与训练好的原型比较可以在各种脸部照片中识别出训练好的脸部照片。在非监督学习中神经网络能够独立地识别数据的相似性以便相应地对它们进行分类。所以这种神经网络算法就可以识别一只猫的面孔即使在没有先学习了解过猫是什么的情况下。在加强学习过程中系统首先被赋予某项任务然后它应该或多或少地独立解决问题。例如一个机器人要独立寻找到一个给定目标的路径。在解决这个问题时机器人在一定的时间间隔不断地得到如何找到路径或者解决问题的反馈。解决方案的策略是优化这个反馈序列。深度学习只是指神经网络的深度它对应于神经层的数量。例如一个面部识别的神经网络中第一层区分彩色像素第二层将端点和边连接起来第三层负责面部部分细节最后在第四层得到面部的信息。这种算法的数学模型在20世纪80年代就有了但是最近几年在技术上才可以实现因为需要强大的计算能力譬如具有100万个神经元和10亿个突触的谷歌“大脑”。这种技术不能靠少量的神经层来实现。神经层数应该根据可以使用的计算能力随意增加以提高系统的运算效率。九、机器学习和自行驶车辆一个非常热门的应用实例是自行驶车辆具有各种传感器例如距离、灯光、碰撞和电机设备的简单汽车已经可以通过自组织神经网络产生复杂的行为。如果相邻的传感器在与外部物体发生碰撞时被激发就会激发一个相应地与传感器相连的神经网络的神经元。这在神经网络中产生了一种代表外部对象的连接方式。原则上这个过程类似于生物体对外部物体的感知过程但是后者更加复杂。如果我们现在想象一下这辆汽车配备了“记忆能力”数据库它可以记住危险的碰撞以避免在未来碰到它们那么人们会想到汽车行业未来将如何建立具有自我学习能力的车辆。这些系统将与在某些条件下具有预先编程行为的传统驾驶员辅助系统显著不同。它将是一个神经学习系统就像高度进化的生物体的学习功能一样。培训能够自主学习行驶的车辆需要多少次的真实事故为代价如果自动驾驶车辆发生事故谁负责其道德和法律的挑战是什么对于诸如具有数百万的元素和数十亿的突触连接的神经网络的复杂系统尽管允许使用统计物理学的定律对整个系统的趋势和收敛行为进行全局性的描述但是每个元素的经验参数的数量可能如此之大以至于无法确定局部原因。神经网络对我们来说仍然是一个“黑匣子”。从工程学的角度来看奈特Knight关于机器学习的核心提到了一个“黑暗的秘密”“即使设计基于机器学习系统的工程师可能也很难将任何单一行为的原因分离出来。”软件工程中有两种不同的方法是可以想象的1.测试只显示随机发现的错误但不是所有其他可能的错误。2.为了避免基本的错误必须对神经网络进行正式的验证。自动定理证明的优点是可以证明软件作为数学定理的正确性。自动证明的重要性在人工智能诞生之时就已经被认可了就像本文之初所介绍的。因此我建议在机器学习的神经网络之上引入一个形式化的元层次以自动完成形式化的正确性证明。例如我们设想一种配备传感器和作为其大脑的相应神经网络的自行驶汽车它的学习目标是交通法所规定的汽车行为比如于1968年在《维也纳公约》中制定的《公路法》。在第一步就像一架飞机那样这辆汽车配备了黑匣子以便保存其行为数据。这个数据量应该满足《维也纳公约》所规定的交通规则的要求。这种要求保障消除车辆的不当行为。在元层次上这个含义被形式化了以便通过定理证明来实现自动化证明。为此首先必须从黑匣子的数据中提取车辆的运动路径。统计学提供模型拟合的一种方法。对车辆轨迹的描述必须在下一个步骤以形式语言在元层次上表示出来。这种形式化的描述必须满足《维也纳公约》的相应正式条款要求。这个要求的形式化证明是由定理证明器自动化实现的并且可以凭借当今的强大计算能力以闪电般的速度实现。总之用神经网络进行机器学习是有效的但我们无法详细理解和控制神经网络中的过程。机器学习技术类似于统计测试但对于强调安全性的系统来说还是不够的。因此机器学习应该与定理证明相结合这是一种还未形式化的、基于逻辑的人工智能。正确的行为是由逻辑形式化中的形而上的方法保证的这些方法是可以自动证明的。十、人工智能和不完整信息的决策在复杂的市场中人们并不是按照“代表性经纪人”经济人的公理决定的理性预期来行动的而是根据不完整的知识、情绪和反应来决策和行动。因此美国诺贝尔奖获得者赫伯特•西蒙Herbert A.Simon定义了有限理性。这意味着面对复杂的数据我们应该选择比较满意的解决方案而不是寻求最完美的解决方案。但是处在有限理性和算法确定的信息条件下的决策是封闭的吗在1997年IBM公司的超级计算机“深蓝”Deep Blue击败了当时国际象棋的卫冕世界冠军。2016年谷歌公司推出了基于超级计算机的“阿尔法狗”软件系统并击败了围棋冠军。然而更令人感兴趣的是在扑克大赛中击败人类冠军的超级计算机上的软件系统。不像棋类游戏扑克是一个不完整的信息决策的例子。日常生活中的很多决策都属于这种类型例如商务谈判、法律案例、军事决策、医疗计划和网络安全等。相反国际象棋和围棋这样的棋类游戏的决策是完整信息下的决策其中每个玩家随时都全面了解全局情况。在扑克游戏中人们会利用情绪和感受影响比赛例如使用基于不完整信息的扑克牌花色来欺骗对手。人工智能专家也认为要让机器能够理解甚至产生人类情感还需要很多年的时间。但是上面提到的扑克程序绕过了情绪问题通过纯粹而复杂的数学计算打败了人类对手。人工智能首先是一种想要有效解决问题的工程科学这一点很清楚它并不是为人类智能建模、模拟甚至取代人类智能。即使在过去某些成功的工程解决方案也不是模仿大自然如人们试图飞翔模仿鸟类扇动翅膀他们就会坠落下来。只有当工程师掌握了空气动力学的基本定律时他们才能提出解决方案以便能将沉重的飞机移动到云层之上的高度而这些解决方案在自然界并没有发现。与人工智能不同的是大脑研究和神经医学它们想要为人类有机体建模理解人类有机体比如人类在自然中是怎样进化发展的。图形上可以通过一个“博弈树”来表示一个游戏。一个游戏的情况对应于一个分支节点从这些节点出发根据规则不断发展游戏这些游戏进程由“博弈树”中相应的分支来表示。这些树枝在某些节点游戏情境停止新的分支游戏进程又出现了。这就是复杂“博弈树”的产生方式。人工智能程序在处理游戏的时候会通过一个有效的过程在“博弈树”中找到之前走法的不足之处并试图在随后的游戏中避免它们。超级计算机的巨大运算能力可以实现百万次之多的自身博弈。但是扑克游戏所需要的自身博弈次数多达10126之量级即使是目前速度最快的超级计算机也无法在一个可以期待的时间内完成。现在就要使用数学知识了用数学概率定理和博弈论可以证明在某些情形下后面的走法根本就没有成功的可能。因此这些情形可以被忽略以减少计算时间。在这样的背景下Pokerlibratus程序使用两种不同的算法反事实的遗憾最小化Counterfactual Regret Minimation简称CFR是信息不完全的、解决零和博弈的一个迭代算法遗憾的修剪法Regret-Based Pruning简称RBP则是进一步的发展允许修剪掉在“博弈树”中不太成功的分支以便加快CFR算法。在零和博弈中RBP切断了所有不是一个“纳什均衡”最好响应的行动。一个“纳什均衡”是一种游戏状态此时没有一个玩家可以通过单方面的策略来改善自己的表现。人们在信息不完整的博弈中试图找到“纳什均衡”。在少于约108个可能的游戏情形游戏树中的节点的2人零和博弈中可以通过线性算法计算机程序精确地找到“纳什均衡”。对于较大的游戏可以使用迭代算法例如CFR收敛于作为极限值的“纳什均衡”。在每场比赛之后CFR会计算“博弈树”中每个决策点行动的“遗憾值”从而最大限度地减少遗憾改善游戏策略“反事实”意味着“怎样才可以做得更好”如果行动会带着负面的遗憾值RBP会跳过一定的迭代次数直到随后CFR的“遗憾值”变为正值。只要修剪完成跳过的迭代就会在一次迭代中完成。这减少了机器使用的计算时间和存储空间。十一、人工智能、物联网和工业4.0智能产生在与周边环境的相互作用中。从石器时代到现在人类大脑从生理学上说几乎没有改变。通过在目前技术社会中的互动可能性我们才能成为21世纪的人类。与此同时全球化的知识社会本身也变成了一个复杂的智能系统这个智能系统整合了各种或多或少的智能功能具有独立意识的每个人成为这个系统的一个组成元素。赛博物理系统旨在实施人工智能系统中的社交和情境知识以改善对人类的服务功能。因此它们是具有分布式人工智能的数字物理系统而不是孤立的个人机器人或计算机具有的人工智能。与具有数十亿相互作用的细胞、器官、传感器和神经系统的生物体相似社会体系可以被理解为具有经济代谢周期和体外信息系统的超级生物体。原则上这个程序也可以转移到其他应用领域因此不仅仅是某个领域的专家系统。自适应算法已经以指数级增长的计算能力来控制网络世界的进程。没有它们互联网上由数十亿传感器和联网设备产生的海量数据将无法管理。传感器使得现在的所有东西都可以彼此通信而不仅仅是人。这就是我们谈论物联网(Internet of Things简称IoT)的原因。工业4.0将物联网应用于工业和其他专业领域。工业4.0与历史上工业化的前3个阶段截然不同。工业1.0是19世纪蒸汽机的时代。在20世纪初工业2.0是由亨利•福特装配线的产生而引入的流水线不过是工作流程的算法化通过分工人们按照固定的程序一步步地生产出工业产品。在工业3.0中工业机器人进入了生产过程并且自20世纪末以来一直支配生产线上的工作。但是这些工业机器人是固定的并且一次又一次地为同一个特定的子任务执行相同的程序。在工业4.0中人工智能和机器学习融入了工作流程。操作人员通过网络设备同智能设备相互通信以灵活组织工作流程。根据客户的要求可以在需要的时间内单独定制产品。技术、生产和市场合并成一个社会技术系统灵活自动地适应不断变化的外部环境。经济数据可被视为价值链组成部分的产品。数据不像食物一样被消费但是像原材料一样可以通过不同的方式进行转化、合并和回收从而一次又一次地连接新的商业模式。例如一亿辆车辆的实时位置数据可以通过不同方式被利用起来车辆类型、出租车公司数据、天气数据和交通历史经验加起来可以优化一个区域的车辆流动模型。也可以利用同样的数据根据不同时间的交通负荷对相关经济状况和劳动力市场进行判断。还可以将数据与自动ABS信号结合起来以确定一个地区最安全的道路。大数据不仅在经济上有利可图而且在政府和行政管理方面也有优势。通过对大规模结构化和非结构化管理数据进行有针对性的评估可以做出更好的管理决策并指导公民行为。例如通过对经济、气候变化、人口统计、城市规划和交通规划的预测可以促进经济发展。同样网络舆情分析可以成为某些基础设施缺陷的预警系统如大型技术项目的规划审批程序。十二、区块链进入完全算法化的社会计算能力的指数级增长加速了社会的算法化。智能算法将逐渐取代机构并创建分散的服务和供应结构。区块链数据库技术展现了这个新数字世界的入门级场景。它类似一种分散的记账系统银行将经纪人之间的金钱交易用算法代替。这种分权措施是在2008年全球金融危机后发明的这次金融危机主要是由国家和国际中央银行的人为错误造成的。区块链可以被视为一个持续分散记录的账本。账本不是集中存储的而是分散在所涉及成员的每台计算机上。在每个“页面”块中参与者和安全代码之间的交易都会被记录下来直到完整并且新页面出现为止。技术上说它是一个使用加密技术连接的可扩展块的列表。每个块包含前一个块的加密安全的“哈希”、时间戳和事务数据。哈希是一个关于前一个块的信息的、由复杂的数字和字母组成的加密代码。新块由共识方法生成例如工作证明算法。通过区块链这个记账系统数字商品或资产货币、合同等可以根据需要进行随意复制“一切都是复制”这就是“价值互联网”Internet of Value,简称IoV。所有以前的交易都在每个块中再次编码。由于区块链中数据的积累单方面的变化将立即被识别。任何相关参与者都会识别其区块链副本中的更改因为相关的连接区块都必须“解包”。除此之外整个网络在“挖矿”过程中的计算能力需要很高这样才能使区块链具有强大的防伪功能。参与者的网络越大哈希表计算就越复杂。随着区块链的增加哈希的复杂性也在增加。分散式加密货币按照以下步骤工作:1.新交易已签署并发送给参与者的所有节点。2.每个节点参与者在一个块中收集新的交易。3.每个节点参与者搜索所谓的随机值nonce它验证它的块。4.节点参与者发现一个有效的块时它将块发送给所有其他节点参与者。5.节点参与者只有当下列规则有效时才接受该块1块的哈希值必须与当前难度级别匹配。2所有交易必须正确签署。3交易必须相应地覆盖前面的块无重复问题。4新的问题和交易费用必须符合公认的规则。6.节点参与者通过将其哈希值放入其新块中来表示它接受该块。创建一个新的有效块挖掘对应于解决加密任务工作证明。在网络中任务的难度是以平均每十分钟生成一个新块的方式来调节的。成功开采的概率与所使用的计算能力成正比。为此挖掘的难度必须不断地适应网络的当前计算能力。工作证明算法遵循以下步骤这里使用的阈值与采矿难度成反比1.初始化块将根哈希作为交易计算。2.计算哈希值HSHA256(SHA256(块头))。3.如果h≥阈值更改块标头并返回步骤2;否则h阈值,找到有效块停止计算和发布块。新块中包含的交易最初只由创建块的参与者确认。这只会给其有限的信誉。如果该块被其他参与者接受为有效则它们将在其新的块中创建其哈希值。如果大多数参与者认为这个块有效那么这个链将以最快的速度从这个块继续增长。如果不认为它是有效的链将从目前为止的最后一块开始增长。这些块演变成了一棵“树”。只有从第一个块根开始的树中生长的最长的链才被认为是有效的。因此这种形式的记账自动构成了大多数人认为有效的那些块。第一个密码货币开始被称为创世纪块它是唯一不包含前一个哈希值的块。参与者在比特币软件帮助下管理所有交易记录的分布式数据库区块链这是比特币网络的基础。可信的第三方和机构如银行、国家货币管理机构、中央银行被需要大量计算和防伪的算法代替如工作证明算法。比特币所有权的证明可以存储在个人数字钱包中。比特币转换成其他支付方式的比率是由供求决定的。这可能引发投机性泡沫目前这仍然是比特币能否被普遍接受需要解决的一个问题。与这些“儿童病症”无关从长期来看区块链在较长时期内将进入技术分散的数字世界中其中作为客户和公民的民众不通过中介机构来直接实现相互的交易和交流。这项技术的前景绝不仅限于银行和货币交易。未来的发展也是可以想象的其他服务设施和国家机构将被智能算法取代。乍看之下这是非常草根的民主更严密地分析可以看出这根本就不是民主的。民主的基本思想是每个人不论其地位和来源如何只有一票一人一票但是比特币的影响力取决于用户能够成功地实现一个新块的计算能力可用的计算能力越大用户就可以解决必要的加密任务从而保证安全性工作证明的概率和可信度越大。随着区块链的增长这些任务变得越来越复杂需要消耗越来越多的计算密集能力。计算强度意味着能源密集型。今天人们很少考虑到计算密集型算法要消耗大量能源这一事实。2017年11月比特币的计算网络消费在每个小时消耗的电力与丹麦整个国家的消耗相当。因此拥有廉价能源和能够为以高温状态运行的超级计算机降温的国家可以生产出最多的比特币如中国。除非采取对策和改进措施这种计算只会增加能源问题以及相应的环境问题。数字化的发展取决于更好的基础设施的整体平衡、较少的能源消耗和更好的环境。十三、超级智能人工智能研究自诞生之日起就与人类未来的伟大愿景联系在一起。人工智能能代替人吗有些人已经在谈论即将到来的“超人”引发了人们的忧虑和希望。另一方面这种贡献要求人工智能必须证明自己能够服务社会。笔者从大学时期以来就一直着迷于使人工智能成为可能的算法。但我们必须知道人工智能的基本知识能够评估其功能和局限性。令人惊讶的是我所秉持的基本哲学观点还是如此即最快的超级计算机也不会改变人类智能所能证明的逻辑数学基础。只有基于这方面的知识才能评估其社会效果。我们应该抓住人类智能的这个机会 未来智能实验室的主要工作包括建立AI智能系统智商评测体系开展世界人工智能智商评测开展互联网城市大脑研究计划构建互联网城市大脑技术和企业图谱为提升企业行业与城市的智能水平服务。每日推荐范围未来科技发展趋势的学习型文章。目前线上平台已收藏上千篇精华前沿科技文章和报告。 如果您对实验室的研究感兴趣欢迎加入未来智能实验室线上平台。扫描以下二维码或点击本文左下角“阅读原文”
