人工智能复习题及答案.pdf

1 黑 龙 江 大 学 计 算 机 科 学 技 术 学 院1. 智 能智 能 是 一 种 认 识 客 观 事 物 和 运 用 知 识 解 决 问 题 的 综 合 能 力 。2. 什 么 叫 知 识 ？知 识 是 人 们 在 改 造 客 观 世 界 的 实 践 中 积 累 起 来 的 认 识 和 经 验3. 确 定 性 推 理指 推 理 所 使 用 的 知 识 和 推 出 的 结 论 都 是 可 以 精 确 表 示 的 ， 其 真 值 要 么 为 真 、 要 么 为 假 。4. 推 理推 理 是 指 按 照 某 种 策 略 从 已 知 事 实 出 发 利 用 知 识 推 出 所 需 结 论 的 过 程 。5. 不 确 定 性 推 理指 推 理 所 使 用 的 知 识 和 推 出 的 结 论 可 以 是 不 确 定 的 。 所 谓 不 确 定 性 是 对 非 精 确 性 、 模糊 型 和 非 完 备 性 的 统 称 。6. 人 工 智 能 人 工 智 能 就 是 用 人 工 的 方 法 在 机 器 （ 计 算 机 ） 上 实 现 的 智 能 ， 或 称 机 器 智 能7. 搜 索是 指 为 了 达 到 某 一 目 标 ， 不 断 寻 找 推 理 线 路 ， 以 引 导 和 控 制 推 理 ， 使 问 题 得 以 解 决 的过 程 。8. 规 划是 指 从 某 个 特 定 问 题 状 态 出 发 ， 寻 找 并 建 立 一 个 操 作 序 列 ， 直 到 求 得 目 标 状 态 为 止 的一 个 行 动 过 程 的 描 述 。9. 机 器 感 知就 是 要 让 计 算 机 具 有 类 似 于 人 的 感 知 能 力 ， 如 视 觉 、 听 觉 、 触 觉 、 嗅 觉 、 味 觉10. 模 式 识 别是 指 让 计 算 机 能 够 对 给 定 的 事 务 进 行 鉴 别 ， 并 把 它 归 入 与 其 相 同 或 相 似 的 模 式 中 。11. 机 器 行 为就 是 让 计 算 机 能 够 具 有 像 人 那 样 地 行 动 和 表 达 能 力 ， 如 走 、 跑 、 拿 、 说 、 唱 、 写 画 等 。 12. 知 识 表 示是 对 知 识 的 描 述 ， 即 用 一 组 符 号 把 知 识 编 码 成 计 算 机 可 以 接 受 的 某 种 结 构 。13. 事 实是 断 言 一 个 语 言 变 量 的 值 或 断 言 多 个 语 言 变 量 之 间 关 系 的 陈 述 句14. 综 合 数 据 库存 放 求 解 问 题 的 各 种 当 前 信 息15. 规 则 库用 于 存 放 与 求 解 问 题 有 关 的 所 有 规 则 的 集 合16. 人 工 智 能 有 哪 些 应 用 ？17. 人 工 智 能 的 研 究 目 标远 期 目 标揭 示 人 类 智 能 的 根 本 机 理 ， 用 智 能 机 器 去 模 拟 、 延 伸 和 扩 展 人 类 的 智 能 涉 及 到 脑 科 学 、 认 知 科 学 、 计 算 机 科 学 、 系 统 科 学 、 控 制 论 等 多 种 学 科 ， 并 依 赖 于 它们 的 共 同 发 展近 期 目 标研 究 如 何 使 现 有 的 计 算 机 更 聪 明 ， 即 使 它 能 够 运 用 知 识 去 处 理 问 题 ， 能 够 模 拟 人 类 的智 能 行 为 。 2 18. 智 能 包 含 哪 些 能 力 ？（ 1） 感 知 能 力（ 2） 记 忆 和 思 维 能 力（ 3） 学 习 和 自 适 应 能 力（ 4） 行 为 能 力19. 知 识 有 哪 几 种 表 示 方 法 ？（ 1） 一 阶 谓 词 逻 辑 表 示 法（ 2） 产 生 式 表 示 法（ 3） 语 义 网 络 表 示 法（ 4） 框 架 表 示 法（ 5） 过 程 表 示 法20. 演 绎 推 理 与 归 纳 推 理 的 区 别演 绎 推 理 是 在 已 知 领 域 内 的 一 般 性 知 识 的 前 提 下 ， 通 过 演 绎 求 解 一 个 具 体 问 题 或 者 证 明 一 个 结 论 的 正 确 性 。 它 所 得 出 的 结 论 实 际 上 早 已 蕴 含 在 一 般 性 知 识 的 前 提 中 ， 演 绎 推 理 只不 过 是 将 已 有 事 实 揭 露 出 来 ， 因 此 它 不 能 增 殖 新 知 识 。归 纳 推 理 所 推 出 的 结 论 是 没 有 包 含 在 前 提 内 容 中 的 。 这 种 由 个 别 事 物 或 现 象 推 出一 般 性 知 识 的 过 程 ， 是 增 殖 新 知 识 的 过 程 。21. 子 句 集 的 化 简 的 步 骤（ 1） 消 去 连 接 词 “ ”和 “”（ 2） 减 少 否 定 符 号 的 辖 域（ 3） 对 变 元 标 准 化（ 4） 化 为 前 束 范 式（ 5） 消 去 存 在 量 词（ 6） 化 为 Skolem标 准 形（ 7） 消 去 全 称 量 词（ 8） 消 去 合 取 词 （ 9） 更 换 变 量 名 称22. 鲁 滨 逊 归 结 原 理 基 本 思 想首 先 把 欲 证 明 问 题 的 结 论 否 定 ， 并 加 入 子 句 集 ， 得 到 一 个 扩 充 的 子 句 集 S。 然 后 设 法检 验 子 句 集 S是 否 含 有 空 子 句 ， 若 含 有 空 子 句 ， 则 表 明 S是 不 可 满 足 的 ； 若 不 含 有 空 子 句 ，则 继 续 使 用 归 结 法 ， 在 子 句 集 中 选 择 合 适 的 子 句 进 行 归 结 ， 直 至 导 出 空 子 句 或 不 能 继 续 归 结为 止 。23. 全 局 择 优 搜 索 A算 法 描 述 ：(1)把 初 始 节 点 S0 放 入 Open表 中 ， f(S0)=g(S0)+h(S0)；(2)如 果 Open表 为 空 ， 则 问 题 无 解 ， 失 败 退 出 ；(3)把 Open表 的 第 一 个 节 点 取 出 放 入 Closed表 ， 并 记 该 节 点 为 n；(4)考 察 节 点 n是 否 为 目 标 节 点 。 若 是 ， 则 找 到 了 问 题 的 解 ， 成 功 退 出 ；(5)若 节 点 n不 可 扩 展 ， 则 转 第 (2)步 ；(6)扩 展 节 点 n， 生 成 其 子 节 点 ni(i=1,2,)， 计 算 每 一 个 子 节 点 的 估 价 值 f(ni)(i=1,2,)， 并 为 每 一 个 子 节 点 设 置 指 向 父 节 点 的 指 针 ， 然 后 将 这 些 子 节 点 放 入 Open表 中 ；(7)根 据 各 节 点 的 估 价 函 数 值 ， 对 Open表 中 的 全 部 节 点 按 从 小 到 大 的 顺 序 重 新 进 行 排 序 ；(8)转 第 (2)步 。 3 24. 命 题 逻 辑 的 归 结 法 与 谓 词 逻 辑 的 归 结 法 的 不 同 之 处 是 什 么 ？答 ： 谓 词 逻 辑 比 命 题 逻 辑 更 复 杂 ， 由 于 谓 词 逻 辑 中 的 变 量 受 到 量 词 的 约 束 ， 在 归 结 之 前需 要 对 变 量 进 行 重 命 名 即 变 量 标 准 化 ， 而 在 命 题 逻 辑 中 的 归 结 则 不 需 要 。25. 产 生 式 系 统 的 推 理 过 程(1) 初 始 化 综 合 数 据 库 ， 即 把 欲 解 决 问 题 的 已 知 事 实 送 入 综 合 数 据 库 中 ；(2) 检 查 规 则 库 中 是 否 有 未 使 用 过 的 规 则 ， 若 无 转 (7)；(3) 检 查 规 则 库 的 未 使 用 规 则 中 是 否 有 其 前 提 可 与 综 合 数 据 库 中 已 知 事 实 相 匹 配 的 规则 ， 若 有 ， 形 成 当 前 可 用 规 则 集 ； 否 则 转 (6)；(4) 按 照 冲 突 消 解 策 略 ， 从 当 前 可 用 规 则 集 中 选 择 一 个 规 则 执 行 ， 并 对 该 规 则 作 上 标记 。 把 执 行 该 规 则 后 所 得 到 的 结 论 作 为 新 的 事 实 放 入 综 合 数 据 库 ； 如 果 该 规 则 的 结 论 是 一 些操 作 ， 则 执 行 这 些 操 作 ；(5) 检 查 综 合 数 据 库 中 是 否 包 含 了 该 问 题 的 解 ， 若 已 包 含 ， 说 明 解 已 求 出 ， 问 题 求 解过 程 结 束 ； 否 则 ， 转 (2)； (6) 当 规 则 库 中 还 有 未 使 用 规 则 ， 但 均 不 能 与 综 合 数 据 库 中 的 已 有 事 实 相 匹 配 时 ， 要求 用 户 进 一 步 提 供 关 于 该 问 题 的 已 知 事 实 ， 若 能 提 供 ， 则 转 (2)； 否 则 ， 执 行 下 一 步 ；(7) 若 知 识 库 中 不 再 有 未 使 用 规 则 ， 也 说 明 该 问 题 无 解 ， 终 止 问 题 求 解 过 程 。26.列 出 下 图 中 树 的 节 点 访 问 序 列 以 满 足 下 面 的 个 搜 索 策 略 ( 在 所 有 情 况 中 都 选 择 最 左分 枝 优 先 访 问 )1) 深 度 优 先 搜 索 ； ) 广 度 优 先 搜 索 。 答 ： （ ） 深 度 优 先 ： 1,2,5,6,10,11,3,7,12,13,4,8,9（ ） 广 度 优 先 ：1 ， 2 ， 3 ， 4 ， 5 ， 6 ， 7 ， 8 ， 9 ， 10 ， 11 ， 12 ， 1327. 八 数 码 问 题 。 问 题 的 初 态 和 目 标 状 态 如 下 图 所 示 ， 要 求 用 A*算 法 解 决 该 问 题 4 初 始 状 态 目 标 状 态28. 图 4-32 是 5个 城 市 的 交 通 图 ， 城 市 之 间 的 连 线 旁 边 的 数 字 是 城 市 之 间 路 程 的 费 用 。 要 求从 A城 出 发 ， 经 过 其 它 各 城 市 一 次 且 仅 一 次 ， 最 后 回 到 A城 ， 请 找 出 一 条 最 优 线 路 。解 ： 这 个 问 题 又 称 为 旅 行 商 问 题 （ travellingsalesmanproblem,TSP） 或 货 郎 担 问 题 ， 是 一 个 较 有 普 遍 性 的 实 际应 用 问 题 。 根 据 数 学 理 论 ， 对 n个 城 市 的 旅 行 商 问 题 ， 其封 闭 路 径 的 排 列 总 数 为 ：(n!)/n=(n-1)!其 计 算 量 相 当 大 。 例 如 ， 当 n=20时 ， 要 穷 举 其 所 有 路 径 ，即 使 用 一 个 每 秒 一 亿 次 的 计 算 机 来 算 也 需 要 350 年 的 时间 。 因 此 ， 对 这 类 问 题 只 能 用 搜 索 的 方 法 来 解 决 。下 图 是 对 图 4-32 按 最 小 代 价 搜 索 所 得 到 的 搜 索 树 ， 树 中 的 节 点 为 城 市 名 称 ， 节 点 边 上 的 数 字 为 该 节 点 的 代 价 g。 其 计 算 公 式 为g(ni+1)=g(ni)+c(ni,ni+1)其 中 ， c(ni,ni+1)为 节 点 ni到 ni+1节 点 的 边 代 价 。 可 以 看 出 ， 其 最 短 路 经 是A-C-D-E-B-A AB C D E010 10 2 9 11C D E B D E B C E B C D2 9 118 812 618 22 16 3 810 5 10 12 3 921 12 18 6 8 9D E3 821 26C E 3925 31C D9824 25D E12 622 16B C 1217914B D6 916 19C E8 620 27B E8 820 20C B8 626 24C D8 121725 29B D8 319 2027 22 B C12 332 23B6 20A103028A2 30 D1228D927E B1231E E8 28 E626 B626E9 30 B831B1234D328C832D3 27D9 35 E833 E931 图 4.32的 最 小 代 价 搜 索 树3 623 5 或 A-B-E-D-C-A其 实 ， 它 们 是 同 一 条 路 经 。29. 设 有 如 图 4-34的 与 /或 /树 ， 请 分 别 按 和 代 价 法 及 最 大 代 价 法 求 解 树 的 代 价 。AB CD t 2 t3 t4t1图 4.34 习 题 4.14的 与 /或 树5 62 17 22 3E解 ： 若 按 和 代 价 法 ， 则 该 解 树 的 代 价 为 ：h(A)=2+3+2+5+2+1+6=21若 按 最 大 代 价 法 ， 则 该 解 树 的 代 价 为 ：h(A)=maxh(B)+5,h(C)+6=max(h(E)+2)+5,h(C)+6=max(max(2,3)+2)+5,max(2,1)+6=max(5+5,2+6)=1030. 判 断 下 列 公 式 是 否 为 可 合 一 ， 若 可 合 一 ， 则 求 出 其 最 一 般 合 一 。(1) P(a,b),P(x,y)(2) P(f(x),b),P(y,z) (3) P(f(x),y),P(y,f(b)(4) P(f(y),y,x),P(x,f(a),f(b)(5) P(x,y),P(y,x)解 ： (1) 可 合 一 ， 其 最 一 般 和 一 为 ： =a/x,b/y。(2) 可 合 一 ， 其 最 一 般 和 一 为 ： =y/f(x),b/z。(3) 可 合 一 ， 其 最 一 般 和 一 为 ： =f(b)/y,b/x。(4) 不 可 合 一 。(5) 可 合 一 ， 其 最 一 般 和 一 为 ： =y/x。5. 判 断 下 列 子 句 集 中 哪 些 是 不 可 满 足 的 ：(1) P Q,Q, P,P(2) P Q, P Q, P Q,P Q(3) P(y) Q(y), P(f(x) R(a)(4) P(x) Q(x), P(y) R(y),P(a),S(a), S(z) R(z) (5) P(x) Q(f(x),a), P(h(y) Q(f(h(y),a) P(z)(6) P(x) Q(x) R(x), P(y) R(y), Q(a), R(b)解 ： (1) 不 可 满 足 ， 其 归 结 过 程 为 ：P Q QP PNIL 6 (2) 不 可 满 足 ， 其 归 结 过 程 为 ：(3) 不 是 不 可 满 足 的 ， 原 因 是 不 能 由 它 导 出 空 子 句 。(4) 不 可 满 足 ， 其 归 结 过 程 略 (5) 不 是 不 可 满 足 的 ， 原 因 是 不 能 由 它 导 出 空 子 句 。(6) 不 可 满 足 ， 其 归 结 过 程 略 31. 设 已 知 ：(1) 如 果 x是 y的 父 亲 ， y是 z的 父 亲 ， 则 x是 z的 祖 父 ；(2) 每 个 人 都 有 一 个 父 亲 。使 用 归 结 演 绎 推 理 证 明 ： 对 于 某 人 u， 一 定 存 在 一 个 人 v， v是 u的 祖 父 。解 ： 先 定 义 谓 词 P Q P QQ P Q P QQNIL 7 F(x,y)： x是 y的 父 亲GF(x,z)： x是 z的 祖 父P(x)： x是 一 个 人再 用 谓 词 把 问 题 描 述 出 来 ：已 知 F1： ( x)(y)(z)(F(x,y) F(y,z) GF(x,z)F2： (y)(P(x) F(x,y)求 证 结 论 G： ( u)(v)(P(u) GF(v,u)然 后 再 将 F1， F2和 G化 成 子 句 集 ： F(x,y) F(y,z) GF(x,z) P(r) F(s,r) P(u) GF(v,u)对 上 述 扩 充 的 子 句 集 ， 其 归 结 推 理 过 程 如 下 ： x/v,z/ux/s,y/r y/s,z/ry/zy/u 由 于 导 出 了 空 子 句 ， 故 结 论 得 证 。32. 设 有 如 下 语 句 ， 请 用 相 应 的 谓 词 公 式 分 别 把 他 们 表 示 出 来 ：(1) 有 的 人 喜 欢 梅 花 ， 有 的 人 喜 欢 菊 花 ， 有 的 人 既 喜 欢 梅 花 又 喜 欢 菊 花 。解 ： 定 义 谓 词P(x)： x是 人L(x,y)： x喜 欢 y其 中 ， y的 个 体 域 是 梅 花 ， 菊 花 。将 知 识 用 谓 词 表 示 为 ：(x)(P(x) L(x, 梅 花 ) L(x, 菊 花 ) L(x, 梅 花 ) L(x, 菊 花 )(2) 有 人 每 天 下 午 都 去 打 篮 球 。解 ： 定 义 谓 词P(x)： x是 人B(x)： x打 篮 球 A(y)： y是 下 午将 知 识 用 谓 词 表 示 为 ： F(x,y) F(y,z) GF(x,z) GF(v,u)F(x,y) F(y,z) P(r) F(s,r)F(y,z) P(y) P(r) F(s,r)P(y) P(zP(y) P(u) NIL 8 (x)(y)(A(y) B(x) P(x)(3) 新 型 计 算 机 速 度 又 快 ， 存 储 容 量 又 大 。解 ： 定 义 谓 词NC(x)： x是 新 型 计 算 机F(x)： x速 度 快B(x)： x容 量 大将 知 识 用 谓 词 表 示 为 ：(x)(NC(x) F(x) B(x)(4) 不 是 每 个 计 算 机 系 的 学 生 都 喜 欢 在 计 算 机 上 编 程 序 。解 ： 定 义 谓 词S(x)： x是 计 算 机 系 学 生L(x,pragramming)： x喜 欢 编 程 序U(x,computer)： x使 用 计 算 机 将 知 识 用 谓 词 表 示 为 ： (x)(S(x) L(x,pragramming) U(x,computer)(5) 凡 是 喜 欢 编 程 序 的 人 都 喜 欢 计 算 机 。解 ： 定 义 谓 词P(x)： x是 人L(x,y)： x喜 欢 y将 知 识 用 谓 词 表 示 为 ：(x)(P(x) L(x,pragramming) L(x,computer)33. 机 器 人 移 盒 子 问 题设 在 房 间 ， c处 有 一 个 机 器 人 ， a和 b处 有 一 张 桌 子 ， 分 别 称 为 a桌 和 b桌 ， a桌 上 有一 盒 子 ， 如 下 图 所 示 ， 要 求 机 器 人 从 c处 出 发 把 盒 子 从 a桌 上 拿 到 b桌 上 ， 然 后 再 回 到 c处 。请 用 谓 词 逻 辑 来 描 述 机 器 人 的 行 动 过 程 。 分 别 定 义 描 述 状 态 和 动 作 的 谓 词描 述 状 态 的 谓 词 ：TABLE(x)： x是 桌 子EMPTY(y)： y手 中 是 空 的AT(y,z)： y在 z处HOLDS(y,w)： y拿 着 wON(w,x)： w在 x桌 面 上变 元 的 个 体 域 ：x的 个 体 域 是 a,by的 个 体 域 是 robotz的 个 体 域 是 a,b,cw的 个 体 域 是 box问 题 的 初 始 状 态 ： AT(robot,c)EMPTY(robot)ON(box,a)TABLE(a) 9 TABLE(b)问 题 的 目 标 状 态 ：AT(robot,c)EMPTY(robot)ON(box,b)TABLE(a)TABLE(b)机 器 人 行 动 的 目 标 把 问 题 的 初 始 状 态 转 换 为 目 标 状 态 ， 而 要 实 现 问 题 状 态 的 转 换 需 要完 成 一 系 列 的 操 作需 要 定 义 的 操 作 ：Goto(x,y)： 从 x处 走 到 y处 。Pickup(x)： 在 x处 拿 起 盒 子 。Setdown(x)： 在 x处 放 下 盒 子 各 操 作 的 条 件 和 动 作 ：Goto(x， y)条 件 ： AT(robot， x)动 作 ： 删 除 表 ： AT(robot， x)添 加 表 ： AT(robot， y)Pickup(x)条 件 ： ON(box， x)， TABLE(x)， AT(robot， x)， EMPTY(robot)动 作 ： 删 除 表 ： EMPTY(robot)， ON(box， x)添 加 表 ： HOLDS(robot， box)Setdown(x)条 件 ： AT(robot， x)， TABLE(x)， HOLDS(robot， box)动 作 ： 删 除 表 ： HOLDS(robot， box)添 加 表 ： EMPTY(robot)， ON(box， x) 这 个 机 器 人 行 动 规 划 问 题 的 求 解 过 程 如 下 ：状 态 1(初 始 状 态 )AT(robot,c)开 始 EMPTY(robot)= ON(box,a) TABLE(a)TABLE(b)状 态 2AT(robot,a)Goto(c,a) EMPTY(robot)= ON(box,a) TABLE(a)TABLE(b) 状 态 3 AT(robot,a)Pickup(a) HOLDS(robot,box)= TABLE(a) TABLE(b) 10 状 态 4 AT(robot,b)Goto(a,b) HOLDS(robot,box)= TABLE(a) TABLE(b)状 态 5AT(robot,b)Setdown(b) EMPTY(robot)= ON(box,b) TABLE(a)TABLE(b)状 态 6(目 标 状 态 )AT(robot,c) Goto(b,c) EMPTY(robot)= ON(box,b)TABLE(a)TABLE(b)34. 用 谓 词 表 示 法 求 解 机 器 人 摞 积 木 问 题 。 设 机 器 人 有 一 只 机 械 手 ， 要 处 理 的 世 界 有 一 张 桌子 ， 桌 上 可 堆 放 若 干 相 同 的 方 积 木 块 。 机 械 手 有 4个 操 作 积 木 的 典 型 动 作 ： 从 桌 上 拣 起一 块 积 木 ； 将 手 中 的 积 木 放 到 桌 之 上 ； 在 积 木 上 再 摞 上 一 块 积 木 ； 从 积 木 上 面 拣 起 一 块积 木 。 积 木 世 界 的 布 局 如 下 图 所 示 。 解 ： (1) 先 定 义 描 述 状 态 的 谓 词CLEAR(x)： 积 木 x上 面 是 空 的 。ON(x,y)： 积 木 x在 积 木 y的 上 面 。ONTABLE(x)： 积 木 x在 桌 子 上 。HOLDING(x)： 机 械 手 抓 住 x。HANDEMPTY： 机 械 手 是 空 的 。其 中 ， x和 y的 个 体 域 都 是 A,B,C。问 题 的 初 始 状 态 是 ：ONTABLE(A)ONTABLE(B)ON(C,A)CLEAR(B)CLEAR(C) HANDEMPTY 图 机 器 人 摞 积 木 问 题CA B ABC 11 问 题 的 目 标 状 态 是 ：ONTABLE(C)ON(B,C)ON(A,B)CLEAR(A)HANDEMPTY(2) 再 定 义 描 述 操 作 的 谓 词在 本 问 题 中 ， 机 械 手 的 操 作 需 要 定 义 以 下 4个 谓 词 ：Pickup(x)： 从 桌 面 上 拣 起 一 块 积 木 x。Putdown(x)： 将 手 中 的 积 木 放 到 桌 面 上 。Stack(x,y)： 在 积 木 x上 面 再 摞 上 一 块 积 木 y。Upstack(x,y)： 从 积 木 x上 面 拣 起 一 块 积 木 y。 其 中 ， 每 一 个 操 作 都 可 分 为 条 件 和 动 作 两 部 分 ， 具 体 描 述 如 下 ：Pickup(x)条 件 ： ONTABLE(x)， HANDEMPTY， CLEAR(x)动 作 ： 删 除 表 ： ONTABLE(x)， HANDEMPTY添 加 表 ： HOLDING(x)Putdown(x)条 件 ： HOLDING(x)动 作 ： 删 除 表 ： HOLDING(x)添 加 表 ： ONTABLE(x)， CLEAR(x) ， HANDEMPTYStack(x,y)条 件 ： CLEAR(y) ， HOLDING(y)动 作 ： 删 除 表 ： HOLDING(y)， CLEAR(y)添 加 表 ： HANDEMPTY， ON(x,y) ， CLEAR(x) Upstack(x,y)条 件 ： HANDEMPTY， CLEAR(y) ， ON(y,x)动 作 ： 删 除 表 ： HANDEMPTY， ON(y,x)添 加 表 ： HOLDING(y)， CLEAR(x)(3) 问 题 求 解 过 程利 用 上 述 谓 词 和 操 作 ， 其 求 解 过 程 为 ： 35. 请 对 下 列 命 题 分 别 写 出 它 们 的 语 义 网 络 ：(1) 每 个 学 生 都 有 一 台 计 算 机 。ONTABLE(A)ONTABLE(B)ON(C,A)CLEAR(B)CLEAR(C)HANDEMPTYUpstack(A,C) ONTABLE(A)ONTABLE(B)HOLDING(C)CLEAR(A)CLEAR(B)CLEAR(C) Putdown(C) ONTABLE(A)ONTABLE(B)ONTABLE(C)CLEAR(A)CLEAR(B)CLEAR(C)HANDEMPTYPickup(A)ONTABLE(A)ONTABLE(C)HOLDING(B)CLEAR(A)CLEAR(B)CLEAR(C) Stack(C,B)ONTABLE(A)ONTABLE(C)ON(B,C)CLEAR(A)CLEAR(B)HANDEMPTY ONTABLE(C)ON(B,C)CLEAR(A)CLEAR(B)HOLDING(AStack(B,A) ONTABLE(C)ON(B,C)ON(A,B)CLEAR(A)HANDEMPTPickup(B) 12 解 ：35. 请 对 下 列 命 题 分 别 写 出 它 们 的 语 义 网 络 ：(1) 每 个 学 生 都 有 一 台 计 算 机 。 (2) 高 老 师 从 3月 到 7月 给 计 算 机 系 学 生 讲 计 算 机 网 络 课 。解 ：(5) 红 队 与 蓝 队 进 行 足 球 比 赛 ， 最 后 以 3： 2的 比 分 结 束 。解 ： 36. 请 把 下 列 命 题 用 一 个 语 义 网 络 表 示 出 来 ：(1) 树 和 草 都 是 植 物 ；解 ：(2) 树 和 草 都 有 叶 和 根 ； ISA 讲 课 事 件高 老 师老 师 Subjec 计 算 机 系 学 生Object7月 8月Start End讲 课 计 算 机 网 络Action Caurse足 球 赛比 赛 AKO红 队 蓝 队 3:2Participants1 Participants2Outcome植 物 草树AKO AKO 13 解 ：(3) 水 草 是 草 ， 且 生 长 在 水 中 ；解 ： (4) 果 树 是 树 ， 且 会 结 果 ；解 ：(5) 梨 树 是 果 树 中 的 一 种 ， 它 会 结 梨 。解 ：37. 用 语 义 网 络 表 示 ：动 物 能 运 动 、 会 吃 。鸟 是 一 种 动 物 ， 鸟 有 翅 膀 、 会 飞 。 鱼 是 一 种 动 物 ， 鱼 生 活 在 水 中 、 会 游 泳 。 草树是 一 种 是 一 种植 物叶 根Have Have草 水 草 水 中AKO Live植 物 AKO 树 果 树 结 果AKO Can植 物 AKO 果 树 梨 树 结 梨AKO Can树 AKO 14 38. 假 设 有 以 下 一 段 天 气 预 报 ： “ 北 京 地 区 今 天 白 天 晴 ， 偏 北 风 3级 ， 最 高 气 温 12， 最 低 气温 -2， 降 水 概 率 15%。 ” 请 用 框 架 表 示 这 一 知 识 。解 ：Frame地 域 ： 北 京时 段 ： 今 天 白 天天 气 ： 晴风 向 ： 偏 北风 力 ： 3级气 温 ： 最 高 ： 12度最 低 ： -2度降 水 概 率 ： 15% 39. 按 “ 师 生 框 架 ” 、 “ 教 师 框 架 ” 、 “ 学 生 框 架 ” 的 形 式 写 出 一 个 框 架 系 统 的 描 述 。解 ： 师 生 框 架FrameName： Unit（ Last-name， First-name）Sex： Area（ male， female）Default： maleAge： Unit（ Years）Telephone： Home Unit（ Number）Mobile Unit（ Number）教 师 框 架 FrameAKOMajor： Unit（ Major-Name）Lectures： Unit（ Course-Name）Field： Unit（ Field-Name）Project ： Area（ National， Provincial， Other）Default： ProvincialPaper： Area（ SCI， EI， Core， General）Default： Core学 生 框 架 FrameAKOMajor： Unit（ Major-Name）Classes： Unit（ Classes-Name）Degree： Area（ doctor， mastor,bachelor）Default： bachelor 15 40. 设 有 如 下 一 段 知 识 ：“ 张 、 王 和 李 都 属 于 高 山 协 会 。 该 协 会 的 每 个 成 员 不 是 滑 雪 运 动 员 ， 就 是 登 山 运 动 员 ，其 中 不 喜 欢 雨 的 运 动 员 是 登 山 运 动 员 ， 不 喜 欢 雪 的 运 动 员 不 是 滑 雪 运 动 员 。 王 不 喜 欢 张 所 喜欢 的 一 切 东 西 ， 而 喜 欢 张 所 不 喜 欢 的 一 切 东 西 。 张 喜 欢 雨 和 雪 。 ”试 用 谓 词 公 式 集 合 表 示 这 段 知 识 ， 这 些 谓 词 公 式 要 适 合 一 个 逆 向 的 基 于 规 则 的 演 绎 系统 。 试 说 明 这 样 一 个 系 统 怎 样 才 能 回 答 问 题 ：“ 高 山 俱 乐 部 中 有 没 有 一 个 成 员 ， 他 是 一 个 登 山 运 动 员 ， 但 不 是 一 个 滑 雪 运 动 员 ？ ”解 ： (1) 先 定 义 谓 词A(x) 表 示 x是 高 山 协 会 会 员S(x) 表 示 x是 滑 雪 运 动 员C(x) 表 示 x是 登 山 运 动 员L(x,y) 表 示 x 喜 欢 y(2) 将 问 题 用 谓 词 表 示 出 来 “ 张 、 王 和 李 都 属 于 高 山 协 会A(Zhang) A(Wang) A(Li)高 山 协 会 的 每 个 成 员 不 是 滑 雪 运 动 员 ， 就 是 登 山 运 动 员( x)(A(x) S(x) C(x)高 山 协 会 中 不 喜 欢 雨 的 运 动 员 是 登 山 运 动 员( x)(L(x,Rain) C(x)高 山 协 会 中 不 喜 欢 雪 的 运 动 员 不 是 滑 雪 运 动 员( x)(L(x,Snow) S(x)王 不 喜 欢 张 所 喜 欢 的 一 切 东 西( y)(L(Zhang,y) L(Wang,y)王 喜 欢 张 所 不 喜 欢 的 一 切 东 西( y)(L(Zhang,y) L(Wang,y)张 喜 欢 雨 和 雪 L(Zhang,Rain) L(Zhang,Snow)(3) 将 问 题 要 求 的 答 案 用 谓 词 表 示 出 来高 山 俱 乐 部 中 有 没 有 一 个 成 员 ， 他 是 一 个 登 山 运 动 员 ， 但 不 是 一 个 滑 雪 运 动 员 ？(x)(A(x) C(x) S(x)(4) 为 了 进 行 推 理 ， 把 问 题 划 分 为 已 知 事 实 和 规 则 两 大 部 分 。 假 设 ， 划 分 如 下 ：已 知 事 实 ：A(Zhang) A(Wang) A(Li)L(Zhang,Rain) L(Zhang,Snow)规 则 ：( x)(A(x) S(x) C(x)( x)(L(x,Rain) C(x)( x)(L(x,Snow) S(x)( y)(L(Zhang,y) L(Wang,y) ( y)(L(Zhang,y) L(Wang,y)(5) 把 已 知 事 实 、 规 则 和 目 标 化 成 推 理 所 需 要 的 形 式事 实 已 经 是 文 字 的 合 取 形 式 ： 16 f1:A(Zhang) A(Wang) A(Li)f2:L(Zhang,Rain) L(Zhang,Snow)将 规 则 转 化 为 后 件 为 单 文 字 的 形 式 ：r1:A(x) S(x) C(x)r2:L(x,Rain) C(x)r3:L(x,Snow) S(x)r4:L(Zhang,y) L(Wang,y)r5:L(Zhang,y) L(Wang,y)将 目 标 公 式 转 换 为 与 /或 形 式A(x) (C(x) S(x)(6) 进 行 逆 向 推 理逆 向 推 理 的 关 键 是 要 能 够 推 出 L(Zhang,Rain) L(Zhang,Snow)， 其 逆 向 演 绎 过 程 如 下图 所 示 。 41. 判 断 下 列 子 句 集 中 哪 些 是 不 可 满 足 的 ：(1) P Q,Q, P,P(2) P Q, P Q, P Q,P Q(3) P(y) Q(y), P(f(x) R(a)(4) P(x) Q(x), P(y) R(y),P(a),S(a), S(z) R(z)(5) P(x) Q(f(x),a), P(h(y) Q(f(h(y),a) P(z)(6) P(x) Q(x) R(x), P(y) R(y), Q(a), R(b)解 ： (1) 不 可 满 足 ， 其 归 结 过 程 为 ：(2) 不 可 满 足 ， 其 归 结 过 程 为 ： A(x) (C(x) S(x)A(x) C(x) S(x)C(x) S(x)L(x,Rain) L(x,Snow)r2 r3 L(Wang,y)L(Wang,y)Wang/x, r 4 L(Zhang,y)L(Zhang,Rain)Rain/y Wang /x, L(Zhang,y)r4 L(Zhang,Snow)Snow/y P Q QP PNIL 17 (3) 不 是 不 可 满 足 的 ， 原 因 是 不 能 由 它 导 出 空 子 句 。(4) 不 可 满 足 ， 其 归 结 过 程 略 (5) 不 是 不 可 满 足 的 ， 原 因 是 不 能 由 它 导 出 空 子 句 。(6) 不 可 满 足 ， 其 归 结 过 程 略 42. 假 设 张 被 盗 ， 公 安 局 派 出 5个 人 去 调 查 。 案 情 分 析 时 ， 贞 察 员 A说 ： “ 赵 与 钱 中 至 少 有一 个 人 作 案 ” ， 贞 察 员 B说 ： “ 钱 与 孙 中 至 少 有 一 个 人 作 案 ” ， 贞 察 员 C说 ： “ 孙 与 李 中 至 少有 一 个 人 作 案 ” ， 贞 察 员 D说 ： “ 赵 与 孙 中 至 少 有 一 个 人 与 此 案 无 关 ” ， 贞 察 员 E说 ： “ 钱 与李 中 至 少 有 一 个 人 与 此 案 无 关 ” 。 如 果 这 5个 侦 察 员 的 话 都 是 可 信 的 ， 使 用 归 结 演 绎 推 理 求出 谁 是 盗 窃 犯 。解 ： (1) 先 定 义 谓 词 和 常 量设 C(x)表 示 x作 案 ， Z表 示 赵 ， Q表 示 钱 ， S表 示 孙 ， L表 示 李(2) 将 已 知 事 实 用 谓 词 公 式 表 示 出 来赵 与 钱 中 至 少 有 一 个 人 作 案 ： C(Z) C(Q)钱 与 孙 中 至 少 有 一 个 人 作 案 ： C(Q) C(S) P Q P QQ P Q P QQNIL 18 孙 与 李 中 至 少 有 一 个 人 作 案 ： C(S) C(L)赵 与 孙 中 至 少 有 一 个 人 与 此 案 无 关 ： (C(Z) C(S)， 即 C(Z) C(S)钱 与 李 中 至 少 有 一 个 人 与 此 案 无 关 ： (C(Q) C(L)， 即 C(Q) C(L)(3) 将 所 要 求 的 问 题 用 谓 词 公 式 表 示 出 来 ， 并 与 其 否 定 取 析 取 。设 作 案 者 为 u， 则 要 求 的 结 论 是 C(u)。 将 其 与 其 否 )取 析 取 ， 得 ： C(u) C(u)（ 4） 对 上 述 扩 充 的 子 句 集 ， 按 归 结 原 理 进 行 归 结 ， 其 修 改 的 证 明 树 如 下 ： Q/u因 此 ， 钱 是 盗 窃 犯 。 实 际 上 ， 本 案 的 盗 窃 犯 不 止 一 人 。 根 据 归 结 原 理 还 可 以 得 出 ： S/u因 此 ， 孙 也 是 盗 窃 犯 。43. 给 出 对 教 师 教 学 质 量 评 估 的 二 级 模 糊 综 合 评 判（ 所 有 的 因 素 级 、 权 重 级 和 隶 属 度 均 由 自 己 来 指 定 ） C(Z) C(Q) C(Z) C(S)C(Q) C(S) C(Q) C(S)C(Q) C(u) C(uC(Q) C(S) C(L) C(Q) C(L)C(S) C(Q) C(Q) C(S)C(S) C(u) C(uC(S)