Bi tp mn Tr tu nhn to

I. Phn bi tp tm kim 1)Cho th sau

E H C F

J K u0 = E. T = {I, A, K} + p dng thut ton tm kim theo chiu rng vi th trn (trnh by tng bc; v cy tm kim). + p dng thut ton tm kim theo chiu su vi th trn (trnh by tng bc; v cy tm kim). + p dng thut ton tm kim theo su lp (d=2) vi th trn (trnh by tng bc; v cy tm kim). 2)Cho th sau: A B C

N X J K M H u0=A T = {N, X, J, H, I}. p dng thut ton tm kim trn th AND/OR gn nhn gii c hoc khng gii c cho cc nh ca th trn. T kt lun bi ton ng vi nh A c gii c khng? 3)Cho th 12 K G 2 E 7 1 1 8 2

F 3

D B 4 0

C 3

A 6

U0=K; T={J} + p dng thut ton tt nht-u tin vi th trn (trnh by tng bc; v cy tm kim). + p dng thut ton leo i i vi th trn (trnh by tng bc; v cy tm kim). 4)Cho th
2 J 2 I 3 1 6 12 B 12 8 C 3 F 4 3 0 2 E

2 3 G 3

2 2 IH D 7 6

U0=B A K 6 T={A} + p dng thut ton A* trn th (trnh by tng bc; v cy tm kim). + p dng thut ton nhnh cn th trn (trnh by tng bc; v cy tm kim). 5)Cho th 12
A N 2 E 7 1 8 2

B 3

D F 4

G 3

2 0 u0=A J K 6 M T={J} + p dng thut ton leo i vi th trn (trnh by tng bc; v cy tm kim). + p dng thut ton tt nht-u tin vi th trn (trnh by tng bc; v cy tm kim).

6)Cho th
B 2 H 3

2 1 6 J 2

12 A 12 8 N 12 E 0 3

2 D F 4 3

2 3 G 3

0 u0=A K T={E,K} + p dng thut ton A* vi th trn (trnh by tng bc; v cy tm kim). + p dng thut ton nhnh cn vi th trn (trnh by tng bc; v cy tm kim). A 7)Cho th sau: B C 2 D

I N

G M

u0 = A. T = {I, N, K} + p dng thut ton tm kim theo chiu rng vi th trn (trnh by tng bc; v cy tm kim). + p dng thut ton tm kim theo su vi th trn (trnh by tng bc; v cy tm kim). + p dng thut ton tm kim theo su lp (d=2) vi th trn (trnh by tng bc; v cy tm kim). 8) Cho th khng gian trng thi sau:
21 8 12 10 B 7 9 8 G E 6 10 K 10 H 4 I 9 2 L 0 8 9 13 9 6 F 9 8 M A 4 8 A 6 C 12 6 D 8

Hy p dng 2 chin lc tm kim A* v nhnh cn cho th khng gian trng thi trn.

II. Phn bi tp logc 1) a cu sau v dng chun hi: a. ((A B)C) E) (D b. ((AB) (D C) E) c. ((AB) C)D d. (A ((C B) D)E) e. (AB) ((CD)E) 2) Chng minh (s dng cc cch chng minh) a. (A B)(C D) CE D F (A B) b. A B B(C D) CE E D A c. AB (C D)A (B E)F D C F d. (A B)C CD D B A e. A(B C) BD C D A 3) a cu sau v dng chun:
4

a. ( xP(x)xQ(x))(x yR(x,y)xA(x)) b. x( yP(x,y)yQ(x,y))xR(x) c. xy( zP(x,y,z) Q(x,y))xR(x) d. xy(( zP(x,y,z) Q(x,y))xR(x) e. (xP(x)x yQ(x,y)) xR(x)xA(x)) ( 4) V cy chng minh a. V cu chng minh theo tp hng dn T={ R(x), P(a)} {P(x)vQ(x,y), Q(a,b)vR(a), R(x), P(a)} b. V cu chng minh theo b rng {P(x)vQ(x,y), Q(a,b)vR(a), R(x), P(a)}

5) Chng minh (s dng cc phng php chng minh) a. P(x,y,z) Q(y,z) Q(a,b)vR(b,c) R(z,x) P(c,a,b) b. P(x) Q(x,y)vR(y) P(a)vH(a,b) H(x,y) R(b) Q(a,b) c. P(x) Q(x,y) R(a) Q(f(a),b) R(a ) P(b) d. P(x) Q(f(x),y) P(a) Q(f(a),b) R(y ) R(b) e. P(x) Q(x,y) P(x) R(x) Q(a,b) R(a) 6) Biu din cc cu sau dng logic v t cp 1 + Mi ngi u s cht + Mt s ngi l sinh vin + Mt s ngi trong khu ny l sinh vin + Ba quen Nm + Ba quen mt s sinh vin trong khu ny. III. Phn bi tp v lut. 1) Suy din tin a. Cho c s tri thc sau: R1: Nu ng vt c m v ng vt c lng v th ng vt l gia cm. R2: Nu ng vt l gia cm v ng vt thch bi li th ng vt l thu cm R3: Nu ng vt l gia cm v ng vt c mng chn th ng vt l vt R4: Nu ng vt l vt v ng vt l thu cm th ng vt l vt tri R5: Nu ng vt l thu cm v ng vt bit bay th ng vt l vt tri
6

