读AI新生：破解人机共存密码笔记17不确定性和概率

1. 前向搜索

1.1. 通过前向搜索，通过考虑各种可能的动作序列的结果，来选择动作，是智能系统的基本能力

1.2. 如果一家卡车运输公司想要优化其100辆卡车在美国的运输，那么该公司可能需要考虑的状态数量将是10^700个

1.3. 几乎所有的前向搜索程序都在使用的基本思路是，给叶子节点，即最遥远的未来的那些状态，各赋予一个估计值，然后“回溯”，找出根节点的各个选择有多好

1.4. 人类能够管理自己的计算活动，从而合理而又迅速地做出理智的决策，这种能力至少与人类正确感知和推理的能力一样非凡

1.5. 选择计算的过程叫元推理，这意味着对推理进行推理

1.5.1. 计算的价值在于它能提高你的决策质量

1.6. 探索从当前状态延伸到未来的可能性之树并不是做出决定的唯一途径

1.6.1. 从目标开始向后追溯更有意义

1.6.2. 目标通常会考虑所有可能的合法动作

1.7. AlphaZero大约能向前计算50步棋，但是50步棋的运动控制指令只能让你计划几秒钟后的未来

1.7.1. 虽然AlphaZero在围棋对局中比任何人都看得更远，但这种能力在现实世界中似乎并没有帮助

1.7.2. 这是一种错误的前向搜索

1.7.3. 它考虑的唯一动作就是从初始状态开始按顺序发生的原始动作

1.8. 1962年，赫伯特·西蒙在著名的论文《复杂性的体系结构》中强调了层级组织的重要性

1.8.1. 自20世纪70年代初以来，人工智能研究人员已经开发出多种方法来构建和细化层级组织的计划

1.8.2. 目前现有的所有分层规划方法都依赖于人为产生的抽象动作和具体动作的层级组织，我们还不知道如何从经验中学习这种层级组织

2. 知识与逻辑

2.1. 在古代印度、中国和希腊独立发展起来的逻辑学核心思想是，精确含义和合理推理可以应用于任何句子，而不仅仅应用于数字

2.2. 逻辑学是一种用确定的知识进行推理的研究

2.2.1. 就主题而言，它是完全通用的，也就是说，逻辑学知识可以是关于任何事物的

2.2.2. 逻辑学是我们理解通用智能的不可或缺的一部分

2.3. 命题逻辑

2.3.1. 自20世纪60年代初以来，命题逻辑中实用的“推理算法”就已为人们所知

2.3.1.1. 虽然在最坏的情况下，处理一般推理任务可能需要花费指数级的时间

2.3.2. 一旦人们将所有这些任务表述为推理任务，就可以使用单一算法（命题逻辑的推理算法）来解决所有任务

2.3.3. 问题不仅在于规则手册将达到令人难以置信的规模，还在于学习系统从例子中获取规则，需要多到令人难以置信的经验

2.3.3.1. 这种限制不仅适用于基于命题逻辑的系统，也适用于任何具有类似表达能力的系统，其中包括贝叶斯网络（它最早是命题逻辑的概率学“表亲”）以及神经网络（它是人工智能“深度学习”方法的基础）

2.4. 一阶逻辑

2.4.1. 一阶逻辑由德国数学家戈特洛布·弗雷格（Gottlob Frege）于1879年提出，它为人们提供了一种描述规则的方法

2.4.2. 命题逻辑和一阶逻辑的关键区别在于：命题逻辑假设世界是由真假命题组成的，而一阶逻辑假设世界是由可以通过各种方式相互关联的对象组成的

2.4.2.1. 用一阶逻辑描述与用英语描述几乎一样长

2.4.3. 名为Prolog的编程语言

2.5. 逻辑无法处理不确定的信息

2.5.1. 有效的老式人工智能，简称GOFAI

2.5.2. 越来越多的人认为逻辑与人工智能无关

