二、填空题

1、辖域约束变元自由变元

2、B A→C

3、删除策略

4、图搜索状态空间图（或状态图)

5、启发函数

6、极大极小分析法α—β剪枝技术

7、随机性模糊性不一致性不确定性

8、纯文字永真类含

9、~CF（A)min{CF（A1）,CF（A2）｝max｛CF(A1），CF(A2）}

10、或图与或图

11、最一般合一

12、知识的运用逻辑表示法（谓词表示法）框架产生式AKO ISA

三、简答及应用题

1、定义谓词G（x)：x为整数

D(x，y):x大于y

形式化为：

；或者2、回答:α剪枝：若任一极小值层节点的β值小于或等于它任一先辈极大值节点的α值，即α（先辈层）≥β（后继层）,则可中止该极小值层中这个MIN节点以下的搜索过程。这个MIN节点最终的倒推值就确定为这个β值。

β剪枝:若任一极大值层节点的α值大于或等于它任一先辈极小值层节点的β值，即α(后继层）≥β（先辈层），则可以中止该极大值层中这个MAX节点以下的搜索过程。这个MAX节点的最终倒推值就确定为这个α值.

3、化子句集如下：

4、答：（１）专家系统与一般的软件系统开发无异,其开发过程同样要遵循软件工程的步骤和原则,即也要进行系统分析、系统设计等几个阶段的工作。

(２)但由于它是专家系统，而不是一般的软件系统，所以，又有其独特的地方,主要包括以下几个步骤：

1）系统总体分析与设计；

2）知识获取;

3）知识表示与知识描述语言设计;

4）知识库设计、知识库管理系统设计；

5）推理机与解释模块设计；

6）总控与界面设计

7）编程与调试

8）测试与评价

9）运行与维护

（３）可以看出它有如下特点：

1）知识获取和知识表示设计是一切工作的起点；

知识表示与知识描述语言确定后,其他设计可同时进行；

5、答：所谓“图灵实验"，是为了判断一台机器是否具备智能的实验。实验由三个封闭的房间组成，分别放置主持人、参与人和机器。主持人向参与人和机器提问，通过提问的结果来判断谁是人，谁是机器。如果主持人无法判断谁是人，谁是机器，则这台机器具备智能，即所谓的“智能机器"。

6、解:现定义如下谓词

F(x,y）-—---—x是y的父亲；

G(x，z)-—--——x是y的祖父;

用谓词逻辑表示已知与求解: