文档介绍：,,……，的逻辑结论。
：
：
G：
，并放入F中，得到的｛F1,F2, ¬G｝为
｛，，¬（）｝
再把｛F1,F2, ¬G｝化为子句集，得到
①
②
③
④
⑤
其中①②是由F1化为的两个子句，③④是由F2化为的两个子句，⑤是由G化为的子句。
由子句集可以看出只有唯一的一个Q因此可以得出G不是F的逻辑结构。
，公安局派出5人去调查。案情分析时，侦查员A说：“与钱中至少有一人作案”；侦查员B说：“钱与中至少有一人作案”；侦查员C说：“与中至少有一人作案”；侦查员D说：“与中至少有一人与此案无关”；侦查员E说：“钱与中至少有一人与此案无关”。如果这5个侦查员的话都是可信的，试用归结演绎推理求出谁是盗窃犯。
：(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) 对上述扩充的子句集，按归结原理进行归结，其修改的证明树如下：C(Q)∨C(S)
¬C (Z)∨¬C(S)
C(Z)∨C(Q)
C(Q)∨¬C(S)
C(Q)
¬C(u)∨C(u)
C(Q)
{Q/u}
因此，钱是盗窃犯。实际上，本案的盗窃犯不止一人。根据归结原理还可以得出：
C(S)∨C(L)
¬C (Q) ∨¬C(L)
C(S)∨¬C(Q)
C(Q)∨C(S)
C(S)
¬C(u)∨C(u)
C(S)
{S/u}
因此，也是盗窃犯。
，请分别用和代价法、最大代价法求解树的代价。
D
t4
t3
t2
t1
3
2
2
2
6
1
5
7
E
C
B
A
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))=10
：
：IF THEN （）
：IF AND THEN ()
：IF THEN H （）
：IF THEN H ()
且已知CF()=，CF()=,CF()=,求CF(H)。
5. 解：(1) 先由r1 求CF(E2)
CF(E2)= × max{0,CF(E1)}
= × max{0,}=
(2) 再由r2 求CF(E4)
CF(E4)= × max{0, min{CF(E2 ), CF(E3 )}}
= × max{0, min{, }}=
(3) 再由r3 求CF1(H)
CF1(H)= × max{0,CF(E4)}
= × max{0, )}=
(4) 再由r4 求CF2(H)
CF2(H)= ×max{0,CF(E5)}
= ×max{0, )}=
(5) 最后对CF1(H )和CF2(H)进行合成，求出CF(H)
CF(H)= CF1(H)+CF2(H)+ CF1(H) × CF2(H)
=
U=V=W=｛1，2，3，4｝且有如下规则：
：IF x is F THEN y is G
：IF y is G THEN z is H
：IF x is F THEN z is H
其中，F,G,H的模糊集分别为
F=1/1+++
G=++
H=++
请用模糊关系验证满足模糊三段论。
，=
再求GH上的关系,=
最后求FGH的关系R，R==
2