14。下图所示博弈树，按从左到右的顺序进行α—β剪枝搜索，试标明各生成节点的到推值,何处发生剪枝，及应选择的走步。10分

15.剪枝方法只是极小极大方法的一种近似，剪枝可能会遗漏掉最佳走步。这种说法是否正确？

1.什么是人工智能？人工智能与计算机程序的区别？

答:AI是研究如何制造人造的智能机器或智能系统来模拟人类智能活动的能力以延伸人类智能的科学，它与计算机程序的区别是：

✧AI研究的是符号表示的知识而不是数值数据为研究对象

✧AI采用启发式搜索方法而不是普通的算法

✧控制结构与知识是分离的

✧允许出现不正确的答案

2.化下列逻辑表达式为不含存在量词的前束范式

答：

3.求下列谓词公式的子句集

答：

所以子句集为：

｛}

4.若有梯形ABCD，将其中的若干定理形式化即定义一些谓词公式，然后利用归结原理证明内错角

证明：设梯形顶点依次为a，b,c，d,定义谓词:

T（x，y，u，v）:表示xy为上底，uv为下底的梯形。

P(x，y,u，v)：表示xy||uv

E（x,y,z,u,v，w）表示∠xyz=∠uvw，问题的描述和相应的子句集为

xyuv[T(x，y，u，v)→P（x,y，u,v）］.。。梯形上下底平行

子句：～T(x,y,u，v)∨P（x,y,u，v)

xyuv［P（x，y，u，v)→E（x，y，v,u,v,y）]。。.平行则内错交相等

子句：

T（a,b,c,d).。。已知

子句：T(a，b,c，d）

E（a，b，d，c，d，b)..。要证明的结论

子句：~E(a,b，d,c,d,b）

子句集S为

～T(x，y，u，v)∨P（x,y，u，v）

～P(x，y，u，v）∨E（x,y，v，u,v，y）

T(a,b，c，d)

～E(a，b，d，c,d,b）

下面利用归结原理证明

P（a，b，c，d)（1）和（3）归结，置换｛a/x，b/y，c/u，d/v｝

E(a,b，d，c，d,b）（2)和（5）归结，置换{a/x，b/y，c/u，d/v}

NIL（4）和（6)归结

根据归结原理得证。

5.求子句集的MGU