大学课程《人工智能》课后习题及答案.docxVIP

第一章 课后习题 合数据库、规则集合的形式化描述，给出初始状态和目标条件的描述），并画出状态空间图。 5、对三枚钱币问题给出产生式系统描述及状态空间图。 第二章 课后习题 （1）任意一个将牌可以移入相邻的空格，规定其耗散值为1； 讨论用这两个启发函数求解该问题时是否得到最佳解。 可采纳的。 钱币者算输。试通过博弈证明，后走的选手必胜，并给出一个简单的特征标记来表示取胜策略。 修改的算法能正确处理这种情况。 系统的描述。 （2）{~{（ x）P（x）}}→（ x）[~P（x）] ~Loves（y，x）∨Loves（x，y） 试用合一算法求第一个子句和第二个子句的第一个文字合一时的结果。 6、用归结反演法证明下列公式的永真性： （1）（ x）{[P（x）→P（A）]∧[P（x）→P（B）]} 1 2 1 2 Anything anyone eats and isnt killed by is food. Sue eats everything Bill eats. 试判断下面的归结过程是否正确？若有错误应如何改进： （2）两个全等的三角形的对应边相等。 ONTABLE（A） ONTABLE（C） ON（D，C） HEAVY（B） 绘出这些公式所描述的状态的草图。 答案 第一章课后习题答案 说明：由于人工智能的很多题目都很灵活，以下解答仅供参考。 第 1 答 ： 1 ， 合 数 据 定 其 义 三 元 组 ： （ m, c, b 中 ： ， 表 示 传 教 士 河 左 岸 的 人 数 ， 表 示 野 人 在 河 左 岸 的 认 输 。 ， b=1 ， 表 示 船 在 左 岸 ， b=0 ， 表 示 船 在 右 岸 。 2 ， 规 则 规 则 集 可 以 用 两 种 方 式 表 示 ， 两 种 方 法 均 可 规 r1 r2 r3 r4 r5 r6 r7 则 集 如 下 (m-3, (m, (m-2, (m-1, (m-1, (m, c-1, c, (m-2, r8：IF (m, c, 1) THEN (m, c-2, 0) r9 (m, r16：IF (m, c, 0) THEN (m, c+2, 1) 第 二 种 方 法 ： 将 规 则 集 综 合 在 一 起 ， 简 化 表 示 。 规 则 集 如 下 ： 3 4 ， ， 初 结 始 束 状 状 态 态 ： ： (5, (0, 第 答 定 2 ： 1 合 数 据 义 两 元 （ L5, 5 升 的 壶 的 当 前 水 量 。 升 的 壶 的 当 前 水 量 。 2 2 ， 规 则 r1 r2 IF IF (5, 将 将 灌 灌 满 满 水 水 (L5, r3 r4 IF IF 将 将 水 水 到 到 光 光 3 ， 初 始 状 态 ： (5, 第 答 定 3 ： 1 ， 综 合 数 据 义 三 元 组 ： (A, B, 小的数表示小盘子，数值大的数表示大盘子。表的第一个元素表示立柱最上面的柱子，其余类推。 2 ， 规 ， 则 集 ： 为 了 方 便 表 示 规 则 集 引 入 以 下 几 个 函 数 L) ： 将 x 加 入 到 表 L 的 最 前 面 规 则 集 有 种 可 能 。 即 问 题 的 状 态 规 模 为 。 第 答 定 其 4 ： 1 ， 综 合 数 据 义 5 元 组 ： （ B, Box, H 中 M 子 的 位 B 蕉 的 Box ： 箱 子 的 On=0 ： 猴 子 在 地 板 ： 猴 在 箱 子 ： 猴 子 有 抓 到 香 ： 猴 子 抓 到 了 香 2 ， 规 则 x 处 走 到 w 其 中 w 为 变 3 ， 初 始 状 态 （ c, a, 0 （ x1, x2, x3, x4, 1 ） 第 5 题 答 定 ： 1 ， 合 数 据 义 四 元 组 ： z, n 的 2 。 库 ， 规 则 IF IF IF (~x, (x, z, z, n+1) n+1) n+1) 。 (x, ~z, 中 ~x 表 示 x 取 反 ， 初 状 (1, 4 ， 结 束 状 3) 或 者 第 6 题 则 的 执 行 ， 转 换 得 到 二 进 制 数 的 一 位 。 第 7 题 有 其 ： rule(D) 中 表 示 可 应 用 于 D 的 规 则 集 合 。 有 综 ： rule(D) rule(D) 合 上 述 两 个 式 子 ， 有 rule(D) ＝ rule(D) 。 第 8 题 统 的 第 三 个 条 件 。 因此这样一个产生式系统是一个可交换的产生式系统。 第 1 题 第 2 题 提 示 ： 可 定 义 h 为 h ＝ B 右 边 的 W 的 数 1 或 2 个 或 1 或 2 个 或 纵 上 所 述 ， 无 论 是 哪 一 种 情 况 ， 具 有 第 3