文档介绍：,,……,的逻辑结论。::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}因此,孙也是盗窃犯。,请分别用和代价法、最大代价法求解树的代价。:若按和代价法,则该解树的代价为: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))=::IFTHEN():IFANDTHEN():IFTHENH():IFTHENH()且已知CF()=,CF()=,CF()=,求CF(H)。:(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)进行合成,求出