《人工智能导论》试卷库.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 =4 56 7P(B|A) AB 8 (525)1TFU23GSG4S=P(f(x),y,g(y),P(f(x),z,g(x)MGU5GF )()(:)()()(:xQxPxGxQaQxPxF(30)1(1)3568(2)891022-31xyyzxz231 B 2C 3A 4C 5C6 D 7A 8A 9A 10D11A 12D 13B 14C 15B123-CF(A)minCF(A1),CF(A2)maxCF(A1),CF(A2)45MGU67AB 812PQ IF P THEN QP Q P P Q Q 3 12:34.Skolem56) 7). 8). S4k=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/x5:P(x) FQ(a)Q(x) FP(y)Q(y) Q(x) ,x/y ,a/x123: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:LX(115)1A) 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)1195023AI 4 5 ; ; 6CFACFA1CFA2CFA= CFA1A2 = CFA1A2 = 7 8 91997 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)MGU5GF1F2 )()()()(2)()()(1xRxSxGxSxPxFxRxQxPxF:(30)12-3121D 2C 3C 4D 5A6A 7D 8C 9D 10B11A 12B 13A. 14D 15B1 2 3Artifical Intelligence456-CF(A)minCF(A1),CF(A2)maxCF(A1),CF(A2) )7 8MGU9 1011 2212334k=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)/z5:P(x)Q(x) F1P(y)R(y) F1P(a) F2S(a) F2S(z)R(z) R(a) a/yR(a) a/z .1 x(student(x)read(x,)23L(x,y)-xyP(y)- y(1) yx(P(y)L(x,y) = P(y)L(f(y),y)(2) x(L(x,Fly) = L(x,Fly)(3) P(Fly) (4) L(f(Fly), Fly) (1)(3),Fly/y(5) (2)(4),f(Fly)/x301. -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. PQ