学 号 姓 名 所在班级 密 总分 核分人 湖北工学院二○○三—二○○四 学年第一学期期末考试 卷号：B 人工智能导论试题 （00 自动化专业用） 四 、 试 卷 印 刷 不 清 楚 ， 可 举 手 向 监 考 教 师 询 问 。 一 、 密 封 线 内 不 准 答 题 。 注 意 三 二 、 、 考 姓 生 名 在 、 答 学 题 号 前 、 应 班 先 级 将 不 姓 许 名 涂 、 改 学 ， 号 否 和 则 班 试 级 卷 填 无 写 效 在 。 在 指 定 的 方 框 内 。 封 题号 一 二 三 四 五 六 七 八 九 十 题分 得分 注意：学号、姓名和所在班级不写、不写全或写在密封线外者，试卷作废。 一、把下列谓词公式分别化成相应的子句集。(10 分) （1） ( x)( y)( z) {P(x)  ( x)[Q(x, y)  R(z)] } （2） (  x)(  y){{P(x)  [Q(x)  R(y)]}  ( y)[P(f(y))  Q(g(x))]} 二、设有子句集 S={P(x)Q(x,b),P(a)Q(a,b),Q(a,f(a)),P(x)Q(x,x)} 分别用各种归结策略求出 S 的归结式。(15 分) 三、 设某字母重写问题的初始状态为（C, B, Z），目标状态是只含字母 M 的列表， 给定以下重写规则： C  (D, L) C  (B, M) B  (M, M) Z  (B, B, M) 画出相应于该重写问题的与或图，指出解图并给出解答。（20 分） 四、应用启发式搜索算法 A 解决以下八数码问题： 2 6 3 6 1 8 7 1 8 7 3 4 5 4 2 5 设评价函数 f(n) = d(n) + p(n)，画出搜索图，并给出各搜索循环结束时 Open 和 Close 表的内容。（10 分） 1 

学 号 姓 名 所在班级 密 五、智能程序中有事实： 七、产生式系统由那些部分组成？它们的作用是什么？并通过实例说明如何设计 parent(pam,bob), parent(bob,pat), …… 要求程序解决“Pat 的祖父母是谁？”即：grandparent(X,pat). 程序中要增加什么规则？请写出一个完整的程序，解决此问题。(10 分) 一个产生式系统的问题表示？(10 分) 八、用 Visual Prolog 编写一个与本课程相关的、简单的、完整的程序。(15 分) 四 、 试 卷 印 刷 不 清 楚 ， 可 举 手 向 监 考 教 师 询 问 。 一 、 密 封 线 内 不 准 答 题 。 注 意 二 三 、 、 姓 考 名 生 、 在 学 答 号 题 、 前 班 应 级 先 不 将 许 姓 涂 名 改 、 ， 学 否 号 则 和 试 班 卷 级 无 填 效 写 。 在 在 指 定 的 方 框 内 。 封 六、出下图中树的结点两个访问序列，要求分别满足以下两个搜索策略：(10 分) (1) 深度优先搜索 (2) 广度优先搜索 1 3 7 2 5 6 10 11 12 4 9 8 13 2