某问题由下列公式描述： (1)P(a) (2)(t(y[Py)→Q(b,名8，y)] (3)(t)P(代)] (4)(Vx[P(nQ(b,c,R(H(x))] (5)((y[Q(b,名)→Q(b,x,fy)] (1)、试用归结法证明(x)R(x):8分 4.下图所示博弈树，按从左到右的顺序进行α-B剪枝搜索，试标 明各生成节点的到推值，何处发生剪枝，及应选择的走步。10分 4102578-5105-6-1-21-25636-44-34 5.10分设有如下关系：(1)如果x是y的父亲，y又是z的父亲，则x是z的 祖父：(2)老李是大李的父亲：(3)大李是小李的父亲：问上述人员中谁和谁是 祖孙关系？(10分) 6.张某被盗，公安局派了五个侦察员去调查。研究案情时，侦察员A说：“赵与钱 中至少有一人作案”：侦察员D说：“钱与孙至少有一人作案”：侦察员C说：“孙与 李中至少有一个作案”：侦察员D说“赵与孙至少一个与案无关”：侦察员E说“钱与 李中至少有一人与此案无关”。如果这五个侦察员的话都是可信的，试用消解原理 推理求出谁是盗窃犯。(10分) 填空题 1、修改证明树 2、 On(z,y)VAbove(x.y)某问题由下列公式描述： (1)、试用归结法证明( x)R(x)；8 分 4. 下图所示博弈树，按从左到右的顺序进行 α-β 剪枝搜索，试标 明各生成节点的到推值，何处发生剪枝，及应选择的走步。10 分 5.10 分 设有如下关系：（1）如果 x 是 y 的父亲，y 又是 z 的父亲，则 x 是 z 的 祖父；（2）老李是大李的父亲；（3）大李是小李的父亲；问上述人员中谁和谁是 祖孙关系？(10 分) 6. 张某被盗，公安局派了五个侦察员去调查。研究案情时，侦察员Ａ说：“赵与钱 中至少有一人作案”；侦察员Ｄ说：“钱与孙至少有一人作案”；侦察员Ｃ说：“孙与 李中至少有一个作案”；侦察员Ｄ说“赵与孙至少一个与案无关”；侦察员Ｅ说“钱与 李中至少有一人与此案无关”。如果这五个侦察员的话都是可信的，试用消解原理 推理求出谁是盗窃犯。（10 分） 填空题 1、 修改证明树 2、