人工智能导论试卷 (3).doc

(115)1AIA) Automatic Intelligence B)Artifical IntelligenceC)Automatice Information D)Artifical Information2 A) B)subsumed C)3A) B) C)4AKO ISA A) B) C)5(AB)A = BA) B) C) D)US6A) B) C) D)7A) B) C) D)8MGUA) B) C) D)919973.52.5 A BIBM C D104A) B) C) D)11, C1=LC1?, C2= ? LC= A) C1?C2? B)C1?C2? C)C1?C2? D)C1? C2?12A B) C) D)13A) B) C) D)141950A) B). C) D).15. A) B) C) D)(1.530)1 2 ; ; 3CFACFA1CFA2CFA= CFA1A2 = CFA1A2 = -CF(A)minCF(A1),CF(A2)maxCF(A1),CF(A2)4 5 MGU6 7P(B|A) AB AB 8 (525)1TFU2 PQ IF P THEN QP Q P P Q Q GSG12:34.Skolem56) 7). 8). S4S=P(f(x),y,g(y),P(f(x),z,g(x)MGU k=0;S0=S;0=;S0D0=y,z,yzyzk=k+1=11=0z/y=z/y=z/yS1=S0z/y=P(f(x),z,g(z),P(f(x),z,g(x),S1D1=z,x,k=k+1=2;2=1z/x=z/y,z/x,S2=S1z/x=P(f(z),z,g(z)MGUMGU=2=z/y,z/x1A) B) C)D)2AKO ISA A) B) C) 3(A-B)A = BA) B) C) D)US4A) B) C) D)5A) B) C) D)6MGU A) B) C) D)74A) B) C) D) 8 A) B subsumed C) 9A B) C) D)10A) B) C) D)11( )( )A) , B), C), D) 12. A) B) C) D)13 A. B C D14 A B C D15C(B|A) A-BABA) B) C) D)(130)119502 3AI Artifical Intelligence4 5 ; ; 6CFACFA1CFA2CFA= CFA1A2 = CFA1A2 = -CF(A)minCF(A1),CF(A2)maxCF(A1),CF(A2) )7 8 MGU91997 3.52.510 (525)11) 0.92) (0.95) ) (1.1) ) (1.2) )234W=P(f(x,g(A,y),z),P(f(x,z),z)MGUk=0;S0=S;0=;S0D0=g(A,y),z,zg(A,y)zg(A,y)k=k+1=11=0g(A,y)/z=g(A,y)/z=g(A,y)/zS1=S0g(A,y)/z=P(f(x,g(A,y),g(A,y),S1MGUMGU=1=g(A,y)/z301. -2. 3. 4. AI 5. 6. 7. 8. 91997 3.52.510 11tautlogy 12 13C1=PQC2=PQC1C2RC1C2= 14C1=P(x) Q(x)C2=P(a) R(y)C1C2RC1C2= 15 16 17ABA ABBC .1 2 3 4 Artifical Inteligence5 6 7 8 9 10 11 12 13 PPQQ14 QaRy15 16 17 B AC15151. A) B) C)D)2 A. B. C. D. 3. A. B. C. D. 4. A. B. C. D. 5.yxp(x,y)xyyx A. B. SkolemC. D. 6.PQP A. PB. QC. PD. PQ78.AABA ABAB A. B. C. D.8 A. B C D9 A B C D10C(B|A) A-BABA) B) C) D)11AIA) Automatic Intelligence B)Artifical IntelligenceC)Automatice Information D)Artifical Information12 A) B)subsumed C)13yxp(x,y)xyyx A. B. SkolemC. D. 14PQP A. PB. QC. PE. PQ15 A. B. C. D. i. 6ii. 6(1)(x)R(x)84. -105.10 1xyyzxz23(10)6. 101. 2 3 4 5 6 7 8 9 10 11 12 13 14 15C D B B B B C A D B B C B B A1. : 12342. : st1/v1t2/v2tn/vnti/vivitisEEs 3.5. :F(x,y)- xy;G(x,z)- xy;:(1) F(x,y)F(y,z)G(x,z)(2) F(L,D)(3) F(D,X)(4) G(u,v),u=?,v=?,L,D,X F(x,y)F(y,z)G(x,z)(1) F(L,D) (2) F(D,X) (3) G(u,v) F(D,z)G(L,z) ,L/x,D/y G(L,X) ,X/z ,L/u,X/v, G(u,v)G(u,v) , F(D,z)G(L,z) ,L/x,D/y G(L,X) ,X/z G(L,X) ,L/u,X/v:LX6. T(x)xAT()T()BT()T()CT()T()DT() T()ET() T()ST(x)ANSWER(x)S1S1T(x)ANSWER(x)S115151. A. 1957B. 1962C. 1956D. 19792. A. B. C. D. 3. A. B. C. D. 4. A. B. C. D. 5.yxp(x,y)xyyx A. B. SkolemC. D. 6.PQP A. PB. QC. PF. PQ78.AABA ABAB D. B. C. D.910. E. F. F. G. 11. A. B. C. D. 12. A. B. C. D. 13. A. B. C. D. 14A) B) C)D)15AKO ISA A) B) C) 301. -2. 3. 4. AI 5. 6. 7. 8. 91997 3.52.510 11tautlogy 12 13C1=PQC2=PQC1C2RC1C2= 14C1=P(x) Q(x)C2=P(a) R(y)C1C2RC1C2= 15 16 17ABA ABBC .1(6)9. afyxRzxQzPzyx,631) 0.92) (0.95) ) (1.1) ) (1.2) )(6)4.(6)(1) (2) 56. 157. -1. 2 3 4 5 6 7 8 9 10 11 12 13 14 15C D B B B B C D A D D A B D C 1. 2. 3. 4. Artifical Inteligence5. 6. 7. 8. 5149. 3678910111213 9. 10. 11. 12. 13. PPQQ14. QaRy15. 16. 17. B AC1 2afyxRzxQzPzyx, )a(f,y,x(Rz,xQ)z(Pzyx )a(f,y,x(R)z,x(Q)z(Pzyx )a(f,y,b(R)z,b(Q)z(Pzy