人工智能复习题.pdf

人 工 智 能 复 习 题注 意 的 句 子 ：1、 PROLOG程 序 一 般 由 一 组 事 实 、 规 则 和 问 题 组 成 。 问 题 是 程 序 执 行 的 起 点 , 称为 程 序 的 目 标 。 PROLOG就 是 一 种 基 于 Horn子 句 的 逻 辑 程 序 。PROLOG程 序 的 执 行 过 程 是 一 个 (归 结 )演 绎 推 理 过 程 。 其 特 点 是 ： 推 理 方 式 为 反 向 推理 , 控 制 策 略 是 深 度 优 先 , 且 有 回 溯 机 制 。2、 遗 传 算 法 中 有 三 种 关 于 染 色 体 的 运 算 : 选 择 -复 制 、 交 叉 和 变 异 ,这 三 种 运 算 被 称 为遗 传 操 作 或 遗 传 算 子 (geneticoperator)。 3、 例 5.7 求 下 面 谓 词 公 式 的 子 句 集 （ 看 书 本 ）x yP(x,y) y Q(x,y) R(x,y) 解由 步 (1)得 x乛 yP(x,y) 乛 y Q(x,y) R(x,y) 由 步 (2)得 x yP(x,y) y Q(x,y) 乛 R(x,y) 由 步 (3)得 x yP(x,y) z Q(x,z) 乛 R(x,z) 由 步 (4)得 x乛 P(x,f(x) Q(x,g(x) 乛 R(x,g(x) 由 步 (5)得 乛 P(x,f(x) Q(x,g(x) 乛 R(x,g(x)由 步 (6)得 乛 P(x,f(x) Q(x,g(x) 乛 P(x,f(x) 乛 R(x,g(x) 由 步 (7)得 乛 P(x,f(x) Q(x,g(x) 乛 P(y,f(y) 乛 R(y,g(y)由 步 (8)得 乛 P(x,f(x) Q(x,g(x),乛 P(y,f(y) 乛 R(y,g(y)或乛 P(x,f(x) Q(x,g(x)乛 P(y,f(y) R(y,g(y)为 原 谓 词 公 式 的 子 句 集 。 4、 几 种 常 用 的 归 结 策 略 1.删 除 策 略 2 支 持 集 策 略 。5 贝 叶 斯 全 概 率 公 式 。6、 机 器 学 习 按 照 是 否 需 要 对 学 习 的 数 据 进 行 标 记 可 分 为 有 监 督 的 机 器 学 习 方 法 和 无监 督 的 机 器 学 习 算 法 ， 其 中 人 工 神 经 网 络 ， SVM是 有 监 督 的 学 习 算 法 ， 聚 类 算 法 是无 监 督 的 学 习 算 法 。 一 、 选 择1、 比 起 极 小 - 极 大 法 来 ， - 剪 枝 法 增 大 了 找 不 到 最 佳 走 步 的 危 险 性 ， 但 其 效 率 较 高 。A 对B 错2、 在 A算 法 中 ， 满 足 单 调 条 件 的 h必 然 满 足 A*算 法 的 条 件 。A 对 B 错3、 设 有 机 器 人 走 迷 宫 问 题 ， 其 入 口 坐 标 为 (x0,y0)， 出 口 坐 标 为 (xt,yt)， 当 前 机 器 人 位 置 为 (x,y)， 若 定 义 ， 当 从入 口 到 出 口 存 在 通 路 时 ， 用 A算 法 求 解 该 问 题 ， 定 能 找 到 从 入 口 到 出 口 的 最 佳 路 径 。A 对B 错答 案 ： B A A 一 、 【 单 项 选 择 题 】 (本 大 题 共 5 小 题 ， 每 小 题 2 分 ， 共 10分 )在 每 小 题 列 出 的 四 个 选 项 中 只 有 一 个 选 项 是 符 合 题目 要 求 的 ， 请 将 正 确 选 项 前 的 字 母 填 在 答 题 卷 相 应 题 号 处 。1、 AI的 英 文 缩 写 是 （ B ） 。AAutomatic Intelligence BArtificial Intelligence CAutomatic Information DArtificial Information2、 反 演 归 结 （ 消 解 ） 证 明 定 理 时 ， 若 当 前 归 结 式 是 （ C ） 时 ， 则 定 理 得 证 。3、 从 已 知 事 实 出 发 ， 通 过 规 则 库 求 得 结 论 的 产 生 式 系 统 的 推 理 方 式 是 （ A ） 。4、 仅 个 体 变 元 被 量 化 的 谓 词 称 为 （ A ） 。5、 MGU是 （ A ） 。 二 、 填 空 题1、 在 修 正 的 A算 法 中 ， fm 的 含 义 是2、 对 任 意 节 点 n， 设 m是 n的 子 节 点 ， 当 h满 足 条 件 时 ， 称 h是 单 调 的 。答 案1、 在 修 正 的 A算 法 中 ， fm 的 含 义 是 到 当 前 为 止 ， 扩 展 的 节 点 中 ， f的 最 大 值2、 对 任 意 节 点 n， 设 m是 n的 子 节 点 ， 当 h满 足 条 件 h(n)-h(m) C(n,m),h(t)=0 时 ， 称 h是 单 调 的 。 11、 产 生 式 系 统 的 推 理 过 程 中 ， 从 可 触 发 规 则 中 选 择 一 个 规 则 来 执 行 ， 被 执 行 的 规 则 称 为 （ 被 触 发 规 则 ） 。12、 P(B|A) 表 示 在 规 则 （ AB） 中 ， 证 据 A 为 真 的 作 用 下 结 论 B 为 真 的 （ 概 率 ） 。13、 归 结 法 中 ， 可 以 通 过 （ 修 改 证 明 树 ） 的 方 法 得 到 问 题 的 解 答 。14、 谓 词 逻 辑 中 ， 重 言 式 （ tautology） 的 值 是 （ 真 ） 。15、 利 用 归 结 原 理 证 明 定 理 时 ， 若 得 到 的 归 结 式 为 （ 空 集 ） ， 则 结 论 成 立 。16、 在 启 发 式 搜 索 当 中 ， 通 常 用 （ 启 发 函 数 ） 来 表 示 启 发 性 信 息 。17、 在 诸 如 走 迷 宫 、 下 棋 、 八 数 码 游 戏 等 游 戏 中 ， 常 用 到 的 一 种 人 工 智 能 的 核 心 技 术 称 为 （ 图 搜 索 ） 技 术 ， 解 这类 问 题 时 ， 常 把 在 迷 宫 的 位 置 、 棋 的 布 局 、 八 数 码 所 排 成 的 形 势 用 图 来 表 示 ， 这 种 图 称 为 （ 状 态 图 ） 。18、 在 二 人 博 弈 问 题 中 ， 最 常 用 的 一 种 分 析 技 术 是 （ 极 大 极 小 分 析 法 ） ， 这 种 方 法 的 思 想 是 先 生 成 一 棵 博 弈 树 ，然 后 再 计 算 其 倒 推 值 。 但 它 的 效 率 较 低 ， 因 此 人 们 在 此 基 础 上 ， 又 提 出 了 （ -剪 枝 技 术 ） 。19、 某 产 生 式 系 统 中 的 一 条 规 则 ： A（ x） B（ x） ， 则 前 件 是 （ A（ x） ） ， 后 件 是 （ B（ x） ） 。20、 图 ： 指 由 （ 节 点 和 有 向 边 ） 组 成 的 网 络 。 按 连 接 同 一 节 点 的 各 边 的 逻 辑 关 系 又 可 分 为 （ 或 图 ） 和 （ 与 或 图 ） 。21、 x ( )( y)(On(x,y) Above(x,y)化 成 子 句 形 式 为 （ On(x,y) Above(x,y)） 。 22、 开 发 专 家 系 统 所 要 解 决 的 基 本 问 题 有 三 个 ， 那 就 是 知 识 的 获 取 、 知 识 的 表 示 和 知 识 的 运 用 ， 知 识 表 示 的 方 法主 要 有 （ 逻 辑 表 示 法 ） ， （ 框 架 ） ， （ 产 生 式 ） 和 语 义 网 络 等 。二 、 【 判 断 题 】 (本 大 题 共 5 小 题 ， 每 小 题 2 分 ， 共 10 分 )正 确 的 填 T， 错 误 的 填 F， 填 在 答 题 卷 相 应 题 号 处 。6、 人 工 智 能 是 研 究 如 何 制 造 出 人 造 的 智 能 机 器 或 智 能 系 统 ， 来 模 拟 人 类 智 能 活 动 的 能 力 ， 以 延 伸 人 们 智 能 的 科学 。 （ T ）7、 目 前 大 多 数 的 专 家 系 统 都 采 用 产 生 式 系 统 的 结 构 来 建 造 。 （ T ）8、 规 则 表 达 的 可 以 是 与 待 求 解 的 问 题 有 关 的 经 验 方 面 的 知 识 ， 也 可 以 是 对 求 解 问 题 有 帮 助 的 策 略 方 面 的 知识 。 （ F ）9、 如 果 一 个 路 径 的 第 一 个 节 点 为 问 题 的 目 的 状 态 ， 最 后 一 个 节 点 为 问 题 的 初 始 状 态 ， 则 该 路 径 称 为 解 路 径 。 A 永 真 式 B 包 孕 式 C 空 子 句 D 恒 等 式A 正 向 推 理 B 反 向 推 理 C 双 向 推 理 D简 单 推 理A 一 阶 谓 词 B 原 子 公 式 C 二 阶 谓 词 D全 称 量 词A最 一 般 合 一 B 最 一 般 替 换 C 最 一 般 谓 词 D基 替 换 （ F ）10、 某 问 题 可 能 具 有 的 状 态 的 总 数 ， 称 之 为 问 题 的 规 模 。 （ T ）三 、 问 答 题1、 简 述 用 A*算 法 求 解 问 题 时 为 什 么 会 出 现 重 复 扩 展 节 点 问 题 ， 解 决 的 方 法 有 哪 些 ？答 ： 当 问 题 有 解 时 ， A*算 法 总 是 找 到 问 题 的 最 优 解 结 束 。 如 果 h函 数 定 义 的 不 合 理 ， 则 当 扩 展 一 个 节 点 时 ， 不 一 定 就 找 到 了 从 初始 节 点 到 该 节 点 的 最 优 路 径 ， 对 于 这 样 的 节 点 ， 就 有 可 能 被 多 次 扩 展 。 特 别 是 如 果 这 样 的 节 点 处 于 问 题 的 最 优 解 路 径 上 时 ， 则 一 定会 被 多 次 扩 展 。 解 决 的 方 法 一 是 对 h函 数 的 定 义 给 出 限 制 ， 使 得 h满 足 单 调 性 。 对 于 满 足 单 调 性 条 件 的 h， 则 一 定 不 会 出 现 重 复 扩展 节 点 问 题 。 二 是 对 A*算 法 加 以 改 进 ， 使 用 修 正 的 A*算 法 进 行 搜 索 ， 则 可 以 减 少 重 复 扩 展 节 点 问 题 。2、 简 述 回 溯 策 略 与 深 度 优 先 策 略 的 不 同 点 。 答 ： 回 溯 搜 索 策 略 与 深 度 有 限 搜 索 策 略 最 大 的 不 同 是 深 度 有 限 搜 索 策 略 属 于 图 搜 索 ， 而 回 溯 搜 索 则 不 是 图 搜 索 。 在 回 溯 搜 索 中 ， 只保 留 了 从 初 始 节 点 到 当 前 节 点 的 搜 索 路 径 。 而 深 度 优 先 搜 索 ， 则 保 留 了 所 有 的 已 经 搜 索 过 的 路 径 。3、 某 问 题 由 下 列 公 式 描 述 ：(1)、 试 用 归 结 法 证 明 ( x)R(x)； (2)、 做 出 修 改 证 明 树 ， 提 取 问 题 的 回 答 。答 ： 化 子 句 集 如 下 ： 4、 下 图 所 示 博 弈 树 ， 按 从 左 到 右 的 顺 序 进 行 -剪 枝 搜 索 ， 试 标 明 各 生 成 节 点 的 到 推 值 ， 何 处 发 生 剪 枝 ， 及 应 选 择 的 走 步 。 5、 某 问 题 的 状 态 空 间 图 如 下 图 所 示 ， 其 中 括 号 内 标 明 的 是 各 节 点 的 h值 ， 弧 线 边 的 数 字 是 该 弧 线 的 耗 散 值 ， 试 用 A算 法 求 解 从 初始 节 点 S到 目 标 节 点 T的 路 径 。 要 求 给 出 搜 索 图 ， 标 明 各 节 点 的 f值 ， 及 各 节 点 的 扩 展 次 序 ， 并 给 出 求 得 的 解 路 径 。 归 结 树 如 下 ： 23、 图 示 博 弈 树 ， 其 中 末 一 行 的 数 字 为 假 设 的 估 值 ， 请 利 用 -剪 枝 技 术 剪 去 不 必 要 的 分 枝 。 （ 在 节 点 及 边 上 直接 加 注 释 ） 24、 数 字 重 写 问 题 的 变 换 规 则 如 下 ：6 3， 3 4 3， 16 4， 2 3 2， 14 2， 2 2 1， 1问 如 何 用 这 些 规 则 把 数 字 6 变 换 成 一 个 由 若 干 个 1 组 成 的 数 字 串 。 试 用 算 法 AO*进 行 求 解 ， 并 给 出 搜 索 图 。 求 解时 设 k-连 接 符 的 耗 散 值 是 k 个 单 位 ， h 函 数 值 规 定 为 ： h（ 1） 0， h（ n） n（ n 1） 。 25、 用 归 结 反 演 法 证 明 下 列 公 式 的 永 真 性 ：（ x） （ y） P（ f（ x） ） Q（ f（ B） ） P（ f（ A） ） P（ y） Q（ y） 26、 给 定 下 述 语 句 ：Johnlikes all kinds offood.Apples arefood.Anything anyone eatsand isnt killed by is food.Bill eats peanuts and is still alive.Sue eats everything Bill eats.（ 1） 用 归 结 法 证 明 John likes peanuts。 （ 2） 用 归 结 法 提 取 回 答 What fooddoes Sue eat?