证：

答案：

一、1、D 2、C 3、C 4、D 5、A

6、A 7、D 8、C 9、D 10、B

11、A 12、B 13、A.14、D 15、B

二、1、图林2、正向推理3、Artifical Intelligence

4、随机性，模糊性，不完全性,不一致性

5、纯文字，永真式，类含

6、-CF(A）,min｛CF（A1）,CF（A2)｝，max｛CF（A1)，CF（A2)}）

7、节点和有向边，或图，与或图8、最一般合一（MGU）

9、深蓝10、制造智能机器，实现机器智能

三、1、答：1）表示：命题“张三比较胖”2）解释为:如果患者有些头疼并且发高烧，则他患了重感冒。

2、答:1)产生式规则库：描述相应领域知识的产生式规则集

2）数据库：（事实的集合）存放问题求解过程中当前信息的数据结构（初始事实、外部数据库输入的事实、中间结果事实和最后结果事实)

3）推理机：（控制系统）是一个程序，控制协调规则库与数据库的运行，包含推理方式和控制策略。

3、答:

4、解：k=0;S0=S；δ0=ε;S0不是单元素集，求得差异集D0=｛g（A，y)},z},其中z是变元，g(A,y)是项，且z不在g（A,y）中出现。k=k+1=1

有δ1=δ0·｛g（A,y）/z｝=ε·｛g(A,y）/z｝=｛g（A，y）/z｝，

S1=S0·｛g（A，y）/z｝={P(f(x，g(A，y)），g（A，y)）｝，S1是单元素集。

根据求MGU算法，MGU=δ1=｛g(A，y）/z｝

5、证:①┓P(x）∨Q（x)．．．从F1变换

②┓P（y）∨R(y）`．．．从F1变换

③P(a）．．．从F2变换

④S（a)．．．从F2变换

⑤┓S（z)∨┓R（z)．．．结论的否定

⑥R(a)．．．②③归结｛a/y｝

⑦┓R（a)．．．④⑤归结｛a/z｝

⑧□．．．⑥⑦归结

得证。

四、1、答:谓词公式表示：

x(student（x)∧read(x，三国演义）)

语义网络表示如图：

2、

3、证:现定义如下谓词

L(x,y)-—--—-某人x喜欢某物y;

P（y）———-——某物y是清洁的东西

(1)yx(P（y)→L（x，y))==>┓P（y）∨L（f(y)，y）