S 01

THI MN TR TU NHN TO V H CHUYN GIA

Gio vin ra

Cu 1: Cho khng gian bi ton tm ng i ngn nht trn bn nh hnh v di (gi tr nh gi ghi trn nh cc trng thi). p dng thut ton tm kim kinh nghim tt nht u tin tm ng i tt nht t A n B 20 A 16 C 12 15 18

10

0 B Cu 2: Cho c s tri thc: R1: Q^R => S R2: U => R R3: H => Q R4: H R5: U p dng thut ton chng minh bc b bng lut phn gii trong logic mnh chng minh S l h qu logic ca CSTT trn. Cu 3: Cho c s tri thc: 1. Brother(X,Y)^Married(Y,Z) Sister_in_law(X,Z). 2. Sister(mary,suzan). 3. Brother(harold,larry). 4. Married(john,mary). 5. Married(larry,sue) p dng thut ton suy din li chng minh: Sister_in_law(harold,sue) Thi gian lm bi: 60 pht Khng nh du vo thi

S 02

THI MN TR TU NHN TO V H CHUYN GIA

Gio vin ra

Cu 1: p dng thut ton tm kim c i th Minimax tm nc i cho qun A A -3 Max

-2

-3

Cu 2: Cho c s tri thc: R1: P^Q^R => S R2: U => R R3: G => P R4: Q R5: G R6: U p dng thut ton RobinSon chng minh S l h qu logic ca CSTT trn. Cu 3: Cho c s tri thc: 1. Cat(X)^Mother(X,Y)^Beauty(Y) Good(X). 2. Cat(mimi). 3. Cat(lili). 4. Cat(kiki). 5. Mother(mimi,kiki). 6. Mother(kiki,titi). 7. Beauty(titi). 8. Beauty(kiki). p dng thut ton suy li vo c s tri thc trn chng minh: Good(kiki). Thi gian lm bi: 60 pht Khng nh du vo thi

S 03

THI MN TR TU NHN TO V H CHUYN GIA

Gio vin ra

Cu 1: Cho khng gian bi ton tm ng i ngn nht trn bn nh hnh v di (gi tr nh gi ghi trn nh cc trng thi). p dng thut ton tm kim kinh nghim leo i tm ng i tt nht t A n B 19 A 17 C 12 15 16

10

0 B Cu 2: Cho c s tri thc: 1. Father(X,Y) Child(Y,X). 2. Husband(X,Z) Wife(Z,X). 3. Wife(Z,X)^Child(Y,X) Mother(Z,Y). 4. Father(nam,lan). 5. Husband(nam,huong). p dng th tc chng minh bc b bng lut phn gii trong logic v t cp I chng minh: Mother(huong,lan). Cu 3: Cho c s tri thc: R1: Q^R => S R2: U => R R3: G^S => M R4: H => Q R5: U^N=>K R6: H R7: G R8: U p dng thut ton suy din li chng minh M l h qu logic ca CSTT trn. Thi gian lm bi: 60 pht Khng nh du vo thi

S 04

THI MN TR TU NHN TO V H CHUYN GIA

Gio vin ra

Cu 1: p dng thut ton tm kim c i th Minimax tm nc i cho qun A A -1 Max

-3

Cu 2: Cho c s tri thc: R1: Father(X,Y)^Father(Y,X) Grandfather(X,Z). R2: Son(X,Y) Father(Y,X). R3: Son(dan,peter). R4: Son(john,dan). p dng th tc chng minh bc b bng lut phn gii trong logic v t cp I chng minh: Grandfather(peter,john). Cu 3: Cho c s tri thc: Tp lut: 1. a k 2. d^k e 3. b d 4. a^b f 5. a^h i 6. e^f g Tp s kin: FB={a,b} p dng thut ton suy din li vo c s tri thc trn chng minh: g Thi gian lm bi: 60 pht Khng nh du vo thi