3、正向推理 4、 Artifical Inteligence 5、 搜索技术推理技术知识表示和知识库技术、归纳技术、联想技术 6、 框架语义网络面向对象 7、综合数据库知识库 正向推理 反向推理 8、辖域 约束变元自由变元 9、深蓝 10、 制造智能机器 实现机器智能 11、 真 12、 空集 13、 PVP或QVQ 14、 Q (a)VR (y) 15、 删除策賂 支持集策賂 线性归结策略 16、 启发函数 17、 B A→C 选择题 1 2 34 5 6 789101112131415 CDBBBBCADBBCBBA 三、简答与应用题 1.解答：(1)属于图搜索：(2)是一个通用的搜索方法：(3)如果深度限制不合适，有可 能找不到问题的解：(4)不能保证找到最优解。 2.回答：通常用有序对的集合s={tlwl,2w2,…,tmw;来表示任一置换，置换集的元素tiwi的含义 是表达式中的变量vi处处以项i来替换，用s对表达式E作置换后的例简记为Es. 一般来说，置换是不可交换的，即两个置换合成的结果与置换使用的次序有关。3、 正向推理 4、 Artifical Inteligence 5、 搜索技术 推理技术 知识表示和知识库技术、归纳技术、联想技术 6、 框架 语义网络 面向对象 7、 综合数据库 知识库 正向推理 反向推理 8、 辖域 约束变元 自由变元 9、 深蓝 10、 制造智能机器 实现机器智能 11、 真 12、 空集 13、 ┐P∨P 或┐Q∨Q 14、 Q（a）∨R（y） 15、 删除策略 支持集策略 线性归结策略 16、 启发函数 17、 B A→C 选择题 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 C D B B B B C A D B B C B B A 三、简答与应用题 1. 解答: （1）属于图搜索；（2）是一个通用的搜索方法；（3）如果深度限制不合适，有可 能找不到问题的解；（4）不能保证找到最优解。 2. 回答: 通常用有序对的集合 s＝{t1/v1，t2/v2，…，tn/vn}来表示任一置换，置换集的元素 ti/vi 的含义 是表达式中的变量 vi 处处以项 ti 来替换，用 s 对表达式 E 作置换后的例简记为 Es。 一般来说，置换是不可交换的，即两个置换合成的结果与置换使用的次序有关