2.证明G 是否为1F ,2F ,……，n F 的逻辑结论。

1F ：()()()()()()x x x x R Q P ∧→∀ 1F ：()()()()x x x S P ∧∃G ：()()()()x x x R S ∧∃2.先把G 否定，并放入F 中，得到的｛F1,F2, ¬G ｝为｛()()()()()()x x x x R Q P ∧→∀，()()()()x x x S P ∧∃，¬（()()()()x x x R S ∧∃）｝ 再把｛F1,F2, ¬G ｝化为子句集，得到 ①)x ()x (Q P ∨⌝ ②)y ()y (R P ∨⌝ ③)a (P ④)a (S⑤)b ()b (R S ⌝∨⌝其中①②是由F1化为的两个子句，③④是由F2化为的两个子句，⑤是由G 化为的子句。

由子句集可以看出只有唯一的一个Q 因此可以得出G 不是F 的逻辑结构。

3.假设张被盗，公安局派出5人去调查。

案情分析时，侦查员A 说：“赵与钱中至少有一人作案”；侦查员B 说：“钱与孙中至少有一人作案”；侦查员C 说：“孙与李中至少有一人作案”；侦查员D 说：“赵与孙中至少有一人与此案无关”；侦查员E 说：“钱与李中至少有一人与此案无关”。

如果这5个侦查员的话都是可信的，试用归结演绎推理求出谁是盗窃犯。

3.解：(1) 先定义谓词和常量设C(x)表示x 作案，Z 表示赵，Q 表示钱，S 表示孙，L 表示李 (2) 将已知事实用谓词公式表示出来赵与钱中至少有一个人作案：C(Z)∨C(Q) 钱与孙中至少有一个人作案：C(Q)∨C(S) 孙与李中至少有一个人作案：C(S)∨C(L) 赵与孙中至少有一个人与此案无关：¬ (C (Z)∧C(S))，即¬C (Z) ∨¬C(S) 钱与李中至少有一个人与此案无关：¬ (C (Q)∧C(L))，即¬C (Q) ∨¬C(L) (3) 将所要求的问题用谓词公式表示出来，并与其否定取析取。

设作案者为u ，则要求的结论是C(u)。

将其与其否取析取，得： ¬ C(u) ∨C(u)(4) 对上述扩充的子句集，按归结原理进行归结，其修改的证明树如下：因此，钱是盗窃犯。

实际上，本案的盗窃犯不止一人。

根据归结原理还可以得出：因此，孙也是盗窃犯。

4.设有如图所示的与/或树，请分别用和代价法、最大代价法求解树的代价。

h(A)=2+3+2+5+2+1+6=21若按最大代价法，则该解树的代价为：h(A)=max{h(B)+5, h(C)+6} = max{(h(E)+2)+5, h(C)+6} = max{(max(2, 3)+2)+5, max(2, 1)+6} =max((5+5), (2+6))=105.设有如下一组推理规则：1r ：IF 1E THEN 2E （0.6）2r ：IF 2E AND 3E THEN 4E (0.7) 3r ：IF 4E THEN H （0.8）4r ：IF 5E THEN H (0.9)且已知CF(1E )=0.5，CF(3E )=0.6,CF(5E )=0.7,求CF(H)。

5. 解：(1) 先由r1 求CF(E2) CF(E2)=0.6 × max{0,CF(E1)} =0.6 × max{0,0.5}=0.3 (2) 再由r2 求CF(E4)CF(E4)=0.7 × max{0, min{CF(E2 ), CF(E3 )}} =0.7 × max{0, min{0.3, 0.6}}=0.21 (3) 再由r3 求CF1(H)CF1(H)= 0.8 × max{0,CF(E4)} =0.8 × max{0, 0.21)}=0.168 (4) 再由r4 求CF2(H)CF2(H)= 0.9 ×max{0,CF(E5)} =0.9 ×max{0, 0.7)}=0.63(5) 最后对CF1(H )和CF2(H)进行合成，求出CF(H) CF(H)= CF1(H)+CF2(H)+ CF1(H) × CF2(H) =0.6926.设 U=V=W=｛1，2，3，4｝且有如下规则：1r ：IF x is F THEN y is G 2r ：IF y is G THEN z is H 3r ：IF x is F THEN z is H其中，F,G,H 的模糊集分别为 F=1/1+0.8/2+0.5/3+0.4/4 G=0.1/2+0.2/3+0.4/4 H=0.2/2+0.5/3+0.8/4请用模糊关系C R 验证满足模糊三段论。

