性, 而 女 性 被 询 问 者 需 要 努 力 自 证 现 在 我 们 问 : 如 果 我 们 把 模 仿 游 戏 中 的 男 性 被 询 问 者 换 成 计 算 机, 结 果 会 怎 样? 相 比 人 类 男 性, 计 算 机 能 否 使 询 问 者 更 容 易 产 生 误 判? 这 里 有 几

图 灵 测 试 与 人 工 智 能 黄 铂 钧 微 软 亚 洲 研 究 院 bojhuang@microsoft.com 2014 年 6 月 1 最 近 一 段 时 间 一 条 机 器 首 次 通 过 图 灵 测 试 的 消 息 引 起 热 议 多 家 媒 体 报 导 说 一 个 聊 天 机 器 人 程 序 伪 装 成 一 个 名 为 Eugene Goostman 的 13 岁 乌 克 兰 小 男 孩 在 图 灵 测 试 中 成 功 骗 过 了 30 位 人 类 参 与 者 中 的 10 位 热 捧 这 一 事 件 的 人 认 为 这 是 一 项 划 时 代 的 壮 举, 标 志 着 人 工 智 能 的 重 大 突 破 而 质 疑 声 中 有 的 怀 疑 这 个 事 件 的 有 效 性, 认 为 在 主 办 方 不 愿 透 露 更 多 细 节 的 情 况 下 不 能 确 定 聊 天 机 器 人 是 否 真 的 通 过 了 图 灵 测 试 ; 而 有 的 则 怀 疑 图 灵 测 试 本 身, 认 为 图 灵 测 试 相 对 于 人 工 智 能 其 实 意 义 不 大 本 文 认 为, 图 灵 测 试 是 通 用 人 工 智 能 的 一 个 有 效 的 充 分 条 件 ( 且 其 自 身 并 未 试 图 定 义 智 能 的 概 念 ) 但 正 是 出 于 它 的 重 要 性 和 难 度, 我 们 才 应 该 对 图 灵 测 试 有 关 的 结 果 格 外 审 慎 什 么 是 图 灵 测 试? 在 一 篇 1950 年 发 表 的 著 名 论 文 Computing Machinery and Intelligence 中, 数 学 家 阿 兰 图 灵 详 细 讨 论 了 机 器 能 否 拥 有 智 能? 的 问 题 有 趣 的 是, 作 为 计 算 机 科 学 与 人 工 智 能 领 域 共 同 的 先 驱, 图 灵 成 功 定 义 了 什 么 是 机 器, 但 却 不 能 定 义 什 么 是 智 能 正 因 如 此, 图 灵 设 计 了 一 个 后 人 称 为 图 灵 测 试 的 实 验 图 灵 测 试 的 核 心 想 法 是 要 求 计 算 机 在 没 有 直 接 物 理 接 触 的 情 况 下 接 受 人 类 的 询 问, 并 尽 可 能 把 自 己 伪 装 成 人 类 如 果 足 够 多 的 询 问 者 在 足 够 长 的 时 间 里 无 法 以 足 够 高 的 正 确 率 辨 别 被 询 问 者 是 机 器 还 是 人 类, 我 们 就 认 为 这 个 计 算 机 通 过 了 图 灵 测 试 图 灵 把 他 设 计 的 测 试 看 作 人 工 智 能 的 一 个 充 分 条 件, 主 张 认 为 通 过 图 灵 测 试 的 计 算 机 应 该 被 看 作 是 拥 有 智 能 的 具 体 就 操 作 层 面 来 说, 图 灵 在 他 的 论 文 原 文 中 是 这 样 定 义 图 灵 测 试 的 2 : 我 们 称 下 面 这 个 问 题 为 模 仿 游 戏 游 戏 参 与 者 包 括 一 个 男 人, 一 个 女 人, 以 及 一 个 任 意 性 别 的 询 问 者 询 问 者 与 另 两 个 人 待 在 不 同 的 房 间 里, 并 通 过 打 字 的 方 式 与 他 们 交 流, 以 确 保 询 问 者 不 能 通 过 声 音 和 笔 迹 区 分 二 者 两 位 被 询 问 者 分 别 用 X 和 Y 表 示, 询 问 者 事 先 只 知 道 X 和 Y 中 有 且 仅 有 一 位 女 性, 而 询 问 的 目 标 是 正 确 分 辨 X 和 Y 中 哪 一 位 是 女 性 另 一 方 面, 两 位 被 询 问 者 X 和 Y 的 目 标 都 是 试 图 让 询 问 者 认 为 自 己 是 女 性 也 就 是 说, 男 性 被 询 问 者 需 要 把 自 己 伪 装 成 女 1 http://www.bbc.com/news/technology-27762088 2 为 清 楚 起 见, 这 段 摘 录 并 非 逐 字 翻 译, 且 语 句 顺 序 也 稍 有 调 整, 具 体 可 参 考 原 文 第 一 节

