MT S BI TP MN H CSTT

Cu 1. Cho tp lut:
r1: MQ; r2: NP; r3: TM ; r4: QSO ; r5: QUN ; r6: PQUO ; r7: SURM
S dng suy din tin, suy din li kim tra:
a) TU M?
b) NU O?
Cu 2. Biu din cc pht biu sau di dng lgic mnh :
a) Nu hc lc khng gii v ngoi ng khng tt, ti khng xin c vic lm
Vi P: Hc lc gii, Q: Ngoi ng khng tt, R: Xin c vic lm
b) Nu phn cng hng hoc cha ci t h iu hnh th my tnh khng khi ng c
Vi P: Phn cng khng hng, Q: ci t h iu hnh, R: my tnh khng khi ng c
c) Nu ti tin v ti c cha m cho php, ti mua tn la
Vi P: Ti khng tin, Q: Ti c cha m cho php, R: ti khng mua tn la
Cu 3. Cho cu pht biu:
Mi sinh vin trng HNT u c bng t ti; Lan khng c bng t ti; Do vy, Lan khng l sinh
vin trng HNT
Vi sv_NT(X) cho bit: X l sinh vin trng HNT
tu_tai(X) cho bit: X c bng t ti
Biu thc v t no sau y tng ng cu trn:
A. $X(sv_NT(X) => tu_tai(X)) ;
tu_tai(Lan) ;
Do vy, sv_NT(Lan)

B.

"X(sv_NT(X) => tu_tai(X)) ;

tu_tai(Lan) ;
Do vy, sv_NT(Lan)

C. "X(sv_NT(X) => tu_tai(X)) ;

tu_tai(Lan) ;
Do vy, sv_NT(Lan)

D.

"X(sv_NT(X) => tu_tai(X)) ;

tu_tai(Lan) ;
Do vy, sv_NT(Lan)

Cu 4. S dng thut ton Vng Ho/ Robison kim tra:

a) Gi thit: (p q) (p r); kt lun: q r
b) Gi thit: (p q) (rs); kt lun: p s
c) Gi thit: (p q) (s q) (r s) p; kt lun: q r
d) Gi thit: (a e), (b d), (dc), (ab); kt lun: (c e)
Cu 5. Cho tp lut sau:
r1: If (e1) then (c1)
CF(r1)=0.9
r2: If (e1 OR e2) then (c2)
CF(r2)=0.8
r3: If (e2 AND (NOT e3)) then (c2)
CF(r3)=0.9
r4: If (NOT e4) then (c3)
CF(r4)=0.7
r5: If (e5) then (c3)
CF(r5)=0.8
r6: If (c1 OR c2 ) then (c4)
CF(r6)=0.9
r7: If (c3 AND c4 ) then (c5)
CF(r7)=0.7
a) Th hin mng ng ngha cho tp lut trn
1

b) Bit CF(e1)= 0.9; CF(e2)= 0.7; CF(e3)= 0.8; CF(e4)= -0.7; CF(e5)= 0.8;
Hy tnh CF(c5)?
Cu 6. Cho tp lut sau:
r1: If (NOT e1) then (c1)
CF(r1)=0.9
r2: If (e1 AND e2) then (c2)
CF(r2)=0.8
r3: If (e1 OR (NOT e3)) then (c3)
CF(r3)=0.9
r4: If (e4) then (c3)
CF(r4)=0.7
r5: If (e4 AND e5) then (c4)
CF(r5)=0.8
r6: If (e6 OR c3 ) then (c4)
CF(r6)=0.9
r7: If (c3 AND c4 ) then (c5)
CF(r7)=0.7
r8: If (c4 OR c5 ) then (c6)
CF(r8)=0.9
r9: If (NOT c5 AND c6 ) then (c7)
CF(r9)=0.9
a) Th hin mng ng ngha cho tp lut trn
b) Bit CF(e1)= 0.9; CF(e2)= 0.7; CF(e3)= 0.8; CF(e4)= 0.7; CF(e5)= 0.8; CF(e6)= -0.9;
Hy tnh CF(c7)?
Cu 7. Cho mng ng ngha sau:

c6
0.91

c5

c2
0.89

e1

0.78

c3

c1
0.92

e2

0.97

e3

c4

0.94

0.88

0.95

e4

e5

e6

a) Cho bit tp lut tng ng mng ng ngha trn?

b) Bit CF(e1)= 0.8; CF(e2)= 0.9; CF(e3)= 0.8; CF(e4)= 0.7; CF(e5)= 0.8; CF(e6)= -0.9;
Hy tnh CF(c6)?
Cu 8. p dng thut gii ILA gii quyt cc bi ton sau:
a) Bng quan st 1
Tn
V
Mu
V
c
A
Ngt

Nhn
Khng
B
Cay

Nhn
Khng
C
Chua
Vng
C gai
Khng
D
Cay
Vng
C gai
c
2

E
F
G
H
I

Ngt
Chua
Ngt
Cay
Cay

Tm
Vng
Tm
Tm
Vng

C gai
Nhn
Nhn
C gai
C gai

Khng
Khng
Khng
c
Khng

b) Bng quan st 2
STT

Kch c

Mu sc

Hnh dng

Quyt nh

1
2
3
4
5
6
7

Trung bnh
Ln
Trung bnh
Nh
Trung bnh
Nh
Trung bnh

Vng
Xanh
Xanh
Xanh
Xanh

Cu
Hp
Tr
Cu
Nn
Nn
Tr

Mua
Mua
Khng mua
Mua
Khng mua
Khng mua
Mua

STT
1
2
3
4
5
6
7
8
9

Quang cnh
Ma
Ma
My
My
My
Nng
Nng
Nng
Nng

c) Bng quan st 3
Nhit
Nng
Nng
Nng
m
Mt
Mt
Nng
Nng
m

Gi
Nh
Mnh
Nh
Nh
Mnh
Nh
Nh
Mnh
Mnh

D ngoi
Khng
Khng
i
i
i
i
Khng
Khng
Khng

Cu 9. Gii bi ton H - Ging (trong Bi ging) tm thi gian bm nc vi

a) x0=0.5; y0=5;
b) x0=1.5; y0=7;
Cu 10. Bi ton iu khin mc nc trong bnh.
C 1 bnh nc v 1 van cp nc cho bnh. Yu cu iu khin van t ng sao cho mc nc trong
bnh n nh.
Cc nguyn tc iu khin sau:
R1: Mc nc thp nhiu th van m to
R2: Mc nc thp t th van m nh
R3: Mc nc th van ng
R4: Mc nc cao th van ng
Cc bin ngn ng:
+ x l mc nc: c 4 gi tr T={thp nhiu, thp t, , cao}
3

+ y van: c 3 gi tr T={to, nh, ng}

Mc nc X [0..3] (m)

m van Y [0..10] (cm)

a) Cho x1= 2m. Hy cho bit m ca van y1 l bao nhiu?

b) Cho x2= 1m. Hy cho bit m ca van y2 l bao nhiu?