2.5.3. 事实上，如今深度学习领域的许多人工智能研究人员对逻辑一无所知

2.6. 在任何有用的意义上，一个可以了解事物的程序至少需要拥有与一阶逻辑能力相媲美的表达和推理能力

3. 贝叶斯网络

3.1. 20世纪80年代初，朱迪亚·珀尔提出了一种叫作“贝叶斯网络”的正式语言

3.2. 就像命题逻辑一样，有些算法可以用任何证据回答任何贝叶斯网络的任何问题

3.3. 贝叶斯网络提供了一种基于知识系统的方法，避免了和20世纪80年代基于规则的专家系统一样的失败

3.3.1. 事实上，人工智能界如果在20世纪80年代初不那么强烈地抗拒概率，就可能会避免基于规则的专家系统泡沫之后的人工智能寒冬

3.4. 贝叶斯网络为表示必要的概率和执行计算提供了机制，为许多复杂任务实现了贝叶斯更新

3.4.1. 就像命题逻辑一样，它们表达一般知识的能力也相当有限

3.5. 了解不确定的世界的基本方法是贝叶斯更新

3.6. 实现它的算法通常有两个步骤

3.6.1. 预测，在这个步骤中，智能体根据最近的动作预测世界的当前状态

3.6.2. 更新，在这个步骤中，智能体接收新的感知输入并相应地更新它的信念

3.7. SLAM是许多人工智能应用的核心组件，从增强现实系统到无人驾驶汽车和行星漫游车

3.7.1. 同步定位与地图构建

4. 不确定性和概率论

4.1. 逻辑学为用确定的知识进行推理提供了通用基础，而概率论则需要用不确定的信息进行推理（确定的知识是其中的一种特例）

4.2. 不确定性是现实世界中的智能体的正常认知状态

4.3. 虽然概率论的基本思想是在17世纪发展起来的，但直到最近，以正式的方式用大概率模型来进行表达和推理才成为可能

4.4. 一阶概率语言

4.4.1. 可以将一阶逻辑的表达能力与贝叶斯网络精确获取概率信息的能力结合起来

4.4.2. 这种结合让我们得到一加一大于二的效果：基于概率知识的系统能够处理比单用逻辑方法或贝叶斯网络更广泛的现实世界情况

4.4.3. 一阶逻辑和概率论的结合给了我们一种表达许多对象的不确定信息的方式

4.4.3.1. 不仅有关于哪些事实是真或假的不确定性，还包括存在哪些对象的不确定性，以及对象的对应关系的不确定性

4.5. 概率论与有表达能力的正式语言的结合是人工智能的一个非常新的子领域，通常被称为概率编程

4.5.1. PPL

4.5.2. 其中许多都是从普通编程语言而不是从一阶逻辑中获得表达能力的

4.5.3. 所有的概率编程语言系统都具有用复杂的、不确定的知识进行表达和推理的能力

4.5.3.1. 其应用有微软的TrueSkill系统，该系统每天为数百万名电子游戏玩家评级

4.5.3.2. 还有以前任何机械假说都无法解释的人类认知方面的模型

4.6. 概率推理最重要的作用之一是了解世界上无法直接被观察到的部分

4.6.1. 在部分可见的环境中运行的智能体必须根据它们所拥有的线索，尽可能地了解它们看不到的东西

4.7. 信念状态（belief state）一词来指代智能体对世界状态的当前认知，无论这种认知是多么地不完整和不确定

4.7.1. 保持信念状态为最新状态是一切智能体的核心活动

4.7.2. 对于信念状态的某些部分，这是自动发生的

4.7.3. 对于其他部分，这则是按需发生的

5. 从经验中学习

5.1. 学习意味着基于经验改进性能

5.2. 机器学习最常见的形式是监督学习

5.3. 从规则的逐步发展中可以看出，学习是通过对假设进行一系列修改来适应观察到的例子而实现的