性, 而 女 性 被 询 问 者 需 要 努 力 自 证 现 在 我 们 问 : 如 果 我 们 把 模 仿 游 戏 中 的 男 性 被 询 问 者 换 成 计 算 机, 结 果 会 怎 样? 相 比 人 类 男 性, 计 算 机 能 否 使 询 问 者 更 容 易 产 生 误 判? 这 里 有 几 个 细 节 值 得 注 意, 它 们 在 很 大 程 度 上 决 定 了 图 灵 测 试 的 有 效 性 (1) 首 先, 图 灵 测 试 中 询 问 者 与 被 询 问 者 之 间 进 行 的 并 不 是 普 通 的 日 常 聊 天, 询 问 者 的 问 题 是 以 身 份 辨 别 为 目 的 这 种 情 况 下 询 问 者 通 常 不 会 花 费 时 间 寒 暄 和 拉 家 常, 而 是 会 开 门 见 山 地 说 为 了 证 明 你 的 身 份, 请 配 合 我 回 答 下 面 问 题 事 实 上, 目 前 网 络 上 聊 天 机 器 人 有 时 能 够 以 假 乱 真, 往 往 是 采 用 了 在 用 户 在 不 知 情 的 情 况 下 尽 量 把 谈 话 引 到 没 有 鉴 别 力 的 话 题 上 的 策 略 ( 例 如 谈 谈 你 自 己 吧 ) (2) 其 次, 图 灵 测 试 中 人 类 被 询 问 者 的 参 与 是 必 不 可 少 的, 她 的 存 在 是 为 了 防 止 计 算 机 采 取 消 极 自 证 的 策 略, 例 如 拒 绝 正 面 回 答 问 题, 或 者 答 非 所 问 闪 烁 其 词, 就 像 一 个 真 正 的 不 合 作 的 人 所 做 的 一 样 在 这 种 情 况 下, 另 一 个 积 极 自 证 的 人 类 被 询 问 者 可 以 保 证 询 问 者 总 是 有 足 够 的 信 息 做 出 判 断 类 似 的 情 况 也 适 用 于 当 计 算 机 试 图 模 仿 正 在 牙 牙 学 语 的 幼 童 或 头 脑 不 清 的 病 人 等 特 殊 人 类 时 (3) 另 外, 图 灵 测 试 的 原 则 是 要 求 询 问 的 交 互 方 式 本 身 不 能 泄 露 被 询 问 者 的 物 理 特 征 在 图 灵 所 处 的 年 代 这 几 乎 只 能 全 部 通 过 基 于 文 本 的 自 然 语 言 来 完 成, 因 此 图 灵 限 定 测 试 双 方 基 于 打 字 进 行 交 流 但 在 多 媒 体 技 术 发 达 的 今 天, 视 频 音 频 图 片 等 等 虚 拟 内 容 都 可 以 通 过 计 算 机 以 非 物 理 接 触 的 形 式 呈 现 ( 这 当 然 是 60 年 前 的 图 灵 不 能 预 知 的!) 因 此, 允 许 询 问 者 在 图 灵 测 试 中 使 用 多 媒 体 内 容 作 为 辅 助 材 料 进 行 提 问 ( 例 如 请 告 诉 我 这 个 视 频 的 笑 点 在 哪 儿 ) 似 乎 是 对 原 始 图 灵 测 试 定 义 的 一 个 自 然 合 理 的 补 充 3 (4) 最 后, 今 天 一 般 意 义 上 理 解 的 图 灵 测 试 不 再 严 格 区 分 人 类 参 与 者 的 性 别 通 常 我 们 允 许 人 类 被 询 问 者 是 任 意 性 别, 而 询 问 者 的 目 标 也 随 之 变 成 辨 别 哪 一 位 被 询 问 者 是 人 类 除 此 之 外, 完 成 一 次 具 体 的 图 灵 测 试 还 要 注 意 很 多 操 作 细 节, 例 如 多 少 人 参 与 测 试 算 足 够 多, 多 长 的 讯 问 时 间 算 足 够 长, 多 高 的 辨 别 正 确 率 算 足 够 高, 如 何 挑 选 人 类 询 问 者 和 被 询 问 者 才 能 代 表 人 类 的 辨 别 和 自 证 能 力, 等 等 由 于 图 灵 测 试 的 巨 大 影 响 力, 几 十 年 来 一 直 有 人 尝 试 挑 战 它, 不 时 就 会 传 出 某 某 计 算 机 程 序 成 功 通 过 图 灵 测 试 的 消 息 我 想, 正 是 对 于 意 义 深 远 的 实 验, 我 们 才 理 应 格 外 审 慎 只 有 在 仔 细 检 查 上 面 所 列 和 其 他 一 些 重 要 细 节 之 后, 我 们 才 能 对 其 结 果 的 有 效 性 做 出 正 确 判 断 类 似 几 年 前 超 光 速 实 验 那 样 的 闹 剧 应 该 尽 量 避 免 图 灵 测 试 与 人 工 智 能 是 什 么 关 系? 如 果 有 一 天 机 器 真 的 通 过 了 图 灵 测 试, 这 到 底 意 味 着 什 么? 这 个 问 题 涉 及 到 图 灵 测 试 与 人 工 智 能 的 关 系 的 确, 几 乎 所 有 有 关 人 工 智 能 的 书 籍 都 会 谈 到 图 灵 测 试, 但 一 个 经 常 被 误 解 的 地 方 是, 图 灵 测 试 是 作 为 一 个 人 工 智 能 的 充 分 条 件 被 提 出 的, 它 本 身 并 没 有, 也 从 未 试 图 定 义 智 能 的 范 畴 这 一 点 图 灵 在 他 的 论 文 里 写 的 很 清 楚 : 机 器 能 否 拥 有 智 能, 为 了 回 答 这 个 问 题 我 们 应 该 首 先 定 义 机 器 和 智 能 一 种 可 能 性 是 根 据 大 多 数 普 通 人 的 日 常 理 解 去 定 义 这 两 个 概 念, 但 这 样 做 是 危 险 的 在 这 里 我 并 不 打 算 定 义 这 两 个 概 念, 而 是 转 而 考 虑 另 一 个 问 题, 它 与 原 问 题 密 切 相 关, 同 时 可 以 被 更 清 楚 无 疑 地 表 3 参 见 Total Turing Test 及 相 关 工 作