6.先求F ⨯G 上的关系c1R ，c1R =⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡4.02.01.004.02.01.004.02.01.004.02.01.00 再求G ⨯H 上的关系2C R ,2C R =⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡4.04.02.002.02.02.001.01.01.000000 最后求F ⨯G ⨯H 的关系R ，R=c1R c1R =⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡4.04.02.004.04.02.004.04.02.004.04.02.002.(龙云献） 简述用A*算法求解问题时为什么会出现重复扩展节点问题，解决的方法有哪些？答：当问题有解时，A*算法总是找到问题的最优解结束。

如果h 函数定义的不合理，则当扩展一个节点时，不一定就找到了从初始节点到该节点的最优路径，对于这样的节点，就有可能被多次扩展。

特别是如果这样的节点处于问题的最优解路径上时，则一定会被多次扩展。

解决的方法一是对h 函数的定义给出限制，使得h 满足单调性。

对于满足单调性条件的h ，则一定不会出现重复扩展节点问题。

二是对A*算法加以改进，使用修正的A*算法进行搜索，则可以减少重复扩展节点问题。

3. （刘林洋）简述回溯策略与深度优先策略的不同点。

答：回溯搜索策略与深度有限搜索策略最大的不同是深度有限搜索策略属于图搜索，而回溯搜索则不是图搜索。

在回溯搜索中，只保留了从初始节点到当前节点的搜索路径。

而深度优先搜索，则保留了所有的已经搜索过的路径。

4. (张松)设有如下两个模糊关系：请写出R 1与R 2的合成R 1οR 2。

解：R(1,1)=(0.3∧0.2)∨(0.7∧0.6)∨(0.2∧0.9)= 0.2∨0.6∨0.2=0.6R(1,2)=(0.3∧0.8)∨(0.7∧0.4)∨(0.2∧0.1)= 0.3∨0.4∨0.1=0.4 R(2,1)=(1∧0.2)∨(0∧0.6)∨(0.4∧0.9)= 0.2∨0∨0.4=0.4 R(2,2)=(1∧0.8)∨(0∧0.4)∨(0.4∧0.1)= 0.8∨0∨0.1=0.8 R(3,1)=(0∧0.2)∨(0.5∧0.6)∨(1∧0.9)= 0.2∨0.6∨0.9=0.9 R(3,2)=(0∧0.8)∨(0.5∧0.4)∨(1∧0.1)= 0∨0.4∨0.1=0.4因此有⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡=⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡=1.09.04.06.08.02.015.004.0012.07.03.021R R⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡=4.09.08.04.04.06.021R R5.（张松）设U=V={1，2，3，4}且有如下推理规则：IF x is 少 THEN y is 多其中，“少”与“多”分别是U 与V 上的模糊集，设 少=0.9/1+0.7/2+0.4/3 多=0.3/2+0.7/3+0.9/4 已知事实为x is 较少 “较少”的模糊集为较少=0.8/1+0.5/2+0.2/3 请用模糊关系Rm 求出模糊结论。

解：先用模糊关系Rm 求出规则 IF x is 少 THEN y is 多 所包含的模糊关系R mR m (1,1)=(0.9∧0)∨(1-0.9)=0.1 R m (1,2)=(0.9∧0.3)∨(1-0.9)=0.3 R m (1,3)=(0.9∧0.7)∨(1-0.9)=0.7 R m (1,4)=(0.9∧0.9)∨(1-0.9)=0.7 R m (2,1)=(0.7∧0)∨(1-0.7)=0.3 R m (2,2)=(0.7∧0.3)∨(1-0.7)=0.3 R m (2,3)=(0.7∧0.7)∨(1-0.7)=0.7 R m (2,4)=(0.7∧0.9)∨(1-0.7)=0.7 R m (3,1)=(0.4∧0)∨(1-0.4)=0.6 R m (3,2)=(0.4∧0.3)∨(1-0.4)=0.6 R m (3,3)=(0.4∧0.7)∨(1-0.4)=0.6 R m (3,4)=(0.4∧0.9)∨(1-0.4)=0.6 R m (4,1)=(0∧0)∨(1-0)=1 R m (4,2)=(0∧0.3)∨(1-0)=1 R m (4,3)=(0∧0.7)∨(1-0)=1 R m (3,4)=(0∧0.9)∨(1-0)=1 即：0.10.30.70.90.30.30.70.70.60.60.60.61111m R ⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦因此有{}{}'0.10.30.70.90.30.30.70.70.8,0.5,0.2,00.60.60.60.611110.3,0.3.0.7,0.8Y ⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦= 即，模糊结论为Y ’={0.3, 0.3, 0.7, 0.8} 6.(张松)设已知：(1) 如果x 是y 的父亲，y 是z 的父亲，则x 是z 的祖父； (2) 每个人都有一个父亲。

使用归结演绎推理证明：对于某人u ，一定存在一个人v ，v 是u 的祖父。

解：先定义谓词 F(x,y)：x 是y 的父亲 GF(x,z)：x 是z 的祖父 P(x)：x 是一个人再用谓词把问题描述出来：已知F1：(∀x) (∀y) (∀z)( F(x,y)∧F(y,z))→G F(x,z)) F2：(∀y)(P(x)→F(x,y))求证结论G ：(∃u) (∃v)( P(u)→G F(v,u)) 然后再将F1，F2和¬G 化成子句集： ① ¬F(x,y)∨¬F(y,z)∨G F(x,z)② ¬P(r)∨F(s,r)③ P(u)④ ¬G F(v,u))对上述扩充的子句集，其归结推理过程如下：1.假设有以下一段天气预报：“贵阳地区今天白天晴，东北风1级，最高气温25º，最低气温16º，降水概率10%，湿度64%。

”请用框架表示这一知识。

（陈丽丽）解：Frame<天气预报>地域：贵阳时段：今天白天天气：晴风向：东北风力：1级气温：最高：25度最低：16度降水概率：10%湿度：64%2.把下列谓词公式化成子句集：（陈丽丽）(1)(∀x)(∀y)(P(x, y)∧Q(x, y))(2)(∀x)(∃y)(P(x, y)∨(Q(x, y)→R(x, y)))解：(1) 由于(∀x)(∀y)(P(x, y)∧Q(x, y))已经是Skolem标准型，且P(x, y)∧Q(x, y)已经是合取范式，所以可直接消去全称量词、合取词，得{ P(x, y), Q(x, y)}再进行变元换名得子句集：S={ P(x, y), Q(u, v)}(2)对谓词公式(∀x)(∃y)(P(x, y)∨(Q(x, y)→R(x, y)))，先消去连接词“→”得：(∀x)(∃y)(P(x, y)∨(¬Q(x, y)∨R(x, y)))此公式已为前束范式。