人工智能怎么理解问题？

　　一、什么是智能?

　　通过世界机器人大会，机器人以及人工智能的概念又一次被推上了风口浪尖。因为机器人能看到实体，所以大家并不陌生。但是人工智能对于大众来讲却一直是一个很玄幻的概念，而且针对人工智能，很多谬误也遍地开花。

　　所以，我就从一个基础的角度讲讲人工智能到底是什么，把它从一个看似遥不可及的概念拉回到一个我们人人都能理解的层次。

　　“智人”，生物学分类中人属的一个“种”，地球上现今全体人类的一个共有名称，说的也就是我们自己。我们用“智能”作为和其他生物划清界限的一个重要指标。

　　那到底什么是智能?

　　智能是我们所具有的基于神经器官一种高级的综合能力，它包含有感知、知识、记忆、理解、联想、情感、逻辑、分析、判断、决定等多种能力，它是一种可以使我们做出导致成功的决策的能力。所以从字面上理解，人工智能自然就是由人工制造出来的系统所表现出来的一种智能。但是，真实的人工智能并不像我们字面上看到的这么简单。

　　因为我们在研究人工智能的过程中，并不只是单单想制造出来一种机器或者一段程序，他的表现“看起来”像人一样，因为我们自身也并非一种完美的存在，我们也有自己的不足和缺陷，所以我们要追求的人工智能需要从以下四个维度去定义。

　　先把图放上：

　　在上图的四种定义中，顶部的定义关注思维过程与推理，底部定义强调行为;左侧的定义根据与人类表现的逼真度来权衡，右侧的定义依靠合理性的理想的表现量来衡量。而合理的定义就是如果一个系统可以基于已知条件做正确的事情那么它就是合理的。

　　下面我们对这四种定义进行详细叙述。

　　1、 像人一样思考

　　如果我们说某个程序能像人一样思考，那么我们必须找一个办法来确定人是如何思考的，但是十分遗憾地说，目前并没有一个十分有效的办法来找出我们人类的思维方式。

　　所以我们到底是如何思考的至今仍然是一个待解的谜题。

　　虽然是个难题，但是我们也在试图通过我们可以想到的办法来解决它，一个是通过对人类思维行为的观察和实验，一个是对我们的大脑进行观察与试验，而对大脑解密也是闻名世界的人类大脑计划(Human Brain Project, HBP)想要解决的一个子问题。

　　在第一种办法中，我们可以通过两项任务来完成：

　　一个是通过内省，也就是我们通过对自己思维过程的捕捉、回顾和思考来获得我们自身的思维过程;

　　另一个便是通过心理实验，也就是观察工作和进行思维活动的人，我们通过对被观察人的行为以及行为所表现出的特征，通过心理学等学科的方法，来逆向推测人类的思维活动。

　　但是我们很容易发现，这种方法中的两项任务都具有很大的主观性。所以这种方法遇到困难后人们就自然想绕过“心理”这个层面，直接对我们的大脑进行研究，所以我们的目标又投向了神经生理学以及神经信息学。只有具备了人脑足够精确的理论，我们才能把这样的理论表示成计算机程序。

　　人类大脑计划的目标是利用现代化信息工具，将大量、不同层次的有关脑的研究数据分析、处理、整合与建模，建立神经信息学数据库和有关神经系统所有数据的全球知识管理系统，以便从分子水平到整体系统水平研究、认识、保护、开发大脑。

　　大脑如何思维一直是困扰人类的一个问题。人类的“智能”正是来自人类极其复杂的大脑。在过去的六亿年中，生物体通过进化产生出由大量神经元相互联结而形成的神经网络，解决了在不断变化的复杂环境中人脑如何处理各种复杂信息的问题。

　　尤其是人的高级认知功能的高度发展，使得人类成为万物之首，具备了主宰世界的能力。由于人脑的结构和功能极其复杂，所以我们需要从分子、细胞、系统、全脑和行为等不同层次进行研究和整合，才有可能揭示其奥秘。

　　2、像人一样行动

　　如果说像人一样思考说的是把模仿人的内部智能思维过程定义为人工智能，那么像人一样行动则说的是把模仿人类智能外在表现称为了人工智能。

　　值得注意的是，这种模仿并不是一种物理模拟。如果严格地说，要想让一个机器能在“像人一样行动”这个维度具有智能，他需要的能力包括：自然语言处理，知识表示，自动推理，机器学习，计算机视觉以及机器人学。说了这么多理论的东西，我们来举一个具体的例子。

　　我们先设定一种情况：

　　假设在你面前站着一个黑衣人，他浑身都裹着一层布，所以你并不知道他是真正的人还是什么东西。就在这时你问了他一个问题：什么事情iPad能做，但是iPhone却不能做?他思考片刻回答道：焖住方便面桶。说完，默默地拿起iPad就把你刚刚泡上的方便面用iPad盖上了。这个时候再问你，你觉得他是一个真实的人类还是一种机器?

　　于是你陷入了沉思，这货不论是从问题回答的正确性以及行为动作而言根本看不出有什么漏洞，而且竟然还会机智地说段子，然后你承认你无法判断。

　　例子讲完了，其实刚才那个过程就是所谓的图灵测试的生动版。

　　人类的大脑能学习几乎所有东西，比如两三岁的孩子已经能够掌握至少一门的语言、能从极其复杂的环境中一眼认出父母，不管他们的站姿和表情。但这与人工智能相距甚远，更不用说搞清楚“智力”这种玄乎的东西了。

　　3、合理地思考