达 ( 图 灵 测 试 的 描 述 ) 可 能 有 人 会 说 这 项 测 试 对 机 器 而 言 过 于 严 格 毕 竟 人 类 也 无 法 反 过 来 成 功 伪 装 成 机 器, 这 只 需 检 查 算 术 的 速 度 和 正 确 度 即 可 辨 别 难 道 被 认 为 拥 有 智 能 的 机 器 就 不 能 表 现 出 和 人 类 不 同 的 行 为 么? 这 是 一 个 很 有 力 的 反 对 意 见, 但 至 少 不 管 怎 样, 假 如 我 们 有 能 力 制 造 出 一 个 可 以 成 功 通 过 测 试 的 机 器 的 话, 也 就 无 需 为 这 个 反 对 意 见 烦 恼 了 全 部 智 能 行 为 拥 有 智 能 全 部 人 类 行 为 国 际 象 棋 中 白 棋 是 否 必 胜? 今 有 雉 兔 同 笼, 上 有 三 十 五 头, 下 九 十 四 足 问 雉 兔 各 几 何? 宫 保 鸡 丁 和 鱼 香 肉 丝 哪 个 更 好 吃? 图 1: 智 能 行 为 与 人 类 行 为 的 关 系 借 助 集 合 的 概 念 我 们 可 以 更 容 易 地 理 解 图 灵 测 试 与 人 工 智 能 的 关 系 如 图 1 所 示, 所 有 智 能 行 为 对 应 的 集 合 和 所 有 人 类 行 为 对 应 的 集 合 既 有 交 集 又 互 有 不 同 在 全 部 智 能 行 为 中 有 一 些 是 人 类 靠 自 身 无 法 做 到 的 ( 比 如 计 算 出 国 际 象 棋 中 白 棋 是 否 必 胜 ), 但 无 论 如 何 人 类 都 被 认 为 是 有 智 能 的, 因 此, 在 各 方 面 都 能 达 到 人 类 水 平 也 就 是 完 成 两 个 集 合 的 交 集 部 分 就 应 该 被 认 作 是 拥 有 智 能 的 4 另 一 方 面, 人 类 行 为 并 不 总 是 和 智 能 相 关 图 灵 测 试 要 求 机 器 全 面 模 拟 所 有 人 类 行 为, 其 中 既 包 括 了 两 个 集 合 的 交 集, 也 包 括 了 人 类 的 非 智 能 行 为, 因 此 通 过 图 灵 测 试 是 拥 有 智 能 的 一 个 有 效 的 充 分 条 件 图 灵 本 人 对 机 器 能 够 通 过 他 的 测 试 相 当 乐 观, 他 大 胆 预 测 到 2000 年 左 右 时, 一 台 拥 有 1GB 内 存 或 类 似 规 模 的 计 算 机 可 以 在 接 受 普 通 人 5 分 钟 的 询 问 之 后, 使 他 们 的 判 断 正 确 率 不 超 过 70% 然 而 直 到 2014 年 的 今 天, 仍 然 没 有 任 何 机 器 被 公 认 为 已 经 通 过 图 灵 测 试 有 趣 的 是, 这 一 失 败 事 实 反 而 还 带 来 了 一 个 我 们 再 熟 悉 不 过 的 应 用 - 图 形 验 证 码 ( 每 一 次 输 入 验 证 码 都 是 一 次 图 灵 测 试!) 图 灵 测 试 问 题 的 进 展 缓 慢 与 目 前 人 工 智 能 学 界 对 图 灵 测 试 这 个 充 分 条 件 的 研 究 热 情 不 高 有 关 5 这 一 部 分 上 由 于 主 流 人 工 智 能 研 究 与 图 灵 测 试 所 追 求 的 目 标 之 间 存 在 差 异, 同 时 也 因 为 图 灵 4 但 反 之 未 必, 不 一 定 非 要 达 到 人 类 水 平 才 能 被 认 作 是 智 能 的 5 一 般 认 为 人 工 智 能 学 科 正 式 成 型 于 1956 年 的 一 次 著 名 的 研 讨 会 前 后, 也 就 是 说 图 灵 测 试 实 际 上 提 出 于 人 工 智 能 领 域 诞 生 之 前 正 如 Stuart Russell 和 Peter Norvig 在 一 本 人 工 智 能 的 经 典 教 科 书 中 所 写, 在 随 后 的 60 年 间, 整 体 而 言 人 工 智 能 研 究 者 们 在 图 灵 测 试 方 面 只 投 入 了 很 少 的 精 力

