资源描述：
《人工智能期末试题》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、2.证明G是否为,,……，的逻辑结论。：：G：2.先把G否定，并放入F中，得到的｛F1,F2,¬G｝为｛，，¬（）｝再把｛F1,F2,¬G｝化为子句集，得到①②③④⑤其中①②是由F1化为的两个子句，③④是由F2化为的两个子句，⑤是由G化为的子句。由子句集可以看出只有唯一的一个Q因此可以得出G不是F的逻辑结构。3.假设张被盗，公安局派出5人去调查。案情分析时，侦查员A说：“赵与钱中至少有一人作案”；侦查员B说：“钱与孙中至少有一人作案”；侦查员C说：“孙与李中至少有一人作案”；侦查员D说：“赵与孙中至少有一人与此案无关”；侦查员E说：“钱与李中至少有一人与此案无关”。如果这5个侦查员的
2、话都是可信的，试用归结演绎推理求出谁是盗窃犯。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(
3、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}因此，孙也是盗窃犯。4.设有如图所示的与/或树，请分别用和代价法、最大代价法求解树的代价。Dt4t3t2t132226157ECBA4.解：若按和代价法，则该解树的代价为：h(A)=2+3+
4、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.设有如下一组推理规则：：IFTHEN（0.6）：IFANDTHEN(0.7)：IFTHENH（0.8）：IFTHENH(0.9)且已知CF()=0.5，CF()=0.6,CF()=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)再由
5、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｝且有如下规则：：IFxis
6、FTHENyisG：IFyisGTHENzisH：IFxisFTHENzisH其中，F,G,H的模糊集分别为F=1/1+0.8/2+0.5/3+0.4/4G=0.1/2+0.2/3+0.4/4H=0.2/2+0.5/3+0.8/4请用模糊关系验证满足模糊三段论。6.先求FG上的关系，=再求GH上的关系,=最后求FGH的关系R，R==2.(龙云献）简述用A*算法求解问题时为什么会出现重复扩展节点问题，解决的方法有哪些？答：当问题有解时，A*算法总是找到问题的最优解结束。如果h函数定义的不合理，则当扩展一个节点时，不一定就找到了从初始节点到该节点的最优路径，对于这样的节点，就有可能被多次
7、扩展。特别是如果这样的节点处于问题的最优解路径上时，则一定会被多次扩展。解决的方法一是对h函数的定义给出限制，使得h满足单调性。对于满足单调性条件的h，则一定不会出现重复扩展节点问题。二是对A*算法加以改进，使用修正的A*算法进行搜索，则可以减少重复扩展节点问题。3.（刘林洋）简述回溯策略与深度优先策略的不同点。答：回溯搜索策略与深度有限搜索策略最大的不同是深度有限搜索策略属于图搜索，而回溯搜索则不是图搜索。在回溯搜索中，只保留了从初始节点到当前节点的搜索
