DOC《人工智能试卷（B）》

10、图:指由 组成的网络.按连接同一节点的各边的逻辑关系又可分为 和.

11、合一算法:求非空有限具有相同谓词名的原子公式集的 .

12、开发专家系统所要解决的基本问题有三个,那就是知识的获取、知识的表示和 ,知识表示的方法主要有 和语义网络等,在语义网络表示知识时,所使用的推理方法有 和

三、简答与应用题 谓词逻辑形式化下列描述 不存在最大的整数 (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分) 答案部分

一、选择题 A D A D B C B A D B B C B B A

二、填空题

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)可以看出它有如下特点: 知识获取和知识表示设计是一切工作的起点;

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

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

6、解:现定义如下谓词 F(x,y)------ x是y的父亲;

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