测 试 本 身 难 度 巨 大 下 面 我 们 通 过 人 工 智 能 研 究 的 三 个 重 要 特 征 来 进 一 步 讨 论 图 灵 测 试 与 人 工 智 能 之 间 的 异 同, 以 及 为 什 么 图 灵 测 试 不 大 可 能 在 短 时 间 内 解 决 图 2: 图 形 验 证 码 主 流 人 工 智 能 研 究 关 注 智 能 体 的 外 部 行 为, 而 不 是 产 生 该 行 为 的 内 部 过 程 在 这 方 面 图 灵 测 试 的 思 想 和 人 工 智 能 学 界 是 完 全 一 致 的 只 关 注 外 部 行 为 是 一 个 典 型 的 功 能 主 义 / 行 为 主 义 风 格 的 做 法, 事 实 上 这 也 是 一 个 人 工 智 能 经 常 被 外 界 所 指 摘 的 地 方 严 格 的 主 观 思 考 定 义 要 求 智 能 体 具 有 自 我 意 识 但 一 方 面, 从 严 格 的 科 学 方 法 讲, 我 们 甚 至 并 不 真 的 确 定 是 否 有 客 观 证 据 证 实 意 识 的 存 在 更 重 要 的 是, 人 们 发 现 智 能 行 为 和 主 观 思 考 完 全 可 以 被 看 作 是 两 个 独 立 的 问 题 来 考 虑, 二 者 并 不 必 要 纠 缠 在 一 起 具 体 来 说, 可 以 从 数 学 上 证 明 任 何 一 台 数 字 计 算 机 的 行 为 都 可 以 用 查 表 的 方 式 机 械 地 模 拟 假 设 我 们 真 的 制 造 了 一 台 具 有 意 识 的 机 器 A, 我 们 总 可 以 制 造 另 一 台 机 器 B 以 查 表 的 方 式 来 机 械 地 模 拟 A 的 内 部 运 行, 问 题 是 B 是 否 具 有 意 识? 如 果 每 一 台 拥 有 意 识 的 机 器 都 能 被 一 台 B 这 样 的 机 械 查 表 式 的 机 器 所 模 拟, 那 么 我 们 就 无 法 通 过 外 部 行 为 来 断 定 一 个 机 器 在 内 部 上 是 真 的 在 思 考 还 是 只 是 在 模 拟 思 考 的 过 程, 6 因 此 是 否 拥 有 意 识 从 行 为 主 义 的 角 度 也 就 成 了 相 对 独 立 的 另 外 一 个 问 题 同 时, 拥 有 意 识 的 机 器 总 可 以 被 没 有 意 识 的 机 器 模 拟 也 说 明 拥 有 意 识 并 不 能 给 机 器 带 来 额 外 的 行 为 能 力, 这 进 一 步 降 低 了 拥 有 意 识 在 行 为 主 义 者 眼 中 的 重 要 性 基 于 外 部 行 为 与 主 观 思 考 之 间 的 独 立 性, 主 流 人 工 智 能 研 究 和 图 灵 测 试 把 实 现 外 部 行 为 作 为 唯 一 目 标, 这 样 的 观 点 被 称 为 弱 人 工 智 能 观 点 我 们 知 道 每 个 学 科 的 研 究 都 基 于 一 个 基 本 假 设 展 开 比 如 支 撑 物 理 研 究 的 基 本 假 设 是 万 物 运 转 都 受 一 套 普 适 的 永 恒 的 规 律 所 约 束, 而 物 理 研 究 的 目 的 只 是 找 出 这 套 规 律 是 什 么 类 似 的, 弱 人 工 智 能 假 设 (weak AI hypothesis) 认 为 经 过 良 好 设 计 的 计 算 机 可 以 表 现 出 不 低 于 人 类 智 能 水 平 的 外 部 智 能 行 为 可 以 说 主 流 人 工 智 能 研 究 是 以 弱 人 工 智 能 假 设 为 出 发 点, 研 究 如 何 实 现 这 样 一 个 计 算 机 6 一 个 有 趣 的 不 同 是, 人 类 研 究 动 物 意 识 ( 包 括 人 类 自 身 ) 的 方 法 恰 恰 是 通 过 观 察 动 物 在 特 定 环 境 下 的 外 在 行 为 这 背 后 隐 含 的 假 设 是 我 们 相 信 没 有 意 识 的 动 物 并 不 会 有 意 识 地 装 出 一 副 有 意 识 的 样 子 ( 当 然!), 而 这 一 假 设 对 机 器 ( 或 者 机 器 的 制 造 者 ) 而 言 却 并 不 一 定 成 立

图 3: 机 械 查 表 式 的 机 器 西 尔 勒 的 中 文 屋 子 实 验 主 流 人 工 智 能 研 究 关 注 如 何 模 拟 人 类 的 纯 粹 智 能 活 动, 而 不 是 全 部 脑 力 活 动 就 像 前 面 提 到 的, 人 类 的 脑 力 活 动 (mental process) 不 仅 包 括 智 能, 同 时 具 有 情 感 审 美 能 力 性 格 缺 陷 社 会 文 化 习 惯 等 等 一 系 列 非 智 力 特 征 因 为 图 灵 测 试 的 模 仿 对 象 是 普 通 人, 事 实 上 它 对 这 些 非 智 力 特 征 的 要 求 甚 至 可 能 还 高 过 对 纯 粹 智 力 的 要 求 作 为 一 个 普 通 人, 他 / 她 完 全 有 可 能 对 国 际 象 棋 一 窍 不 通, 但 却 不 大 可 能 从 照 片 分 辨 不 出 美 女 / 帅 哥 来 当 然, 非 智 力 特 征 的 引 入 本 身 并 不 妨 碍 图 灵 测 试 成 为 一 个 有 效 的 充 分 条 件, 但 除 非 我 们 假 设 所 有 这 些 非 智 力 特 征 都 是 拥 有 智 能 之 后 的 必 然 产 物, 否 则 不 得 不 承 认 图 灵 测 试 确 实 在 机 器 智 能 这 个 核 心 问 题 之 外 加 入 了 过 多 充 满 挑 战 却 又 显 得 不 那 么 相 关 的 因 素 就 像 人 工 智 能 这 本 经 典 教 科 书 里 写 到 的, 航 空 领 域 试 图 制 造 性 能 良 好 的 飞 机, 而 不 是 使 飞 机 飞 得 如 此 像 鸽 子 以 至 于 可 以 骗 过 其 他 鸽 子 人 工 智 能 研 究 确 实 应 该 更 多 关 注 与 智 力 活 动 相 关 的 抽 象 功 能 和 一 般 原 则 人 工 智 能 的 最 终 目 标 是 能 够 综 合 适 应 人 类 所 在 环 境 的 单 一 智 能 体, 而 不 是 专 门 解 决 特 定 数 学 问 题 的 算 法 在 这 一 点 上 图 灵 测 试 与 人 工 智 能 研 究 的 最 终 目 标 也 是 一 致 的, 只 不 过 现 有 的 人 工 智 能 水 平 离 这 一 目 标 还 相 去 甚 远 事 实 上 综 合 模 拟 人 类 的 智 力 活 动 正 是 人 工 智 能 区 别 于 其 他 计 算 机 科 学 分 支 的 地 方 我 们 通 过 比 较 人 工 智 能 软 件 与 传 统 软 件 来 说 明 这 一 点 首 先 从 最 广 义 的 角 度 看, 传 统 软 件 也 应 属 于 人 工 智 能 的 范 畴 : 实 际 上 很 多 早 期 的 计 算 机 科 学 家, 比 如 图 灵, 就 是 以 人 工 智 能 为 动 力 展 开 对 计 算 机 科 学 的 研 究 所 谓 计 算 本 来 就 是 诸 多 人 类 智 能 活 动 中 的 一 种 一 个 从 未 接 触 过 计 算 机 的 人 也 许 很 难 说 清 从 一 个 数 列 中 找 出 所 有 素 数 和 从 一 张 照 片 中 找 出 一 只 狗 哪 个 更 有 资 格 代 表 智 能 ( 前 者 属 于 传 统 软 件 范 畴, 后 者 属 于 传 统 人 工 智 能 范 畴 ) 但 另 一 方 面, 传 统 软 件 并 不 代 表 人 工 智 能 的 全 部 内 涵 粗 略 讲, 我 们 可 以 认 为 传 统 软 件 对 应 了 这 样 一 类 计 算

