人工智能导论试卷(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 GSG1<->2: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 www.docin.comA) 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. www.docin.com 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 www.docin.com3.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. www.docin.comF. G. 11. A. B. C. D. 12.
