B.Q

C.～P

D.P∨Q

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、某问题由下列公式描述:

(1）、试用归结法证明(x)R（x)；（8分）

4.专家系统的一般步骤有哪些？专家系统的开发与一般的软件系统开发相比较,有哪些共同点和特点?（7分）

5.何谓“图灵实验"？简单描述之（5分）

6、设有如下关系：（1）如果x是y的父亲，y又是z的父亲，则x是z的祖父；(2）老李是大李的父亲；（3）大李是小李的父亲；问上述人员中谁和谁是祖孙关系？（10分)

7。给1～9九个数字排一个序列，使得该序列的前n（n=1，。..，9）个数字组成的整数能被n整除。

（1)、讨论哪些知识可以帮助该问题的求解。

（2）、用产生式系统描述该问题.(15分）

答案部分

一、选择题

ADADBCBADBBCBBA