问 题, 它 们 的 共 同 特 点 是, 问 题 本 身 是 用 一 个 算 法 ( 或 非 构 造 性 的 数 学 描 述 ) 来 描 述 的, 而 对 它 们 的 研 究 主 要 关 注 在 如 何 找 到 更 好 的 算 法 7 而 我 们 称 之 为 人 工 智 能 问 题 的 问 题 可 以 理 解 为 另 一 类 计 算 问 题, 它 们 的 共 同 特 点 是 无 法 用 算 法 或 从 数 学 上 对 问 题 进 行 精 确 定 义, 这 些 问 题 的 正 确 答 案 从 本 质 上 取 决 于 我 们 人 在 面 对 这 类 问 题 时 如 何 反 应 对 于 人 工 智 能 问 题, 我 们 可 以 基 于 数 学 模 型 或 计 算 模 型 来 设 计 算 法, 但 问 题 的 本 质 并 不 是 数 学 的 通 用 人 工 智 能 (Artificial General Intelligence) 基 于 弱 人 工 智 能 假 设, 以 全 面 模 拟 人 类 的 所 有 智 力 行 为 为 目 标 注 意 到 图 灵 测 试 作 为 一 个 充 分 条 件, 是 不 可 能 在 通 用 人 工 智 能 真 正 实 现 之 前 得 到 解 决 的 另 一 方 面, 可 以 说 现 有 每 一 个 AI 分 支 的 成 功 都 是 通 过 图 灵 测 试 的 必 要 条 件, 而 它 们 中 的 大 部 分 还 没 有 达 到 人 类 水 平 因 为 我 们 不 可 能 穷 尽 所 有 人 类 智 能 行 为, 必 须 依 赖 有 限 个 具 有 通 用 性 的 模 型 和 算 法 来 实 现 通 用 智 能 目 前 人 们 仍 然 只 能 基 于 一 些 简 单 初 等 的 模 型 来 设 计 学 习 推 理 和 规 划 算 法 这 些 AI 分 支 的 研 究 都 默 认 基 于 针 对 自 己 领 域 问 题 的 弱 人 工 智 能 假 设, 而 支 撑 这 些 子 领 域 研 究 的 动 力 往 往 是 其 巨 大 的 社 会 实 用 价 值 它 们 固 然 已 经 在 很 多 具 体 应 用 领 域 成 绩 斐 然, 但 看 起 来 离 图 灵 测 试 所 要 求 的 水 平 仍 然 相 差 甚 远 图 4: 一 排 包 含 素 数 的 数 列 和 一 张 包 含 狗 的 照 片 ( 本 文 部 分 摘 录 自 发 表 于 NEWTON 科 学 世 界 2014 年 第 3 期 的 文 章 什 么 是 人 工 智 能? 文 中 图 片 部 分 引 自 互 联 网 ) 7 需 要 注 明 是, 对 传 统 软 件 的 研 发 同 样 也 并 不 是 计 算 机 科 学 的 全 部 内 涵, 就 像 计 算 机 的 概 念 远 远 不 只 是 电 子 硬 件 计 算 机 科 学 的 根 本 问 题 是 什 么 是 计 算 而 人 工 智 能, 作 为 计 算 机 科 学 的 重 要 分 支, 可 以 认 为 主 要 研 究 智 能 是 不 是 计 算 的 问 题