人工智能伦理

口 瑞士结构主义心理学家让·皮亚杰（JeanPiaget, 1896—1980）认为，感知取决于一个人对世界的看法，即世界观（world view），而世界观正是通过想象将感知融入现有意象中的结果（见皮亚杰1929年的著作《儿童的世界概念》）。如李白的诗——“暮从碧山下，山月随人归”——所描述的意象，感知被整合到世界观中以使其有意义，需要有想象力才能理解这类感知。

图4.72 中国古代文学中，有大量有关月亮的想象

口 法国存在主义哲学家、1964年诺贝尔文学奖得主让–保罗·萨特（Jean-Paul Sartre, 1905—1980）在其早期著作《想象心理学》（法文原名《想象：想象的现象心理学》）^[79]里，讨论了想象力的存在说明了人类意识的本质。

图4.73 萨特认为人性是自我塑造的结果，“人除自我塑造之外什么也不是”

口 想象与记忆、抽象思维、情绪的关系紧密，涉及许多不同的大脑功能。例如，利用磁共振成像，人们通过对幻觉症的研究，考察个人经历对想象的影响。

想象是高级的认知活动，有助于替代现实（例如反事实）使用知识解决问题，并且是整合经验和学习过程的基础。然而，想象力是当前人工智能最欠缺的能力之一，对它的形式化研究几乎空白。我们需要对可能世界进行建模，并且在现实世界与可能世界之上构造元规则系统，联通各个世界的关系。

SINGAPORE

Spark Imagination

1stLOCAL

图4.74 当机器具备一定的想象力之后，它就会异想天开，构造出很多虚拟世界

思想实验是想象力在数学、科学、哲学上的应用，它走在理论之前，是一种非常特殊的实践活动，不妨称之为“虚拟实践”。例如，塞尔的中文屋子、普特南的缸中之脑、福特的有轨电车难题、薛定谔的猫……思想实验摆脱了真实世界的束缚，让人们借助想象进行理性思考，最终得到一个讲得通的假说。这个假说是否正确，还得到真实世界里验证。

图4.75 很多数学家、科学家、哲学家沉醉于思想实验，它就是理性想象的“魔笛”

思想实验为辩论和交流提供了一个具象场景，它是对核心问题的一种理想表示，摈除了一些无关紧要的方面。思想实验的设计需要提纲挈领、以简驭繁，其本身就不简单，更不用说提出观点、理清脉络、得出结果了。现有的人工智能还远未具备想象能力，不能主动地进行思想实验，也就无法提出带有创新性的想法。

4.2.2 学习的本质

尽管我们一再强调机器智能和人类智能可以完全不同，二者在学习方式上的表现也允许千差万别，但对它们的共性仍然充满好奇。事实上，人类的某些学习策略也可赋予机器，所以下面先从学习的共性入手，然后再讨论机器学习的特性。

例4.20 欧氏几何一直是数学里训练学生逻辑思维能力的工具，因为它具有直观的特点，知识体系是公理化的，证明题往往就是培训学生把知识点串联起来，形成一条从已知条件到达结论的因果链。例如，意大利几何学家乔瓦尼·塞瓦（GiovanniCeva, 1647—1734）发现的“塞瓦定理”（见图4.75），利用三角形面积的定义，找到线段之比与面积之比的关系如下。

$$
\begin{array} { r } { \begin{array} { l } { \| \displaystyle \int _ { 0 } ^ { 1 } \| \displaystyle \int _ { 0 } ^ { 1 } \| \displaystyle \int _ { 0 } ^ { 1 } \| \displaystyle \int _ { 0 } ^ { 1 } \| \displaystyle \hat { \delta } \| ^ { \hat { \delta } } \| _ { \theta } ^ { \hat { \delta } } \| _ { \theta } ^ { \hat { \delta } } = \displaystyle \frac { \| \dot { \delta } \| \displaystyle \hat { \delta } \| ^ { \hat { \delta } } } { \displaystyle \| \hat { \delta } \| ^ { \hat { \delta } } } } \\ { \displaystyle \mathbb { P } \| \displaystyle \int _ { 0 } ^ { 1 } \| \displaystyle \int _ { 0 } ^ { 1 } \| \displaystyle \hat { \delta } \| ^ { \hat { \delta } } = \displaystyle \int _ { 0 } ^ { 1 } \| \displaystyle \hat { \delta } \| ^ { \hat { \delta } } = \| \displaystyle \int _ { 0 } ^ { 1 } \| \displaystyle \hat { \delta } \| ^ { \hat { \delta } } \| } \end{array} } \end{array}
$$