一、选择题答案1、A2、A 二、填空题答案1、基于规则的正向演绎系统使用的条件是（1）事实表达式是任意形式（2）规则形式为 L→W 或 L 1∨L 2→W ， 其中 L 为单文字， W 为任意形（3）目标公式为文字析取形2、基于规则的逆向演绎系统使用的条件是（1）事实表达式是文字合取形（ 2）规则形式为 W→L 或 W→L1∧L2 ， 其中 L 为单文字， W 为任意形（3）目标公式为任意形式3、归结法中，可以通过修改证明树的方法得到问题的解答。三、 问答题答案第 1 题答：得解图：第 2 题第 3 题答： 综合数据库：(m1, m5, m9, b) 设从河的左岸到右岸， 其中 m1, m5,m9 分别表示过河时间需要1 分钟，5 分钟和 9 分钟的人， 在河左岸的人数。 b＝1 表示船在左岸， b＝0 表示船在右岸。规则集：初始状态：(2, 1, 1, 1) 结束状态：(0, 0, 0, 0) h 函数： h(n) = m - b ，其中 m 为在左岸的人数，b 为船是否在左岸。对于任意两个节点ni 和 nj ，其中 nj 是 ni 的子节点。当 ni 中 b＝1 时，则 nj 中 b＝0，因此： max(h(ni)-h(j))=(m-1)-(m-1)=0, 而 C(ni, nj) 最小为1，因此 h(ni)-h(nj)
