15、如果问题存在最优解，则下面几种搜索算法中，()必然可以得到该最优解。 A.广度优先搜索 B.深度优先搜索 C.有界深度优先搜索 D.启发式搜索 二、填空题（共30分）： 1,在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的 而在 一个量词的辖域中与该量词的指导变元相同的变元称为 ，其他变元称为 2、假言推理(AB)AA台 一，假言三段论(A→B)A(B→C)三 3、几种常用的归结策略： 、 支持集策略、线形归结策略、输入归结策略、单元 归结策略 4、在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核心技术称为 技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用 图来表，这种图称为 5在启发式搜索当中，通常用 来表示启发性信息。 6在二人博弈问题中，最常用的一种分析技术是 ,这种方法的思想是先生成一 棵博弈树，然后再计算其倒推值。但它的效率较低，因此人们在此基础上，又提出了 7、不确定性类型按性质分： 8、在删除策略归结的过程中删除以下子句：含有」 的子句；含有 的子句；子句集中被别的子句」 的子句。 9、对证据的可信度CF(A)、CF(A1)、CF(A2)之间，规定如下关系： CF (A)= 2、 CF(A1ΛA2)= CF (AIVA2 ) 10、图：指由 组成的网络。按连接同一节点的各边的逻辑关系又 可分为 和 11、合一算法：求非空有限具有相同谓词名的原子公式集的 12、开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的表示和 ，知 识表示的方法主要有一， 和语义网络等，在语义网络表示知识时，所使 用的推理方法有和 三、简答与应用题 1、谓词逻辑形式化下列描述 “不存在最大的整数”(4分) 2.α一B剪枝的条件是什么？ (6分) 3、某问题由下列公式描述：15、如果问题存在最优解，则下面几种搜索算法中，（ ）必然可以得到该最优解。 A. 广度优先搜索 B. 深度优先搜索 C. 有界深度优先搜索 D. 启发式搜索 二、填空题（共 30 分）： 1.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的 ，而在 一个量词的辖域中与该量词的指导变元相同的变元称为 ，其他变元称为 2、假言推理（A→B）A ，假言三段论（A→B）（B→C） 3、几种常用的归结策略： 、支持集策略、线形归结策略、输入归结策略、单元 归结策略 4、在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核心技术称为 技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用 图来表，这种图称为 5.在启发式搜索当中，通常用 来表示启发性信息。 6.在二人博弈问题中，最常用的一种分析技术是 ，这种方法的思想是先生成一 棵博弈树，然后再计算其倒推值。但它的效率较低，因此人们在此基础上，又提出了 7、不确定性类型按性质分： ， ， ， 。 8、在删除策略归结的过程中删除以下子句：含有 的子句;含有 的子句;子句集中被别的子句 的子句。 9、对证据的可信度 CF（A）、CF（A1）、CF（A2）之间，规定如下关系： CF（~A）= 、CF（A1∧A2 ）= 、 CF（A1∨A2 ）= 。 10、图：指由 组成的网络。按连接同一节点的各边的逻辑关系又 可分为 和 。 11、合一算法：求非空有限具有相同谓词名的原子公式集的 。 12、开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的表示和 ，知 识表示的方法主要有 ， ， 和语义网络等，在语义网络表示知识时，所使 用的推理方法有 和 三、简答与应用题 1、 谓词逻辑形式化下列描述 “不存在最大的整数”(4 分) 2.α－β 剪枝的条件是什么？ （6 分） 3、某问题由下列公式描述：