1、专栏第 13 卷 第 3 期 2017 年 3 月62人工智能名人堂：纪念与欢庆我 们 知 道，只 有 站 在 巨 人 的 肩 膀 上，才 能 够 看得更远。丘吉尔也曾说过，“回顾历史越久远，展望未 来 就 越 深 远”。今 天1不 讲 具 体 的 智 能 科 技，讲 讲“人工智能名人堂：纪念与欢庆(AI Hall of Fame:In Memory and Celebration)”，希望与大家一同追忆历史，回 顾 奠 定 了 今 天“智 能”之 发 展 的 巨 人 们，以此纪念为人工智能作出杰出贡献的先辈与开拓者。关于人工智能名人堂2006 年，当 时 的 人 工 智 能 还 未 彻 底
2、走 出 冬天，远 没 有 今 天 这 样 火 热，时 任 人 工 智 能 国 际 杂志 IEEE Intelligent Systems 主编的詹姆斯 亨德勒(James Hendler)，为纪念人工智能 50 周年，组织大家出一期专刊The Future of AI，快印制时我才发 现，里 面 竟 然 没 有 一 篇 来 自 中 国 的 文 章。当 时 我在 此 刊 任 副 主 编。临 出 刊 的 最 后 一 刻，我 提 议，人工 智 能 已 经 50 周 年 了，不 能 没 有 中 国 的 声 音，于是 约 了 陆 汝 钤 院 士 和 当 时 在 美 国 亚 利 桑 那 大 学(The U
3、niversity of Arizona)人工智能实验室的曾大军，三人 写 了 一 篇 关 于 中 国 人 工 智 能 发 展 现 状 的 文 章“AI Research in China:50 Years Down the Road”。后来，我 们 又 针 对 中 国 人 工 智 能 的 研 究 情 况，于 2008 年出了一期专刊AI in China。2006 年，人 工 智 能 正 处 于 低 度 深 谷。为 了 鼓 励年 轻 人 加 入 这 个 领 域，大 家 商 量，选 择 一 些 在 人 工智能领域做研究的优秀年轻工作者，在 IEEE Intel-ligent Systems 上
4、开一个专栏，对他们进行介绍；同时 关 注 他 们 的 研 究 动 向 以 及 未 来 在 人 工 智 能 领 域 的发展。最初专栏想用“AI Top 10”这个名字，但后来 觉 得“Top”有 些 不 太 合 适，改 成 了“AIs 10 to Watch”。该专栏从 2006 年创办，2011 年是第三期，第 一 次 有 中 国 人 当 选，一 个 来 自 哈 佛，一 个 是 北 京大 学 的 王 立 威 教 授；2013 年 公 布 的 是 第 四 期，有 三位中国人当选，其中一位是清华大学副研究员朱军，2016 年 这 一 期 也 有 3 名 华 人，其 中 包 括 清 华 大 学 毕业
5、的夏立荣，现任美国伦斯勒理工学院(Rensselaer Polytechnic Institute,RPI)教授。2011 年是我担任 IEEE Intelligent Systems 主编的第 4 年，正是杂志创办 25 周年，大家都想庆祝一下。这一年 IEEE Intelligent Systems 在所有人工智能 期 刊 杂 志 里 影 响 因 子 最 高，这 同 样 值 得 庆 祝。其关键词：人工智能智能哲学王飞跃中国 科 学院自动 化 研 究 所2006 2008图1 IEEE Intelligent Systems 纪 念“未 来AI”与“AI在 中 国”专 刊1 此文系作者在20
6、16年10月18日举行的世界人工智能大会上的报告整理而成。第 13 卷 第 3 期 2017 年 3 月63实 最 初 这 本 杂 志 的 名 字 是“IEEE Expert”，后 来 从专 家 系 统 改 为 了 智 能 系 统，主 要 关 注 于 人 工 智 能 应用。这一年也是达特茅斯会议召开 55 周年，这个会议 奠 定 了 后 续 人 工 智 能 研 究 的 领 域。当 时 就 想，我们 不 仅 要 看 人 工 智 能 的 未 来，还 要 了 解 历 史，于 是创办了人工智能名人堂，来纪念这个领域的成就者。第一届名人堂2011 年 IEEE Intelligent Systems 选
7、出的人工智能 名 人 包 括 专 家 系 统 的 创 始 人 爱 德 华 费 根 鲍 姆(Edward Feigenbaum)、提出“人工智能(Artificial Intelligence)”的 约 翰 麦 卡 锡(John McCarthy)、2016 年 1 月 刚 刚 去 世 的 马 文 明 斯 基(Marvin Minsky)，以及鼠标的发明者道格拉斯 恩格尔巴特(Douglas Engelbart)，他是第一个提出“增强现实”概 念 的 人。还 包 括 发 明 万 维 网 的 蒂 姆(Tim)、计 算智能特别是模糊逻辑的扎德(Zadeh)、“现代语言学之父”也是认知科学家的乔姆斯基
8、(Chomsky)以及雷迪(Reddy)。朱迪亚 珀尔(Judea Pearl)和尼尔森(Nilsson)是当时“唯二”尚未获得图灵奖的名人堂入 选 人 员，珀 尔 在 选 入 名 人 堂 之 后 的 第 二 年 获 得 了图 灵 奖。尼 尔 森 虽 然 至 今 没 有 获 得 图 灵 奖，但 我 认为 他 是 把 人 工 智 能 从 文 学 变 成 科 学 贡 献 最 大 的 一 个人。现 在 的 深 度 学 习 基 本 原 理 基 本 没 有 超 出 他 的 书Learning Machines 所写的内容，那是他 1961 年写的第一本书。第二届名人堂第 二 届 名 人 堂 从 2015
9、 年 就 开 始 了 评 选 了，大家 一 致 认 为，这 项 工 作 的 工 程 量 太 大 了，而 且 评 选不 能 单 纯 由 个 人 学 术 成 就 的 高 低 来 决 定，需 要 综 合考 虑 许 多 方 面 的 因 素。后 来 决 定 由 13 个 人 共 同 负责此工作，我和尼尔森负责工作流程，不参与投票。来自人工智能领域 5 个顶级杂志的亚、欧、美 11 名专家进行匿名投票，全程保密。最后提名 100 余人，选出 50 人，加上 2011 年选出的 10 位成员，共 60 人，以纪念人工智能 60 周年。第 二 届 名 人 堂 选 出 的 50 个 人 中，有 30 个 人 在
10、2015 年 5 月 提 名 之 时 就 已 经 去 世 了。提 名 时 在 世 的20 个 人 中，霍 兰 德(Holland)2015 年 去 世，罗 宾 逊(Robinson)2016 年 也 去 世 了。目 前 在 世 的 有 18 人，其中包括 7 位中国人，按年龄顺序为：吴文俊院士、戴汝为院士、陆汝钤院士、张钹院士、李德毅院士、潘 云 鹤 院 士 和 郑 南 宁 院 士。戴 汝 为 院 士 在 中 国 科 学院 自 动 化 研 究 所 复 杂 系 统 管 理 与 控 制 国 家 重 点 实 验室，以 前 是 做 模 式 识 别 的。戴 院 士 创 办 了 中 国 第 一份 人 工
11、智 能 杂 志 模 式 识 别 与 人 工 智 能，这 个 杂志现在的主编是郑南宁院士。一个甲子的历程：从智能哲学到智能技术60 年，是 一 个 甲 子 的 历 程。智 能 从 亚 里 士 多 德三 段 式 形 式 逻 辑 一 直 到 今 天 的 智 能 控 制，经 历 了 很长 的 发 展 阶 段。智 能 科 技 起 源 于 哲 学，哲 学 的 原 意就 是 爱 智 慧，人 工 智 能 与 哲 学 联 系 在 一 起 是 自 然 而图2 第 一 届 名 人 堂专栏第 13 卷 第 3 期 2017 年 3 月64然 的，其 实 整 个 现 代 科 学 也 是 在 哲 学 基 础 上 发 展
12、而来的。然后经过莱布尼兹(Leibniz)、布尔(Boole)、弗 雷 格(Frege)逐 渐 把 逻 辑 形 式 化 发 展 为 数 理 逻 辑，再 经 过 怀 德 海(Whitehead)、罗 素(Russell)、哥 德尔(Godel)、丘奇(Church)、图灵(Turing)等发展为智 能 科 学 的 基 础，再 经 过 维 纳(Wiener)、麦 卡 洛 克(McCulloch)、皮茨(Pitts)、香农(Shannon)开启了认 知 科 学 的 领 域。哲 学 科 学 认 知，在 我 们的 心 理 世 界 要 转 化 成 知 识 就 有 了 机 器 智 能、人 工 智能、计 算
13、智 能，最 终 变 成 改 造 物 理 世 界 的 手 段。我们 需 要 的 是 智 能 机 器、智 能 人 工、智 能 代 理、智 能计算，最后是智能控制。所 有 的 起 源 都 可 以 追 溯 到 古 希 腊 亚 里 士 多 德 的三段式逻辑，中间的发展少不了西班牙人吕尔(Llull)的 贡 献。他 受 亚 里 士 多 德 的 影 响，提 出 了 Tree of Sciences，还 曾 发 明 了 一 种“逻 辑 机”，试 图 通 过 逻辑 方 法 获 取 知 识，后 来 又 影 响 了 莱 布 尼 茨。在 他 和莱 布 尼 茨 中 间 还 有 一 个 霍 布 斯(Hobbes)，就 是
14、 著 名的 利维坦 的作者，他第一个提出了思维的机械论，指 出 用 机 械 的 方 式 来 做 推 理。帕 斯 卡(Pascal)是 第一 个 做 现 代 意 义 下 计 算 机 原 型 的 人，他 也 是 一 个 哲学 家。莱 布 尼 茨，二 进 制 的 提 出 者，还 提 出 了 微 积分逻辑推理器的原型，包括后来的布尔代数(Boolean algebra)。怀 德 海 提 出 的 过 程 哲 学，是 哲 学 里 的创 新，更 是 人 工 智 能 创 新 的 基 础。他 与 学 生 罗 素 写了 数 学 原 理 这 本 书，三 大 卷，实 实 在 在 催 生 了人工智能。吕 尔 也 是 最
15、 早 试 着 用 机 械 装 置 做 逻 辑 与 计 算 的人。他做的第一代“图灵机”，凭脑袋勾画了 3 个圈，后 人 认 为 这 是 最 早 的 图 灵 机 原 型，他 是 第 一 个 提 出虚拟计算机的人。是 谁 把 智 能 研 究 变 成 了 科 学 研 究？是 德 摩 根(De Morgan)和布尔，真正把推理变成现代化的形式逻 辑 和 数 字 逻 辑，这 就 是 布 尔 的 思 维 定 律、布尔 代 数 和 德 摩 根 定 理，一 直 到 现 在，数 字 电 路 设计 里 面 还 在 用。当 然，后 来 香 农 在 他 的 硕 士 论 文 中把 思 维 定 理 里 面 的 方 程 重
16、 新 进 行 了 解 释，变 成 了 布尔 代 数。怀 德海 跟 罗 素 花 了十 多 年 时 间 写了三卷本的 数学 原 理，激 发了 很 多 人 来 做计 算 机 和 认 知计 算，最 后 图灵 集 大 成。有人说 1936 年人工智能在图灵的论文中诞生，但那篇论 文 里 确 实 没 有 提 人 工 智 能，只 有 图 灵 机，真 正 提出人工智能思想的是图灵在 1950 年写的文章。之后走 到 智 能 计 算，从 自 动 机(automata)开 始。按 年 龄第 一 个 要 提 的 就 是 波 斯 特(Post)，波 斯 特 定 理 就 是他 提 出 的。人 工 智 能 领 域 有 一
17、 个 定 理 证 明 的 奖，是以埃尔布朗(Herbrand)命名的，法国人。第一个得奖 的 是 王 浩，华 人 里 做 人 工 智 能 的 第 一 个 人，他 是哲 学 家，也 是 数 学 家。王 浩 的 师 弟，麦 克 诺 顿(Mc-Naughton)，他证明了有限状态自动机与正则语言等价 的 麦 克 诺 顿 定 理 等。香 农 的 博 士 论 文 没 有 他 的 硕士 论 文 有 名，是 关 于 人 类 遗 传 学 的，倒 是 真 正 的 生命 与 认 知 问 题。明 斯 基 是 正 式 提 出“代 理(agent)”概念的人，至今影响仍非常大。“金 三 角”的 悲 剧：20 世 纪 4
18、0 年 代 末 和 50 年 代 初，维 纳、麦 卡 洛 克、皮 茨，这 3 个 人 领 导 了 全 世 界 最先 进 的 认 知 科 学 研 究，一 起 提 出 了 控 制 论(Cybernet-ics)、神 经 元 网 络 模 型；今 天 的 大 脑 研 究，就 是 从 他们 3 个 人 的 研 究 来 的。这 3 个 人 都 是 受 数 学 原 理 这 本 书 的 影 响。最 初 维 纳 准 备 读 生 物 学，后 来 转 为了 数 学，又 转 读 哲 学，就 是 受 这 本 书 影 响；麦 卡 洛哲学图3 从 智 能 哲 学 到 智 能 技 术，多 学 科 的 融 合第 13 卷 第
19、3 期 2017 年 3 月65克 在 大 学 是 读 心 理 学 的，读 了 数 学 原 理 后，认为 大 脑 就 是 应 该 像 这 本 书 说 的 一 样 工 作，就 去 研 究大 脑 去 了，后 来 画 出 了 第 一 个 大 脑 功 能 图，成 立 了世 界 第 一 个 大 脑 实 验 研 究 室。皮 茨 就 更 传 奇 了，他小 时 候 被 父 亲 打 得 没 地 方 躲，躲 到 图 书 馆 去，在 图书 馆 的 时 候 撞 到 了 一 本 大 部 头 的 书，就 是 数 学 原理，无 师 自 通 竟 能 够 一 个 星 期 读 下 来，还 写 了 厚 厚的 笔 记 寄 给 罗 素
20、。罗 素 原 本 认 为 世 界 上 只 有 5 个 人通读过 数学原理，结果发现这个人很有心得，十分 高 兴，就 邀 请 他 到 剑 桥 大 学 做 研 究 生，却 不 知 道他 是 一 个 连 中 学 还 没 毕 业 的 小 孩，根 本 没 钱。后 来罗 素 到 芝 加 哥 讲 课，皮 茨 离 家 出 走 到 芝 加 哥 找 罗 素，从 此 再 没 回 过 家。皮 茨 在 芝 加 哥 遇 到 麦 卡 洛 克，志趣 相 投 加 上 没 钱，就 住 到 麦 卡 洛 克 家 去 了，晚 上 聊天，就 聊 出 了 麦 卡 洛 克-皮 茨 神 经 元 网 络 模 型，今 天的神经元网络就是从这来的。
21、后来维纳、麦卡洛克、皮 茨 这 3 个 人 走 到 一 起，成 了 非 常 好 的 朋 友。维 纳利 用 自 己 的 影 响，说 通 了 麻 省 理 工 学 院 录 取 连 初 中文 凭 都 没 有 的 皮 茨 做 他 的 博 士 生，后 来 麦 卡 洛 克 也放 弃 教 授 的 职 称，甘 愿 到 麻 省 理 工 学 院 做 一 个 实 验室研究人员，就是为了同维纳一起进行研究。当时，维 纳 是 他 们 的 精 神 领 袖，几 乎 有“神”一 样 的 权 威。1952 年 前 后，皮 茨 和 维 纳 的 另 外 一 个 助 手，给维 纳 写 了 一 封 信，说 他 们 来 了 很 多 新 设
22、 备，是 世 界上 最 先 进 的，将 做 世 界 上 最 好 的 研 究。他 们 写 道，你 赶 快 回 来 吧，再 不 回 来，就 晚 了，等 你 回 来 这 个世 界 都 变 了。维 纳 那 时 候 正 在 墨 西 哥 休 学 术 假，读了这封信立即翻脸，写信给 MIT 的校长，说从此与这 两 个 人 断 绝 关 系。这 两 个 人 觉 得 莫 名 其 妙，怎 么会收到这样一封回信？麦 卡 洛 克 从 此 很 少 去 实 验 室 工 作，皮 茨 白 天见 不 着 人，晚 上 在 酒 吧 喝 酒。为 了 让 皮 茨 有 生 活 保障，麻 省 理 工 学 院 给 了 他 一 张 表 格，告
23、诉 他 签 了 字就给博士学位，他拒绝了，甚至把博士论文全烧掉，四 十 几 岁 就 去 世 了。这 是 一 个 悲 剧，几 年 前，皮 茨还 和 香 农 同 榜 名 列 美 国 最 杰 出 的 科 学 家 之 一。如 果维 纳、麦 卡 洛 克、皮 茨 能 合 作 得 长 久 一 点，人 工 智能 就 不 会 像 今 天，不 会 长 期 以 离 散 信 号 的 物 理 符 号逻 辑 为 主 导，而 可 能 是 以 连 续 信 号 的 计 算 认 知 方 法为 主 导，就 像 今 天 的 深 度 学 习。当 时 这 3 个 人 几 乎什 么 都 能 做，从 移 动 机 器 人 到 生 物 假 肢
24、机 器 臂，再到脑信号分析，都能做出很好的结果，这一“金三角”的 悲 剧 实 在 令 人 惋 惜。大 家 有 兴 趣 可 以 阅 读 相 关 书籍，特别是 Rise of the Machines，刚刚出版，中文版是 机器崛起，详细讲述控制论一段遗失的历史。机 器 学 习 目 前 最 热，这 次 人 工 智 能 名 人 堂 入 选 的人 也 非 常 多，第 一 个 为 神 经 元 网 络“牺 牲”的 人 就 是弗 兰 克 罗 森 布 莱 特(Frank Rosenblat)，他 和 明 斯 基是 同 一 个 中 学 毕 业2。后 来，韦 伯 斯(Werbos)的 反 向传 播 学 习(BP)算
25、 法 拯 救 了 神 经 元 网 络，从 此 之 后 才有 了 辛 顿(Hinton)等 人 的 工 作 以 及 今 天 的 深 度 学 习。人 工 智 能 真 正 应 用 到 世 界，要 借 助 智 能 控 制。傅京孙（K.S.Fu，IEEE PAMI 的创始人）和萨里迪斯（Saridis，IEEE 机器人与自动化学会(IEEE RAS)创 始 人）就 是 智 能 控 制 的 提 出 者。30 多 年 前，萨 里迪 斯 曾 给 我 画 了 3 个 圈 人 工 智 能+运 筹 学+CS（控 制 系 统、通 讯 系 统、计 算 机 系 统）；3 个 框 组 织、协 调、执 行。30 年 后，我
26、画 了 平 行 智 能 的 5个 圈、5 个 框，从 信 息 物 理 系 统(CPS)到 社 会 物 理信息系统(CPSS)，从牛顿到默顿，从 UDC（Uncer-tainty、Diversity、Complexity：不确定性、多样性、复杂性）到 AFC（Agility、Focus、Convergence：灵捷、聚焦、收敛）。展望：凤凰涅，智汇天下60 年 前，人 工 智 能 在 美 国 的 汉 诺 威 正 式 诞 生。在中国，60 年是一个甲子，一切重新来过。2016 年年 初，我 在 另 外 一 个 汉 诺 威，在 德 国 的 汉 诺 威，见到了 Phoenix Contact 公司的两
27、位总裁，他们想进军2 两 人 之 间 的 故 事，可 见 作 者 在 微 信 公 众 号“知 识 分 子”的 文 章 纪 念 一 位 真 正 的 科 学 思 想 家：人 工 智 能 之 父 马 文明 斯 基。专栏第 13 卷 第 3 期 2017 年 3 月66工业 4.0 和智能产业。他们公司的名字很好，“Phoenix Contact”，中文的意思就是“凤凰涅 槃，智汇天下”，做智能产业是天时。人 工 智 能 是 很 多 人 努 力 的 结 果，AlphaGo 预 示着 我 们 进 入 新 的 IT 时 代，IT 不 再 是 过 去 的 信 息 技 术，而 是 新 的 智 能 技 术。我
28、们 开 发 的 是 第 三 个 世 界 人工 世 界，这 个 世 界 需 要 新 IT(Intelligent Technology)，图4 迎 接X5.0 的 智 能 时 代，迈 向 软 件 定 义 的 平 行 智 能但 是 不 能 忘 了 物 理 世 界 的 老 IT(Industrial Technology)，不 能 忘 了 心 理 世 界 的 旧 IT(Information Technology)。今 日 之 IT 代 表 了 新、旧、老 IT 的 三 种 组 合。人 工 智能 要 从 牛 顿 时 代 跳 到 默 顿 时 代。我 们 相 信 软 件 定 义的 一 切 将 成 为 未
29、 来 社 会 最 重 要 的 实 力。最后，针对近来喧嚣尘上的“人工智能威胁论”，我希望大家要有“三心”。首先，大家对人工智能要有激动之心，因为这是时代的召唤；要有敬畏之心，毕 竟 这 么 多 科 学 家 奋 斗 了 这 么 多 年 才 有 了 今 天 的 热潮。我 个 人 不 相 信 人 工 智 能 是 对 人 类 的 威 胁，霍 金说 人 工 智 能 预 示 着 人 类 的 终 结，我 套 用 他 的 一 句 话进 行 回 应，他 说“我 们 不 能 把 飞 机 失 事 归 罪 于 万 有引 力”，那 我 们 也 不 能 把 人 类 的 灭 亡 归 罪 到 人 工 智能身上。对此，大家要怀有平常之心。致谢：新 智 元 提 供 了 现 场 速 记 材 料，复 杂 系 统 管 理 与控 制 国 家 重 点 实 验 室 王 晓 和 中 国 自 动 化 学 会 赵 学 亮协 助 进 行 了 整 理。王飞跃 C C F杰出会员。中国自动化学会副理事长兼秘书长，中科院自动化所研究员。主要研究方向为智能控制、社会计算、平行系统、知识自动化等。f eiyu e.wa ngia.a ADL2017年工作组成立2017 年 3 月 2 日，CCF ADL 工作组在京成立并召开了首次工作会议。参 会 人 员 合 影。左 起：黄 罡、刘 克、郑 宇（组 长）、文 继 荣、唐 杰、山 世 光