　　虽然我们人类的智能是伟大的，但是尽管如此，我们仍然需要面对一个十分严酷的结论，我们人类并不是完美的。而在追求完美的路上，我们遇到了人工智能，所以我们是将人工智能向人的方向发展还是向更加完美、在一定程度上已经脱离了人这个本体的方向来发展，这也是我们如何定义人工智能的一个重要议题。

　　所以在讨论了“像人一样”的话题后，我们要开始谈论“合理地”这个话题了。上面已经对什么是合理进行了说明，即如果一个系统可以基于已知条件做正确的事情那么它就是合理的。

　　希腊的哲学家亚里士多德是首先识图严格定义“正确思考”的人之一，他将其定义为不可反驳的推理过程。他提出的三段论为在给定正确前提时总产生正确结论的论证结构提出了模式，这就是三段论推理模式。

　　三段论推理说的是这样一种简单判断推理，它包含两个直言命题构成的前提，和一个直言命题构成的结论。一个正确的三段论有且仅有三个词项，其中联系大小前提的词项叫中项，在前提中出现两次;出现在大前提中，又在结论中做谓项的词项叫大项;出现在小前提中，又在结论中做主项的词项叫小项。

　　概念有点复杂，我们举一个例子：牛有四条腿，奶牛是牛，所以奶牛有四条腿，这便是三段论。

　　这些先贤认为这些思维法则正是支配头脑运行的基本法则，并且开创了被称为逻辑学的领域，而且19世纪的逻辑学家门为了世上各种对象以及对象之间关系的陈述制订了一种精确的表示法。

　　从表面上看这种表示法似乎距离我们所说的人工智能又近了一步，但是遗憾的是，这种方法却存在着很大的两处缺陷：

　　一个就是由于这种表示法为了精确表达各种对象之间的关系所以必须做到事无巨细，但是这就导致了，有些稍微复杂的问题，他们之间的逻辑表示可能要几百上千条，但是电脑的运行资源是有限的，可能在求解一个只有几百条事实的问题就已经耗尽任何计算机的资源。

　　其实人工智能自1947年图灵在伦敦数学学会真正提出来之后的将近70年的时间里，人工智能经历了很长一段的瓶颈期，直到现在才又重新蓬勃发展起来，逻辑学的这种思路正是一个重要原因。

　　也就是，人们总是希望创造或者用规则复现出一种合理推理的“规则”，然后让计算机照着这种规则来运行，但是问题就在这里：

　　一方面这种规则的制定并不是一件容易的事情，他需要的人力以及智力都远远超乎想象，况且世界上那么多需要“列举”的规则，能列举的完吗。

　　另一方面即使列举出了这些规则，但是要想将这些规则描述为计算机程序，庞大的计算量也并不是计算机所能承载的，更况且是几十年前的计算机，所以这也是一大缺陷。

　　另一个大的缺陷就是，在我们这个世界上，并不是所有的关系都是确定的，而且真正的事实是，大部分的关系都不能真正用逻辑来表示。

　　凡此种种，我们都不能用一个“百分之百”的知识来表示，这也是人工智能瓶颈期的重要制约因素，这也是为什么随着机器学习等优秀的处理概率事件的方法面市后人工智能得到飞速发展的一个重要原因。

　　4、合理地行动

　　为了说明行动这个具有行为要素的概念，我们需要引入一个叫Agent的概念，它是一种能够行动的东西。

　　我们平时所说的机器人只是Agent的一种表现形式，会写新闻稿的那段程序也是Agent的一种表现形式。所以合理Agent是一个为了实现最佳结果，或者当存在不确定性时，为了实现最佳期望结果而行动的Agent。

　　总体来看，“合理的行动”相对于“像人一样”避免了人类思维和行动上的缺陷，也避免了“合理地思考”的局限性，故合理Agent可以看做是对人工智能最好的一种逼近。

　　在实现人工智能“思维法则”的途径中，一个很重要的部分就是正确地推理，而且做出正确的推理也是合理Agent的重要组成部分——因为合理行动的一种方法就是逻辑地推理出给定行动将实现其目标的结论，然后遵照这个结论进行行动。

　　但是在这里需要注意的一点是，正确的推理只能是合理性的一部分，因为有些事情是合理的，但是它并不需要推理，正确推理是合理性的充分不必要条件。

　　例如手被火苗烫了一下，缩手就是一种反射行为，并且这也是一种合理行动，但是我们不能说这里面涉及了推理，而且这种行为比仔细考虑后采取的较慢的行为更成功。

　　合理Agent这个维度的定义与以上三种维度定义主要有两大优点：

　　第一点是合理地行动比合理地思考具有更加普遍的适用性。

　　因为它允许“可能性”这种机制的存在，当我们遇到一个没有 “百分之百”的决策的时候，我们可以通过先验概率和后验概率，得出一个实现最佳期望结果的决策。这样，我们世界中基本上所有的事情就都可以通过这种方法而使Agent有所行动了。

　　第二点就是这种途径比“像人一样”，即基于人类行为或者人类思维的途径更经得起科学发展的检验。

　　合理性的标准在数学上定义十分明确而且完全通用，所以这种情况就完全避免了人的主观性，这种合理性是可以通过科学方法验证能够实现的，“能被客观证明”这种特质也是“合理地行动”这个维度定义的一大优点。

　　二、小结

　　虽然第四种维度的定义普遍被认为是对人工智能的一种很好的逼近，但是如果把一个合理Agent放到一个十分复杂的环境中，由于环境参数巨大，决策难度和复杂度都超过了计算的限度。

　　这个时候，如果我们还想要实现完美的合理化，即总做正确的事情，恐怕这并不可行。不过我相信，随着算法的简化以及计算能力的提升，我们距离真正实现合理Agent人工智能的目标也一定会越来越近的。