5.3.1. 这是学习算法可以很容易做到的事情，也是第一个要点

5.3.2. 假设也可以是表示物理定律的代数表达式，表示疾病和症状的概率贝叶斯网络，甚至可以是表示某些其他机器的复杂行为的计算机程序

5.4. 第二个要点是，即使好的假设也可能是错误的

5.5. 归纳推理

5.5.1. 从“特定观察结果”到“一般原则”的推理，永远无法得到保证

5.6. 在现代统计学理论中，我们要求的不是保证完全正确，而是保证发现的假设大致正确

5.7. 只要世界表现出一定程度的规律性，这个算法就不太可能产生非常糟糕的假设，因为这样的假设很可能已经被某个尝试“发现”了

5.8. 深度学习技术在媒体上引起了所有关于人工智能的喧嚣

5.8.1. 它主要是一种监督学习的形式，代表了近几十年来人工智能领域最重要的进步之一，所以值得我们了解它的工作原理

5.8.2. 在特定任务的背景下理解深度学习是最容易的

5.8.3. 目前最受欢迎的是深度卷积网络

5.8.3.1. 网络实际上是一幅复杂的、可调的数学表达式的图画

5.8.3.2. 奇特之处在于，网络结构在图像的整个输入过程中以固定的模式自我重复

5.8.3.3. 它之所以被称为“深度”网络，是因为这样的网络通常有很多层，也因为这个名字听起来令人赞叹，而且有些诡异

5.8.4. 因为它们有很多层，所以每一层都可以学习从输入到输出的一个很简单的转换，而许多这样的简单转换加起来，就是从照片到类别标签所需的复杂转换

5.8.4.1. 深度视觉网络具有内置的结构，可以强制实现平移不变性和尺度不变性，这意味着，无论狗出现在图像中的哪个位置，无论它在图像中看上去体型有多大，它都是一只狗

5.8.5. 深度网络的另一个重要特性是，它们经常能发现图像的内部表示形式，正是这些形式捕捉到了图像的基本特征，例如眼睛、条纹和其他简单形状

5.8.5.1. 多次重复这个过程就会生成现在众所周知的DeepDream（“深梦”）或Inceptionism（“启发主义”）神经网络生成的那种图像

5.8.5.2. Inceptionism本身已经成为一种艺术形式，它生成的图像不同于任何人类艺术

5.8.6. 虽然深度学习系统取得了令人瞩目的成就，但我们目前所理解的深度学习系统远不能为通用智能系统提供基础

5.8.6.1. 它们是电路

5.8.6.1.1. 在“原生模式”下运行的深度网络需要大量的电路来表示相当简单的常识

5.8.6.2. 它们是命题逻辑和贝叶斯网络的表亲，虽然它们有很多奇妙的特性，但它们也缺乏用简洁的方式表达复杂知识的能力

5.8.7. 深度学习可能会在远低于通用智能的水平上停滞不前

6. 从思考中学习

6.1. 每当你发现自己不得不思考某件事时，那是因为你还不知道答案

6.2. 你存储并重复使用了问题的通用解决方案

6.3. 看到例子后，智能体可以自己解释为什么会出现这种情况，并可以通过了解哪些因素对解释至关重要，来提取通用原理

6.3.1. 在人工智能中，这种学习被称为基于解释的学习

6.3.2. 这个过程本身不会增加新的知识

6.4. 认知科学的研究强调了这种类型的学习在人类认知中的重要性

6.4.1. 它以“知识块”之名，形成了艾伦·纽厄尔（Allen Newell）极具影响力的认知理论的核心支柱

6.4.2. “知识块”解释了人类如何通过练习而变得更熟练地处理认知任务，因为原本需要思考的各种子任务都变成了自动完成的任务

6.4.3. 如果没有它，人类的对话将局限于一两个字的回答，数学家仍将依靠他们的手指计数