15、C(B|A)表示在规则A-〉B中，证据A为真的作用下结论B为真的

A）可信度B）信度C）信任增长度D)概率

二、填空题(每题1分，共30分)

1、人工智能的含义最早由一位科学家于1950年提出,并且同时提出一个机器智能的测试模型，请问这个科学家是

2、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是

.

3、AI的英文缩写是。

4、不确定性类型按性质分:,,

,。

5、在删除策略归结的过程中删除以下子句:含有的子句;含有的子句；子句集中被别的子句的子句。

6、对证据的可信度CF（A)、CF（A1）、CF（A2)之间,规定如下关系：

CF(~A）=、CF（A1∧A2）=、

CF(A1∨A2）=。

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

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

9、1997年５月，著名的“人机大战”，最终名为“”的计算机以3.5比2。5的总比分将世界国际象棋棋王卡斯帕罗夫击败。

10、人工智能的远期目标是，近期目标是。

三、简答及计算题(每题5分,共25分）

1、解释下列模糊性知识：

1)张三,体型，（胖，0。9）).

2)（患者,症状，(头疼，0.95))∧(患者，症状,（发烧，1。1)）→（患者，疾病，（感冒，1.2））

答：

2、简单阐述产生式系统的组成:

答：

3、补齐产生式系统与图搜索的对比表

答：

4、已知W={P(f（x，g(A，y)),z）,P（f(x,z），z)}，求MGU

解：

5、证明G是否是F1、F2的逻辑结论；

证：

四、应用题(共30分)

1、将命题：“某个学生读过三国演义"分别用谓词公式和语义网络表示

答：

2、图示博弈树，其中末一行的数字为假设的估值，请利用α-β剪枝技术剪去不必要的分枝。（在节点及边上直接加注释）

3、利用谓词逻辑表示下列知识（包括已知和结论），然后化成子句集:

（1)凡是清洁的东西就有人喜欢；

(2）人们都不喜欢苍蝇

求证:苍蝇是不清洁的。