R6: Nu ng vt l thu cm v ng vt khng bit bay th ng vt l chim cnh ct Cho tp s kin: F1: Cun ct c m F2: Cun ct c lng v F3: Cun ct khng bit bay F4: Cun ct thch bi li Trnh by qu trnh lp lun tin i vi c s tri thc trn b. Cho c s tri thc sau: C s lut RB gm cc lut sau: R1: Nu tri ma th ng t R2: Nu ra ng th ng t R3: Nu chun chun bay thp th tri ma R4: Nu chun chun bay cao th tri khng ma R5: Nu ng t v my m th tri xu R6: Nu ng t v quang my th tri khng xu C s s kin sau: Chun chun bay thp, my m Trnh by qu trnh lp lun tin i vi c s tri thc trn c. Cho c s tri thc sau: R1: Nu ng vt c 2 chn th ng vt l gia cm. R2: Nu ng vt 4 chn th ng vt l gia sc. R3: Nu ng vt l gia sc v ng vt c mng guc th ng vt l loi mng guc R4: Nu ng vt l loi mng guc v ng vt c 1 mng th ng vt l nga R5: Nu ng vt l loi mng guc v ng vt c 2 mng th ng vt l ging tru b R6: Nu ng vt l ging tru b v ng vt thch c kh th ng vt l b R6: Nu ng vt l ging tru b v ng vt thch c t th ng vt l tru Cho tp s kin: Bi c 4 chn Bi c mng guc Bi c 1 mng Trnh by qu trnh lp lun tin i vi c s tri thc trn 2) Suy din li a. Cho c s tri thc sau: R1: Nu ng vt c 2 chn th ng vt l gia cm. R2: Nu ng vt 4 chn th ng vt l gia sc. R3: Nu ng vt l gia sc v ng vt c mng guc th ng vt l loi mng guc R4: Nu ng vt l loi mng guc v ng vt c 1 mng th ng vt l nga R5: Nu ng vt l loi mng guc v ng vt c 2 mng th ng vt l ging tru b R6: Nu ng vt l ging tru b v ng vt thch c kh th ng vt l b R7: Nu ng vt l ging tru b v ng vt thch c t th ng vt l tru Cho tp s kin: F1: Bi c 4 chn F2: Bi c mng guc F3: Bi c 1 mng
7

Cho gi thuyt Bi l nga Hy trnh by qu trnh lp lun li chng minh hoc bc b gi thuyt trn. b. Cho c s tri thc sau: R1: Nu ng vt c 2 chn th ng vt l gia cm. R2: Nu ng vt 4 chn th ng vt l gia sc. R3: Nu ng vt l gia sc v ng vt c mng guc th ng vt l loi mng guc R4: Nu ng vt l loi mng guc v ng vt c 1 mng th ng vt l nga R5: Nu ng vt l loi mng guc v ng vt c 2 mng th ng vt l ging tru b R6: Nu ng vt l ging tru b v ng vt thch c kh th ng vt l b R7: Nu ng vt l ging tru b v ng vt thch c t th ng vt l tru Cho tp s kin: F1: Bi c 4 chn F2: Bi c mng guc F3:Bi c 1 mng Cho gi thuyt Bi l tru Hy trnh by qu trnh lp lun li chng minh hoc bc b gi thuyt trn. IV. Phn bi tp v mng ng ngha, frame 1) Xy dng mng ng ngha sau: + Ngi l ng vt, c 2 chn, 2 tay, 2 mt, 1 mi, 1 mm + ng vt th bng khng kh, c lng + Gio s l ngi, gii chuyn mn + ng Ba l gio s v lnh vc kinh t 2) Cho mng ng ngha sau: c BiBo isa
S cnh

ako ako

Chim

ako Con vt di chuyn

th

khng kh

Cnh ct di chuyn i

bay

Hy xc nh gi tr ca cc thuc tnh ca chim chp 3) Th hin di dng Frame vi cc tri thc sau: + Ngi l ng vt, c 2 chn, 2 tay, 2 mt, 1 mi, 1 mm + ng vt th bng khng kh, c lng + Gio s l ngi, gii chuyn mn + ng Ha l gio s v lnh vc kinh t