Bi tp mn Tr tu nhn to

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

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

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

B 4
1

A 6

C 3

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
12
B
12
8
C

2
1

J
2
I

E
3

2
2
IH D 7

2
3
G 3

F 4
3

0
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

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

2
B
2
H

1
6

12
A
12
8
N
12

2
D
3

3
F 4
3

E 0

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).
2

+ p dng thut ton nhnh cn vi th trn (trnh by tng bc; v cy tm kim).

7)Cho th sau:
A

u0 = A.
N
M
J
K
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

12

12
10

13

8
4

I
9

8
M
A

10 K
10

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. ((AB)C)(DE)
b. ((AB)C)(DE)
c. ((AB)C)D
d. (AB)((CD)E)
e. (AB)((CD)E)
2) Chng minh (s dng cc cch chng minh)
a.
(AB)(CD
)
CE
D
F
(AB)
b.
AB
B(CD)
CE
E
D
A
c.
AB
(CD)A
(BE)F
D
C
F
d.
(AB)C
CD
D
B
A
e.
A(BC)
BD
C
D
A
4

3) a cu sau v dng chun:

a. (xP(x)xQ(x))(xyR(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)xyQ(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.
6

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
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
7

Cho tp s kin:
F1: Bi c 4 chn
F2: Bi c mng guc
F3: Bi c 1 mng
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

ako

Chim

ako

ako

th
Con vt

di chuyn

Cnh ct
di chuyn

bay

i
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
8

cnh

khng
kh