Professional Documents
Culture Documents
NGUYN CT H
NGUYN CNG HO
Gio trnh
LOGIC M V NG DNG
( Dnh cho hc vin cao hc ngnh KHMT )
Hu, 2009
MC LC
Li m u .
Trang 3
Trang 6
Trang 6
Trang 14
Trang 15
Trang 47
Trang 53
Trang 62
2.1. Cc mnh m
2.2. Php ko theo m..
2.3. Lng t m..
2.4. Lp lun xp x n iu kin...
2.5. Lp lun xp x a iu kin..
Trang 62
Trang 66
Trang 72
Trang 75
Trang 106
Trang 122
Trang 122
Trang 126
Trang 141
Trang 155
Trang 155
Trang 170
Trang 180
Trang 193
Trang 215
LI M U
Theo trit l t nhin, s pht trin khoa hc v k thut dn n kh nng
Ko di nng lc t duy, suy lun ca con ngi. Bng nng lc t duy ca
mnh con ngi v ang khm ph th gii thc rng ln. Th gii thc v
tri thc khoa hc cn khm ph l v hn v l nhng h thng cc k phc
tp, nhng ngn ng m nng lc t duy v tri thc ca chng ta s dng lm
phng tin nhn thc v biu t ch l hu hn. S pht trin lch s sng
to ca loi ngi chng t rng phng tin ngn ng tuy hu hn nhng
cho con ngi m t, nhn thc cc s vt, hin tng, tn ti v pht
trin. Nh l mt h qu tt yu ca vic s dng mt s lng hu hn cc t
ng ca mt ngn ng t nhin m t v hn cc s vt, hin tng, chng
ta nhn thy rng hu ht cc bi ton lin quan n hot ng nhn thc, tr
tu ca con ngi thng pht biu di dng ngn ng t nhin.
Trong lp lun hng ngy ca chng ta cc mnh khng ch nhn cc
gi tr chn l ng (true) hoc sai (false). Chng hn, khi chng ta mi nhn
c mt tin tc ni rng Chu b Nguyn Thy Thanh l thn ng v mi
2 tui bit c v nhn bit cc ch s. Cu ny khng th ni n c gi tr
chn l ng hay sai v chc rng s c nhiu chnh kin khc nhau v s kin
chu Thanh c thc s l thn ng hay khng. C mt iu chc chn rng
chu Thanh c nhng nhng lc khc bit vi cc chu b cng la tui v do
ta c th gn cho cu trn mt tin cy hay mc chn l ng sai nht
nh, chng hn cu c gi tr chn l c th ng, mt khi nim c ng
ngha m (vague).
Nh vy, chng ta thy trong ngn ng t nhin c nhng thng tin,
khi nim (concepts) c ng ngha khng chnh xc, m h, khng chc chn.
Nhng thng tin, khi nim tuy khng chnh xc nh vy nhng li c vai tr
quan trng trong hot ng tn ti v pht trin ca con ngi. Chng ta u
nhn thy trong thc tin nhn thc v t duy, con ngi nhn bit, trao i
thng tin, lp lun bng ngn ng ca mnh. Ngn ng ca bt k mt dn tc
no, d phong ph n u, cng ch cha ng mt s hu hn cc k hiu
(m thanh, k t, ), nhng li phi phn nh mt s v hn cc s vt hin
Nguyn Cng Ho
Trung tm Cng ngh thng tin i hc Hu
S 2 L Li, TP Hu, email: nchao@hueuni.edu.vn
Chng 1
L THUYT TP M
1.1. Tp m v thng tin khng chc chn
L.A. Zadeh l ngi sng lp ra l thuyt tp m vi hng lot bi bo
m ng cho s pht trin v ng dng ca l thuyt ny, khi u l bi
bo Fuzzy Sets trn Tp ch Information and Control, 8, 1965. tng ni
bt ca khi nim tp m ca Zadeh l t nhng khi nim tru tng v ng
ngha ca thng tin m, khng chc chn nh tr, nhanh, cao-thp, xinh p..,
ng tm ra cch biu din n bng mt khi nim ton hc, c gi l tp
m, nh l mt s khi qut trc tip ca khi nim tp hp kinh in.
d hiu chng ta hy nh li cch nhn khi nim tp hp kinh in
nh l khi nim cc hm s.
Cho mt tp v tr U. Tp tt c cc tp con ca U k hiu l P(U) v
n tr thnh mt i s tp hp vi cc php tnh hp , giao , hiu \ v ly
phn b , (P(U), , , \, ). By gi
mi tp hp A P(U) c th c xem
A(a) =1
1
nh l mt hm s A : U {0, 1} c
A(b) = 0
xc nh nh sau:
0
1 khi x A
A ( x) =
0 khi x A
Trn cch nhn nh vy, chng ta hy chuyn sang vic tm kim cch thc
biu din ng ngha ca khi nim m, chng hn, v la tui tr. Gi s
tui ca con ngi nm trong khong U = [0, 120] tnh theo nm. Theo
tng ca Zadeh, khi nim tr c th biu th bng mt tp hp nh sau: Xt
mt tp hp Atr nhng ngi c xem l tr. Vy, mt cu hi l Mt
ngi x c tui l n c hiu l thuc tp Atr nh th no? Mt cch ch
quan, chng ta c th hiu nhng ngi c tui t 1 25 chc chn s thuc
vo tp hp Atr, tc l vi thuc bng 1; Nhng mt ngi c tui 30 c l
ch thuc vo tp Atr vi thuc 0,6 cn ngi c tui 50 s thuc vo tp
ny vi thuc 0,0 Vi tng , ng ngha ca khi nim tr s c
biu din bng mt hm s tr : U [0, 1], mt dng khi qut trc tip t
khi nim hm c trng A ca mt tp hp kinh in A cp trn.
Mt cu hi t nhin xut hin l ti sao ngi c tui 30 c l ch
thuc vo tp Atr vi thuc 0,6 m khng phi l 0,65? Trong l thuyt tp
m chng ta khng c nh tr li cu hi kiu nh vy m ghi nhn rng
tp m ca mt khi nim m ph thuc mnh m vo ch quan ca ngi
dng hay, mt cch ng n hn, ca mt cng ng, hay ca mt ng dng
c th. Kha cch ny cng th hin tnh khng chnh xc v ng ngha ca
cc khi nim m. Tuy nhin, thc t ny khng nh hng n kh nng ng
dng ca l thuyt tp m v mi gii php da trn l thuyt tp m cng ch
nhm vo mt min ng dng c th trong cc khi nim m trong ng
dng (hay trong cng ng s dng ng dng ) s c ngha chung thng
nht.
1.1.1. Khi nim tp hp m
nh ngha 1.1. Cho mt tp v tr U. Tp hp A c xc nh bi ng
thc: A = { A~ (u ) /u : u U, A(u) [0, 1]} c gi l mt tp hp m
trn tp U.
Bin u ly gi tr trong U c gi l bin c s v v vy tp U cn
c gi l tp tham chiu hay min c s. Hm A~ : U [0, 1] c gi
l hm thuc (membership function) v gi tr A~ (u ) ti u c gi l
1i n
hay
A =
A (ui ) / ui
~
A =
1i <
A (u i ) / u i
~
A =
A~
(u ) / u
x
b
(x) =
d
d
0
a
a
1
x
c
0
nu x a
nu a < x < b
nu b x c
nu c < x < d
nu x d
1.1.2. Tp lt ct ca tp m
trn chng ta thy khai nim tp m l mt s khi qut trc tip,
p ca khi nim tp kinh in. iu ny cho php hy vng n s t c
s cho mi lin h cht ch gia hai khi nim tp hp ny. dn n vic
nghin cu , trc ht chng ta a ra khi nim tp lt ct ca mt tp
m.
nh ngha 1.3. Cho mt tp m A~ trn tp v tr U v [0, 1]. Tp lt
~
ct (hoc +) ca tp A~ l mt tp kinh in, k hiu l A~ (hoc A + ),
h : A~ F(U)
{ A~ P(U): 0 1}
(1*)
(ii) Nu A~ B~ th { A~ : 0 1} { B~ : 0 1}.
Ngha l tn ti mt song nh t h cc tp m F(U) vo h ca nhng h
tp kinh in P(U) dng (1*).
Chng minh: Tnh cht (i) d dng rt ra t tnh cht (A(u) A (u)
).
chng minh (ii), gi s A B, uU(A(u) B(u)). nh , ta
gi s rng c u0 U sao cho A(u0) > B(u0). Chn [0, 1] sao cho A(u0)
> > B(u0). iu ny khng nh u0 A~ nhng u0 B~ hay A~ B~ . Vy,
{ A~ : 0 1} { B~ : 0 1}.
Hin nhin l nu A~ = B~ th { A~ : 0 1} = { B~ : 0 1}. Nh
vy ta chng t rng nh x h l song nh.
1.1.3. Mt s khi nim c trng ca tp m
nh ngha 1.4. (i) Gi ca tp m: Gi ca tp m A~, k hiu l
Support(A~), l tp con ca U trn A (u ) 0, Support(A~) = {u: A (u ) > 0}.
~
10
S(u, a, b, c) = 0
ua
ca
= 2
i vi a u b
uc
ca
= 1 2
i vi b u c
i vi c u
= 1
Hm thuc A~(u) = S(u, 15, 25, 35) l khi nim thi tit NNG ca
ngi Lng Sn cc Bc nc ta, cn hm thuc B~(u) = S(u, 25, 35, 45) l
khi nim NNG ca ngi Si Gn (xem Hnh 1.1).
Vi hai tp m ny ta c: Support(A~) = [15, 50], Support(B~) = [25,
50], Hight(A~) = Hight(B~) = 1, Core(A~) = [35, 50] v Core(B~) = [45, 50].
Hm thuc biu th khi nim m LNH c xc nh qua hm thuc
NNG bng biu thc sau:
1,0
A~(u)
B~(u)
A~(u)
0
B~(u)
15
25
35
45
50
1,0
D~(u)
11
15
25
35
45
50
U
G~
10
0,0
0,0
0,0
0,1
0,3
0,5
0,7
0,9
1,0
1,0
GI(u) =
120
u 60 1
{1 +
} /u
6
TR(u) = 1 GI(u) =
120
u 60 1
{1 {1 +
} }/ u
6
12
arith
uU
=
y
arith
A~ (u) , nu U l tp hu hn hay m c
arith
A~
(u)du , nu U l tp v hn continuum
arith
Card(A~) =
Card ( A~ )
(n)dn
13
14
T(AGE) = {old, very old, more or less young, less young, very young.}. R
l mt qui tc sinh cc gi tr ny. M gn ng ngha mi tp m vi mt gi
tr ngn ng. Chng hn, i vi gi tr nguyn thy old, M (old) = {(u, old(u)
| u[0,100]}, y chn
0
old(u) = (1 + ( u 50 ) 2 ) 1
u [0,50]
u [50,100]
15
a (a b) = a,
a (a b) = a.
- Tnh ly ng
:
- Tnh cht ph ph nh :
a a = a v a a = a
(a) = a
- Tnh n iu gim
a b a b
16
(a b)= ab; (a b) = a b.
1.3.1. Php hp
Cho hai tp m A~ v B~ trn tp v tr U. Hp ca hai tp m ny l
~
A~ B ~
(u ) = A~ (u ) B ~ (u )
1i <
[ A~ (ui ) B ~ (ui )] / ui
A~ B~ =
uU
A (u)du
~
uU
B (u)du =
~
uU
[ A~ (u ) B ~ (u )]du .
~
Mt cch tng qut, cho Ai F(U), i I, vi I l tp ch s hu hn
iI
Ai~ ,
(U
iI
Ai~ (u ) = Supi I Ai (u )
(3*)
10
0,0
0,0
0,0
0,1
0,3
0,5
0,7
0,9
1,0
1,0
1,0
0.9
0,8
0,6
0,4
0,2
0,0
0,0
0,0
0,0
U
G
K
17
0,0/9 + 0,0/10)
= 1,0/1 + 0,9/2 + 0,8/3 + 0,6/4 + 0,4/5 + 0,5/6 + 0,7/7 + 0,9/8 +
1,0/9 + 1,0/10
Cch thc hin php tinh trong dn L[0,1] theo im nh vy gi cho
chng ta thc hin cc php tnh nh vy ngay trn Bng 1.3 nh sau:
Bng 1.3: Hp hai tp m trn U
U
G~
10
0,0
0,0
0,0
0,1
0,3
0,5
0,7
0,9
1,0
1,0
K~
1,0
0.9
0,8
0,6
0,4
0,2
0,0
0,0
0,0
0,0
G~ K~ 1,0
0,9
0,8
0,6
0,4
0,5
0,7
0,9
1,0
1,0
~
A = i =1 Ai
A~ = i =1 (ui ){ui }
~
Support(G~ K~) = U
~
18
Count(G~ K~) = 1,0 + 0,9 + 0,8 + 0,6 + 0,4 + 0,5 + 0,7 + 0,9 + 1,0 +
1,0 = 7,8 .
~
A~ B ~
(u ) = A~ (u ) B~ (u )
1i <
B (ui ) / ui =
~
1i <
[ A~ (u i ) B ~ (u i )] / u i
A~ B~ =
uU
A (u)du
~
uU
B (u)du =
~
uU
[ A~ (u ) B ~ (u )]du .
~
Mt cch tng qut, cho Ai F(U), i I, vi I l tp ch s hu hn
iI
Ai~ ,
(I
iI
Ai~ (u ) = Infi I Ai (u )
0,0/9 + 0,0/10)
19
U
G~
10
0,0
0,0
0,0
0,1
0,3
0,5
0,7
0,9
1,0
1,0
K~
1,0
0.9
0,8
0,6
0,4
0,2
0,0
0,0
0,0
0,0
G~ K~ 0,0
0,0
0,0
0,1
0,3
0,2
0,0
0,0
0,0
0,0
Support(G~ K~) = U
~
uU
A (u ) / u =uU (1 A (u )) / u =
~
Trng hp U l v hn continuum
~ A~ =
u U
~ A (u )du = ~
~
uU
20
A (u )du =
~
uU
(1 A~ (u ))du
U
G~
~G
K
~K
10
0,0
0,0
0,0
0,1
0,3
0,5
0,7
0,9
1,0
1,0
1,0
1,0
1,0
0,9
0,7
0,5
0,3
0,1
0,0
0,0
1,0
0.9
0,8
0,6
0,4
0,2
0,0
0,0
0,0
0,0
0,0
0,1
0,2
0,4
0,6
0,8
1,0
1,0
1,0
1,0
uU
[ A~ (u ) + B ~ (u ) A~ (u ). B ~ (u )] / u ,
uU
[ A~ (u ) + B ~ (u ) A~ (u ). B ~ (u )]du .
21
A (u ). B (u ) / u ,
~
uU
uU
A (u ). B (u )du .
~
uU
DIL(A~) =
uU
A~ (u)
0
15
25
35
45
22
50
Trong trng hp ny ta thy A~ (u ) > A (u ) v do php dn s lm hm
~
U1...U n
0,6/(2,3).
23
th Y := B~
i =1
wi = 1 .
Khi t hp li ca cc tp m Ai~ , i = 1, 2, , n, l mt tp m A~ xc
nh trn U = U1U2Un, hm thuc ca n c nh ngha nh sau:
A~ (u1 ,..., u n ) =
n
i =1
wi A~ (u i )
i
24
100
Bo =
40
u1 40 2
du1
1 +
30
100
Cao =
40
u 2 140 2
du 2
1 +
30
40
Bo
0,6
0,4
Cao
220
50
Chng hn, ta c:
A~
(u ) K ~ (u ) du
25
0,5
A~
Cao
100
0,0
Hnh 1.4: Cc hm thuc ca bin
NHIT
26
27
c cho trong Hnh 1.4. T Nhn xt 1.1, chng ta c th hiu cc php cng
hnh thc + s l php OR m ng ngha ca n l php trong dn
L([0,1]).
C nhiu cch biu th ng ngha php AND v php OR trn on [0,
1]. Mt cch tng qut, ta c th chn mt 1
Thp
Tr-bnh
cp i ngu t-norm v t-conorm bt k m
A~
chng s c cp n sau ny khi ni v 0,5
cc i s lin hp tp hp m biu th
Cao
ng ngha ca hai php AND v OR. Di
100
0,0
y ta s chn ng ngha ca AND l php
Hnh 1.5: Cc hm thuc ca 3
hng t trong (1.5)
Min, v OR l php Max. Trong Hnh 1.5 ta
c cc kt qu ca vic thc hin php AND 1
cho tng hng t trong cng thc (4*): hng
t th nht c biu th bng hnh thang 0,5
th nht vi chiu cao l 0,54; hng t th
hai c biu th bng hnh thang th hai
100
0,0
gia, vi chiu cao 0,82; hng t th ba
Hnh 1.6. Hm thuc hp ca 3
c biu th bng hnh thang bn phi vi
hng t trong (1.5)
chiu cao l 0,18.
Hnh 1.6 biu th kt qu ca php OR ca 3 hng t vi ng ngha
c biu th trong Hnh 1.5.
Nh vy, bt k mt tp m no c cho dng cng thc (4*) chng
ta u c th bin i v tp m c dng Hnh 1.6.
By gi bi ton kh m c c th ha bng bi ton cho trc mt
tp m vi hm thuc c biu th bng th, chng hn nh trong Hnh
1.6. Hy xc nh phng php bin i tp m v mt gi tr thc thuc
min c s U. Vi v d ang xt, ta c bin NHIT vi U = [0, 100] theo
thang C.
Thng chng ta c nhiu cch gii bi ton kh m. Chng ta
khng c nhng rng buc cht ch no v vic nh ngha mt phng php
kh m. Bt k nh nghin cu ng dng no cng c th a ra mt nh
ngha v mt phng php kh m, min l n ph hp vi mt ng dng no
hay n ph hp vi mt tng no v ng ngha ca php kh m.
28
u min + u max
2
29
DAveMax(A~) =
i =1
i =1
(uave max i )
30
u (u)du
(u)du
DCentroid(A ) =
u (u )du =
23
25
41
59
25
41
91
+ 59 ( 501 u + 2)udu +
100
91
0,18udu
Do ,
DCentroid(A~) =
2561,178
= 41,537.
61,66
31
B(v) = sup u 1 ( v ) A (u ) .
Ta cho mt vi v d v ng dng ca nguyn l thc trin trn.
V d 1.11. Ngi ta thng biu din khi nim chn l nh l mt tp m
trn U = [0,1], chng hn hm thuc True ca khi nim True c cho trong
Hnh 1.7. Thng thng, phn b ca tp m True biu th php ph nh v
do ng cong gch tng on biu th khi nim False. V trc quan
quan st trn Hnh 1.7 chng ta thy khng hp l.
By gi chng ta nh ngha khi nim ph nh bng vic p dng
nguyn l thc trin. Trong lgic a tr vi min gi tr
chn l trn on [0,1], php ph nh l 1-, t = 1 t.
n xc nh mt nh x t [0,1] vo [0,1]. Theo
nguyn l thc trin, tp m True s cm sinh tp m
cng trn [0,1], chnh l tp m False, vi hm thuc l
False
True
Hnh 1.7
32
(6*)
33
(7*)
34
small
medium
large
Very
large
( 0 ,1]
( 0 ,1]
v B =
( 0 ,1]
35
100
AB=
( 0 ,1]
A B
A(u) = 0
vi u 1 v u > 3
= (u + 1)/2 vi
1 < u 1
= (3 u)/2 vi
1 < u 1,
B(u) = 0
vi u 1 v u > 5
= (u 1)/2
vi
1<u3
= (5 u)/2
vi
3 < u 5.
vi (0,5;1]
A+B(u) = 0
vi u 0 v u > 8
vi
0<u 4
= (8 u)/4 vi
4<u8
= u/4
A-B(u) = 0
vi u 6 v u > 2
= (u + 6)/4 vi 6 < u 2
= (2 u)/4
A.B(u)
=0
vi 2 < u 2
vi u < 5 v u > 15
36
= [3 (4 u)1/2]/2 vi
1/2
= (1 + u) /2
5 u < 0
0 u < 1/3
vi
1/2
3 u < 15
= [4 (1 + u) ]/2 vi
A/B(u)
=0
= (u + 1)/(2 2u)
vi u < 1 v u > 3
1u<0
vi
0 u < 1/3
= (5u + 1)/(2u + 2) vi
= (3 u)/(2u + 2)
1/3 u < 3
vi
37
( 0 ,1]
38
Tin (Agg1). g c tnh cht kt hp, g(a, g(b, c)) = g(g(a, b), c) v do
ta c th vit :
g(a, b, c) = g(a, g(b, c)).
Nh vy, mt hm kt nhp g c th m rng thnh hm n-ngi
g(a1, a2, , an): [0;1]n [0;1]
Tin (Agg2). g l php ton ly ng (idempotent).
g(a, a, , a) = a, a [0;1]
ngha thc tin ca tin ny l r rng: nu cc kin l ging
nhau, th kt qu kt nhp phi khng thay i.
Tin (Agg2*). g tha iu kin bin sau:
g(0, 0, , 0) = 0 v g(1, 1, , 1) = 1.
D nhin, tin ny l trng hp ring ca Tin (Agg2) v do n l
mt rng buc nh hn kh nhiu Tin (agg2).
Tin (Agg3). g l hm lin tc.
i hi ny l t nhin trn thc t: cc kin xp x nhau th kt qu
kt nhp cng xp x nhau.
Tin (Agg4). g(a1, , an, g(a1, , an)) = g(a1, , an)
Tin (Agg4) m t mt tnh cht thc t l nu thm mt kin mi
trng vi gi tr kt nhp cc kin c khng lm thay i gi tr kt nhp
c.
Tin (Agg5). Tnh n iu tng: Vi mi cp (a1, , an) v (b1, , bn)
cc gi tr trong [0, 1], nu ai bi, vi i = 1, 2, ..., n, th
g(a1, , an) g(b1, , bn).
Tin (Agg6). Tnh cht giao hon: Vi bt k mt hon v v tr, : {1, 2,
, n} {1, 2, , n} ca cc ton hng ca php kt nhp g(a1, , an),
chng ta c:
g(a1, a2, , an) = g(a(1), a(2), , a(n))
ngha ca Tin (Agg6) l n m t mt kiu tnh hung thc t
trong th t cc kin khng quan trng trong kt nhp. iu ny cng
39
a1 a2)
Do tnh kt hp ca php Min, ta c th d dng m rng hm ny thnh
php n-ngi:
g(a1, a2, , an) = Min {a1, a2, , an}.
Bn cnh hm Min, xt hm Max h(a1, a2) = Max {a1, a2} (hay h(a1,
a2) = a1 a2).
Tng t, do tnh kt hp ca php Max, ta c th d dng m rng
hm ny thnh hm n-ngi:
h(a1, a2, , an) = Max {a1, a2, , an}.
D dng kim tra hm Min v Max tha tt c cc tin t (Agg1)
(Agg6).
2) Trung bnh c trng s:
WAvg(a1, a2, , an) =
1i n
wi ai , vi wi 0 v
1i n
wi = 1 .
40
1i n
win ai , vi win 0 v
1i n
win = 1 . Khi
(9*)
Chng minh: Trc ht ta gi thit rng php kt nhp Wavg tha Tin
(Agg4), ta c ng thc WAvg(a1, a2, , an) = WAvg(a1, a2, , an, WAvg(a1,
, an)), hay
1i n
win+1
=
1 wnn++11
win+1
, ta thu c (9*).
1 jn w nj+1
1i n
1i n
wi a (i ) = wj.
41
1i n
1
ai .
n
Trong cuc sng hng ngy chng ta thng hay gp v s dng php
kt nhp ny tng hp cc kin nh gi hay im nh gi theo cc thiu
chun khc nhau. Bay gi chng ta kho st xem php kt nhp quen thuc
ny s tha mn cc tin no v vic kt nhp.
(a) R rng l php Avg tha cc tin v tnh ly ng, lin tc, n
iu tng.
(b) By gi ta xem xt tnh tha ca php Avg i vi Tin (Agg4).
Ta tnh biu thc
Avg(a1, a2, , an, Avg(a1, a2, , an)) =
1i n
1
1
)ai
+
n + 1 n(n + 1)
1 i n
1
1
ai ] +
n +1
n +1
1i n
1
ai =
n
1i n
1
ai
n
Biu thc ny chng t rng php kt nhp Avg tha Tin (Agg4).
(c) Tnh giao hon ca php Avg c lin h cht ch vi nh l 1.2. C
th, ta c nh l sau:
nh l 1.4.. Php kt nhp trung bnh c trng s WAvg c tnh giao hon th
n l php ly trung bnh cng s hc Avg.
Chng minh: Gi s WAvg c tnh cht giao hon, vi mi php hon v v tr
cc hng t , ta c
WAvg(a1, a2, , an) = WAvg(a(1), a(2), , a(n)) (10*)
Xt b gi tr (1, 0, , 0) v php hon v ch i vi hai v tr th nht v
v tr th i, cc v tr cn li gi nguyn. Thay vo (10*) ta thu c
WAvg(a1, a2, , an) = w1 = wi = WAvg(a(1), a(2), , a(n)).
42
iu ny ng vi mi ch s i = 1, , n. Do
1i n
wi = 1 , ta suy ra wi =
1/n, vi mi i.
4) Php trung bnh cng tng qut ha
Php kt nhp trung bnh cng tng qut ha c xc nh bi cng
thc sau
g(a1, a2, , an) =
a1 + ... + a n
1/
lim ln g = lim
ln(a1 + ... + a n ) ln n
0
a1 + ... + a n
n
lim ln g = lim
l iu ta cn chng minh.
- g(a1, a2, , an) = Min {a1, a2, , an} v g+(a1, a2, , an) = Max
{a1, a2, , an}
43
lim ln g = lim
ln(a1 + ... + an ) ln n
ln a min
= lim
a
+ ln( 1
amin
+ ... + n
a min
) ln n
= ln amin
v ta thu c iu cn chng minh.
i vi trng hp g+ vic chng minh hon ton tng t.
- Vi = 1, ta c g-1(a1, a2, , an) =
n
, ta c hm ly
a + ... + an1
1
1
a1 + ... + an
, ta c
n
44
D dng kim chng rng php OWA tha cc tin ly ng, lin
tc, n iu tng v giao hon.
By gi ta kho st mt s trng hp c bit:
- Vi vect trng s wmin = (0, 0, , 0, 1) php OWA s tr thnh php
Min v vi wmax = (1, 0, , 0), php OWA s tr thnh php Max.
- g wmin ( a1 ,..., a n ) = Min {a1, a2, , an} v g wmax ( a1 ,..., an ) = Max {a1,
a2, , an}
- Vi vect trng s w = (1/n, , 1/n), r rng php OWA tr thnh
php trung bnh s hc.
nh l 1.5. Vi mi php kt nhp g tha tin ly ng v n iu tng,
ta c
Min {a1, a2, , an} g(a1, a2, , an) Max {a1, a2, , an} (11*)
Ngc li, nu hm g tha cng thc (11*) th n c tnh cht ly ng.
Chng minh: t amin = Min {a1, a2, , an} v amax = Max {a1, a2, , an}.
Khi , p dng tnh ly ng v n iu tng, ta thu c
amin = g(amin, , amin) g(a1, a2, , an) g(amax, , amax) = amax
Ngc li, gi s g tha cng thc (11*). Khi ,
a = Min {a, a, , a} g(a, a, , a) Max {a, a, , a} = a, ngha l
g c thnh cht ly ng.
By gi ta kho st mt s tnh cht hay ca cc php kt nhp. Trc
ht, ta nhc li bi ton v phng trnh hm Cauchy: Tm h cc hm s thc
tha mn phng trnh hm
f(x + y) = f(x) + f(y)
(12*)
45
- f n iu trn mt khong no ;
- f gii ni trn mt khong no .
Vic gii bi ton ny trong trng hp bin thc kh phc tp.
tham kho, ta gii bi ton trong trng hp f l lin tc.
Trc ht ta chng minh khng nh khi cc bin nhn cc gi tr trong
tp cc s hu t Q. Thc vy, vi iu kin (12*) ta s chng t rng:
- f(0) = 0: t y = 0, ta c f(x + 0) = f(x) + f(0) v do f(0) = 0.
- f(x) = f(x): V, khi t y = x, ta c f(x + (x)) = f(x) + f(x) = f(0)
= 0.
- f(nx) = nf(x): V, f(nx) = f(x + x + + x). p dng h thc (12*) n 1
ln ta thu c ng thc cn chng minh.
1
x
y
- f = f ( x) : t y = nx ta thu c f(y) = nf(x) = nf(x) = nf ,
n
iu cn chng minh.
T hai khng nh cui ta suy ra
x m
f m = f ( x) hay f ( xq) = f ( x )q
n n
(12*)
1i n
wi ai , vi wi > 0, i = 1, , n.
46
tnh n iu, n phi c dng gi(x) = wix, trong wi = gi(1) > 0. Do vy, t
gi thit (13*), ta suy ra
g(a1, , an) = g(a1, 0, , 0) + g(0, a2, , an)
v p dng tip tc nh vy ta thu c
g(a1, , an) = g(a1, 0, , 0) + g(0, a2, 0, , 0) + + g(0, ,
0, an)
= g1(a1) + g2(a2) + + gn(an) =
1i n
wi ai
1i n
wi
=1
1.4. Quan h m
1.4.1. Khi nim quan h m
nh ngha 1.7. Cho U l tch -cc ca n min c s Ui, i = 1, , n. Khi
, mi mt tp m trn U c gi l mt quan h m n-ngi v c k
hiu l R, gi l tn ca quan h , v n c biu th bng cng thc sau:
R =
U1...U n
47
0,0
0,0
0,0
0,0
0,3
0,0
0,0
0,0
0,8
0,0
0,0
0,0
1,0
0,8
0,3
0,0
|u v|
a
U V
/(u , v) .
48
th N := N-nh(v)
(15*)
I-ln(u)
trong
N-nh(v)
(16*)
I-ln(u)
Mt vi v d ca php ko theo
= (1 s) t
= 1
nu s t
= 0
nu s > t
= 1
nu s t
= t
nu s > t
t
t
= s . t (trong . l tch s
= 1 (1 s + t)
49
vV
(17*)
vV
(18*)
(19*)
(20*)
50
R
S
qu trnh thc t c m phng bng cc (1)
php hp thnh. Ngha l, d liu u ra
c tnh theo cc cng thc sau:
(2)
= o R, = o S
RoS
(21*)
Hnh 1.9
S(vk, wj) v = (a1, , am). Khi , do tnh cht kt hp, ta ln lt tnh theo
cng thc (21*) nh sau:
= o (R o S)
(22*)
51
E(u, u) = 1, vi u U v R(u, v) = 0, vi u, v U, u v.
nh ngha 1.9. Cho R l quan h m 2-ngi trn U U. Khi ta ni R l:
Phn x
nu v ch nu R(u, u) = 1, vi u U hay E R;
Phn phn x
nu v ch nu R(u, u) = 0, vi u U;
i xng
-Bc cu
v, w U;
*-Bc cu i ngu: nu v ch nu R(u, v) R(u, w) * R(w, v), u, v, w
U,
52
R^ = R R2 Rk =
Rk
k =1
(ii) Nu U hu hn v c n phn t, th ta c
(iii) Nu l, Rl = Rl+1, th ta c
R^ =
R^ =
UR
UR
k =1
k =1
en
nu
en
en
nu
nu xanh
xanh hi
sm
xanh nht
en
1,0
0,7
0,85
0,6
0,0
0,3
0,0
nu en
0,7
1,0
0,92
0,86
0,0
0,4
0,0
en nu
0,85
0,92
1,0
0,82
0,0
0,2
0,0
nu
0,6
0,86
0,82
1,0
0,0
0,25
0,0
xanh
0,0
0,0
0,0
0,0
1,0
0,9
0,84
xanh hi sm 0,3
0,4
0,2
0,25
0,9
1,0
0,65
0,0
0,0
0,0
0,84
0,65
1,0
xanh nht
0,0
1.5. i s cc tp m
53
:
:
T(a, 1) = a
T(a, b) = T(b, a)
a a T(a, b) T(a, b)
Chng ta d dng kim chng rng php min () v php tch i s (.) l cc
php t-norm v chng c k hiu tng ng l Tm v Tp. Php t-norm Tm
() c gi l php giao m chun (fuzzy standard intersection).
Mt tnh cht kh hay ca php ton hai ngi T no l tnh ly ng
(idempotency) ni rng T(a, a) = a, vi a [0;1]. Tuy nhin, sau y chng
ta ch ra mt tnh cht c tn ca php giao tiu chun.
nh l 1.9. Php giao tiu chun l php t-norm duy nht c tnh cht ly
ng.
Chng minh: Tt nhin ta thy Tm c tnh cht ly ng, min{a, a} = a, vi
a [0;1]. By gi ta xt bt k php t-norm no m T(a, a) = a, vi a
[0;1]. Khi , vi a, b [0;1] v khng mt tnh tng qut ta gi s a b,
theo tnh cht n iu v tnh cht v iu kin bin ta c
54
(Tnh n iu cht).
T(a, b) =
khi b = 1
khi a = 1
khi a 1 & b 1
a nu b = 1
b nu a = 1
0 nu a 1 & b 1
(23*)
v, vi mi T-norm T:
T* T Tm
(24*)
Php giao cht ting Anh l drastic intersection. Nu dch theo ngha en th gi l php giao mnh.
Chng ti cho rng ch cht trong ting Vit trong ng cnh ny c ngha ph hp hn.
55
S(a, 0) = a
S(a, b) = S(b, a)
a a S(a, b) S(a, b)
nu a 0 & b 0.
a a N(a) N(a)
(N2) Tnh ly ng
N(N(a)) = a
56
(25*)
T (
A~
(u ), B ~ (v) /(u , v)
- Php hp :
A B =
S (
A~
(u ), B ~ (v)) /(u , v)
- Php b :
A =
N (
U
A~
(u )) / u
S (S (
U
S (
U
A~
A~
(u ), B~ (u )), C ~ (u )) / u
(u ), S ( B ~ (u ), C ~ (u ))) / u
= A (B C)
Tng t, chng ta c th kim chng cc khng nh cn li pht biu
trn.
2) Nu php tnh T-norm T c tnh ly ng, T(a, a) = a vi a U, th
php giao cng c tnh ly ng
A A = A, vi A F(U, [0;1]).
Tng t, nu php S-norm S l ly ng, S(a, a) = a vi a U, th php
hp cng c tnh ly ng
A A = A, vi A F(U, [0;1]).
Thc vy, ta kim chng cho php giao:
57
T (
A A =
A~
(u ), A~ (u )) / u
A~
(u ) / u
=A
4)
A = A
v A U = U
A ( A) U
U
U
iI
(U A )
= (U A )
Ai~
iI
Ai~ +
iI
iI
~
i
~
i
v
v
I
I
iI
iI
(I A )
(I A )
Ai~ =
Ai~ +
iI
iI
~
i
~
i
Chng minh: (i) Trc ht ta chng minh ng thc trong (i). Ta thy, u
IiI Ai~ nu v ch nu vi i I, u Ai~ hay Ai~ (u ) . iu ny tng
ng vi khng nh
58
Infi I Ai~ (u ) .
(26*)
(I
iI
Ai~
(U
iI
(U
Do ,
iI
Ai~ = U.
1
Vy ta suy ra,
iI
Ai~1 = U =
(U
iI
Ai~ .
1
(i)
v
(ii)
v
59
Gi s u
<
<
A~
<
A~+ .
v vi nh,
<
ra.
Bng phg php tng t, chng ta c th chng minh (ii).
nh l 1.13 (nh l phn tch th nht). Vi mi A~ F(U) ta c cng
thc biu din tp m qua cc tp mc sau
A~ =
[ 0 ,1]
A~
(27*)
[ 0,1]
A~ (u ) = Sup [0,1] A~ (u )
60
[ 0 ,1]
[ 0 ,1]
A~+
(28*)
Im age ( A~ )
A~
(29*)
61
Chng 2
LGIC M
2.1. Cc mnh m
Nhn chung i tng nghin cu ca lgic l cc mnh cng vi
gi tr chn l ca chng. Trong chng ny chng ta nghin cu cc mnh
m v vic nh gi gi tr chn l ca chng.
Mnh m cha nhng khi nim khng chnh xc, khng chc chn
v do khng c thng tin nh gi gi tr chn l l tuyt i ng I
hay tuyt i sai O, gi tr chn l ng, sai theo ngha kinh in. V gi tr
chn l ca cc mnh m c th nm trong on [0;1].
Sau y chng ta s kho st 4 loi mnh m v vic nh gi gi tr
chn l ca chng.
2.1.1. Mnh m khng iu kin v khng b gii hn
Trc ht ta lm sng t cm t gii hn (qualified). Mt mnh
bao gi cng c gi tr chn l. Vn l chng ta c tuyn b mt cch r
rng gi tr chn l ca n hay khng. Nu chng ta tuyn b r gi tr chn l
ca n, tc l chng ta gii hn gi tr chn l ca n vo mt gi tr c
th no y, nu khng ta ni mnh khng b gii hn. Cn mnh
iu kin l mnh nu-th, nu khng nh vy mnh c gi l
mnh khng iu kin.
Mnh m khng iu kin v khng gii hn l mnh dng sau:
p : X l A,
(1*)
trong X l bin vi min tham chiu U, A l tp m trn U biu th ng
ngha ca gi tr ngn ng nh tr, rt cao, nhanh nhn, n gin ta k
hiu hm thuc ca tp m A l A(u).
Cu hi t ra l nu X nhn gi tr c th u U th gi tr chn l ca
mnh p c cho bi (1*) l bao nhiu. Trong trng hp c th nh vy,
(1*) tr thnh
u l A
(2*)
62
(3*)
Rt cao
1,00
0,85
90
150 170
195
63
220
chun sau
1,00
0,75
ng
0,30
Rt
ng
0,75
Hnh 2.2
64
10
(6*)
(8*)
B(v).
65
p : Nu X l A, th Y l B l
(9*)
66
Jr(s, t) = 1 s + s.t.
JGoguen(s, t) = min 1, s .
- Php ko theo Gaines-Rescher
Jg-r(s, t) =
1 nu s t
0 nu s > t
1 nu s t
t nu s > t
67
1 nu s t
t / s nu s > t
- Php ko theo Wu
Jwu(s, t) =
1
nu s t
min{1 s, t} nu s > t
ta c :
(10*)
(11*)
T(s, u) t nu v ch nu JT(s, t) u;
(ii)
JT(JT(s, t), t) s;
(iii)
(iv)
(v)
(vi)
(vii)
(x)
Chng minh: Chng ta s chng minh mt s tnh cht pht biu trong
nh l trn.
68
69
JT(t, supjJ sj) = supx {x : T(t, x) supjJ sj} supx {x : T(t, x) sj}
70
71
e s 1
f(s) = ln(1 + s) vi hm ta ngc l f1(s) =
1
v hm ph nh i cng vi f l
N(s) =
nu 0 s ln 2
nu ln 2 < s 1
1 s
, s [0;1].
1+ s
J(s, t) = min 1,
f1(s) =
1
nu 0 s ln(1 + )
nu ln 2 < s 1
1 s
, s [0;1].
1 + s
Php ko theo m kh c xc nh l
1 s + t + t
.
1 + s
J(s, t) = min 1,
2.3. Lng t m
Trong lgic v t chng ta c khi nim lng ha tn ti v lng ha
khi qut. Tng t nh vy, trong lgic m chng ta cng c nhng khi
nim mang hm nh vy nh khong 10 hc sinh thi tt nghip gii; nhiu
hn nhiu 100 c th voc mi hch ang sinh sng trong khu bo tn quc
gia; t nht l 7 sinh vin ang lm thc tp tt nghip Cng ty Microsoft
Vit Nam; hu ht n sinh vin kha 2005 u c nguyn vng theo hc khoa
CNTT, khong mt na s sinh vin trong kha 2006 l n, Nhng t in
nghing trong cc v d trn u th hin ng ngha khng chnh xc, m v
s lng v c gi l cc lng ha m.
Theo L.A. Zadeh, c hai loi lng ha m: (i) Lng ha tuyt i vi
ng ngha m c n nh lin quan n mt gi tr (tuyt i) c th trong
tp cc s thc khng m, chng hn, nh trong 3 v d u nu trn; (ii)
72
73
(13*)
(14*)
oO
1,0/Nga
Khi ,
tt
1,00
0,82
Do , g tr chn l ca mnh p, vi Q
c cho trong Hnh 2.4 s l
0,5
0,35
0
6,5 7
9
8,5 9,5 10
Hnh 2.5: Tp m tt
74
tr trong min im [0;10], cn bin X2 ch dng ngi theo chiu cao trong
min [0;200] tnh theo cm. A1 l tp m biu th khi nim tt, A2 l tp m
biu th khi nim kh cao.
Cng nh trong trng hp mnh dng (12*), khi t
P1(o) = = A1(X1(o)) v P2(o) = = A2(X2(o))
(16*)
oO
min{A1(X1(o)), A2(X2(o))}
= C(P1 P2)/C(P1)
= ( oO min{A1(X1(o)), A2(X2(o))}) /
oO
A1(X1(o))
75
Tin th nht th hin tri thc, s hiu bit ca chng ta, tin th
hai l d kin hay s kin (fact) v kt lun c rt ra t hai Tin 1 v 2.
(18*) c gi l mt lc lp lun xp x n iu kin, v ch c mt tin
c dng lut nu-th.
Chng ta thng hay gp kiu lp lun xp x nh vy trong suy lun
ca chng ta bng ngn ng t nhin. Cu hi t ra l liu chng ta c th c
mt cch tip cn tnh ton m phng phng php lp lun nu trn?
2.4.1. Quy tc suy lun hp thnh
Mt cch tng qut, lc lp lun (18*) c biu th nh sau vi A,
A, B v B l cc tp m tng ng trn cc khng gian tham chiu U ca X
v V ca Y,
Tin 1: Nu X l A, th Y l B
Tin 2:
X l A
.
Kt lun:
Y l B
(19*)
76
B = {v V: (u, v) R v u A} V
S dng thut ng hm c trng, vi A, B v R l cc hm c
trng tng ng ca cc tp A, B v R, cng thc tnh B trn c th vit
di dng sau
(20*)
(21*)
(22*)
B = A
(23*.1)
77
(22*.1)
B da
1
,
0
0
,
8
1
,
0
0
,
8
(24*)
0,9
A = R o B = 1,0 0,4 o = (0,9 0,9 0,9)
0,7
1,0 0,8
78
Biu thc i s ca R
Kleen-Dienes
CA V U B
Mamdani
min(A(u), B(v))
(A V) (U B)
Zadeh 1973
max[min(A(u), B(v)), 1
A(u)]
((A V) (U B)) CA
Reichenbach
1 A(u) + A(u)B(v)
CA B
79
U B) (A V) (U B).
U B, th ta
c mt nh ngha khc l
Rgg = (A V
U B) (A V) (U B);
U B, th ta c mt nh
ngha khc l
Rzz = (A V
U B) (A V) (U B).
80
Cng vi tng trc quan ny nhng khng nht thit hai php ko
theo l ging nhau, chng hn ta c th nh ngha quan h sau biu din
lut:
g
U B) (A V) (U B),
U B) (A V) (U B).
Rzg = (A V
Rgz = (A V
hay
z
(26*)
81
t-norm
min
t-norm
tch i s
t-norm
hiu gii
ni
t-norm
giao
cht
Gaines-Rescher
Goedel (Jg)
Goguen (J)
B1/2
Kleene-Dienes
max{1/2,
B}
max{1/4, B}
82
Lukasiewicz
(Ja)
1
2
(1 + B )
Reichenbach
(Jr)
1
2B
Wu (Jwu)
1
4
max{B,
(1 + B) 2
1
}
4 4 min(B,1 / 2)
(28*)
(29*)
(30*)
83
t-norm min
t-norm
tch
i s
t-norm
hiu gii
ni
t-norm
giao cht
Gaines-Rescher
max{1/4, A}
max{1/(4A), A}
max{1/4, A}
( A 2) 2
Goedel (Jg)
Goguen (J)
Kleene-Dienes
Lukasiewicz
(Ja)
max{1/2,
A}
1
1 A
max{1/2,
A}
(1 12 A)
Reichenbach
(Jr)
1
1+ A
Wu (Jwu)
1
4
1
4 A(u )
(A)(u )
A(u )
1
2
A(u ) <
1
2
84
(31*)
quan h m P sao cho n tha phng trnh quan h (31*). V php o khng
giao hon, mt bi ton tng t l, cho trc R v P, tm quan h Q sao cho
n tha phng trnh (21*).
Cng thc (31*) cng c th c xem nh l mt s phn tch quan h
R thnh quan h Q khi cho trc P, hoc mt s phn tch quan h R thnh
quan h P khi cho trc quan h Q.
V cc quan h c th biu th dng ma trn, nh chng ta bit,
T
85
(34*)
P=
p1
p2
.
,
.
.
p
n
vi pi Si(Q, ri) vi mi i = 1, , n.
(36*)
p p p
0,2 1,0
21
22
23
1,0 0,4
(p
11
p12 p13
0,9 0,5
1,0 0,4
86
(p
21
p22 p 23
0,9 0,5
1,0 0,4
(37*)
p* nghim ln
nht
p, vi p S(Q, r).
Mt cch tng t, p* S(Q, r) c
gi l nghim ti tiu nu vi mi p S(Q,
r), ta c p p* p = p*, t.l. khng tn ti
mt nghim ca (37*) no thc s nh hn
pv nghim
ti tiu
pv nghim ti
tiu
t
. . . nghim
.
pv
ti tiu
p* S*
[ p* , p * ]
(38*)
88
thnh phn. Thc vy, nu cc thnh phn ca vect hng r khng phi l dy
s n iu khng tng, ta ch cn thc hin mt php hon v thch hp cc
v tr ca chng. Ta c quyn lm c iu my v tp ch s ca vect r
tng ng vi cc phn t ca khng gian W m cc phn t ca n khng b
buc phi c xp th t. Sau , khng lm thay i phng trnh ma
trn (37*) chng ta thc hin chnh php hon v i vi cc ch s ct ca
ma trn Q (lu rng ch s ct ca Q trng vi ch s cc thnh phn ca r).
Ngoi ra, vi thnh phn rk = 0, k > s, ta c th loi b thnh phn ny ca
vect r v ct th k ca Q, v nu p l nghim ca phng trnh (37*) c
rt gn th ta cng c max1j
nghim nn ta phi c
max1j m min{ p *j , qjk} = rk = 0.
(39*)
89
(*)
gj() =
max kK ( , j ) rk if K ( , j ) ,
.
0
otherwise
90
0,1
0,9
Q=
0,8
0,1
= 0,0
= 0,8
= 0,7
= 0,5
(p
p3
K(, j)
j :=
3
91
g()
4
j := 2
= 223
224
233
234
{1, 2}
{3}
{1, 2}
{3}
{1}
{2, 3}
{1}
{3}
(0,8
(0,8
(0,8
(0,8
0,5
0,0
0,7
0,7
0,0)
0,5)
0,0)
0,5)
{2}
Q=R
(40*)
(41*)
92
gii bi ton ny, chng ta nghin cu hai loi php tnh hp thnh
c gi l php hp thnh sup-T (hay max-T, trong trng hp hu hn) v
php hp thnh infIT.
1) Php hp thnh sup-T trn cc quan h m
Khi qut ha ca php hp thnh sup-min, hay max-min trong trng
T
(42*)
Q)
(i)
(P
(ii)
o (
(iii)
o (
= P
(Q
oT)
T
Qj ) =
jJ
jJ
(iv)
(U jJ Pj ) o Q =
(v)
(vi)
jJ
Pj ) o Q
(P
Qj )
jJ
(P o Q j ) ,
T
jJ
(P o Q j ) ,
jJ
( Pj o Q ) ,
T
jJ
( Pj o Q ) ,
Q)t = Qt
(vii) Q1 Q2 (P
Q1 P
P Q2
P).
93
R R.
Rl = Rk+l.
(43*)
RT =
Rn
(44*)
1n<
1n<
S =
Rn o
1 n<
1 m<
U U
1 n<
Rm =
1 n<
1 m<
(R n o R m )
(R n o
Rm )
1 m<
R n+m
1 n ,m<
R n = S,
1n <
R2 = R
R Q
Q Q.
94
Rn Q
Q Q. Do
Rn
1n <
RT = Rn-1.
R R
nguyn n.
Trc khi chng minh tip, d hiu ta nhc li mt tnh cht ca cc
php t-norm T. Do tnh cht kt hp ca T ta c th vit T(a1, T(a2, a3)) = T(a1,
a2, a3) v do , theo quy np, ta cng c T(a1, a2, , am) = T(a1, T(a2, a3, ,
am)), ai [0, 1]. Da vo cc tnh cht ca t-norm ta c th thy rng
T(a1, , ai-1, ai, ai+1, , am) T(a1, , ai-1, ai+1, , am),
(45*)
95
(vi k n 1)
Rn-1(u, v).
T bt ng thc ny v (43*), ta suy ra Rn(u, v) Rn-1(u, v), vi u, v U,
ta c Rn Rn-1. Nh vy, ta chng minh rng Rn = Rn-1. iu ny ko theo
ng thc Rm = Rn-1, vi mi m n. Vy, (44*) dn n ng thc RT = Rn-1.
2) Php hp thnh inf T trn cc quan h m
Cho php t-norm T, php ko theo lin kt vi T, JT, c nh ngha
trong Mc trc l:
JT(s, t) = sup {u [0, 1] : T(s, u) t}
(46*)
ngha nh sau
(P
(47*)
vi mi (u, w) U W.
Php hp thnh
nh l 2.7. Cho cc quan h m P(U, V), Q(V, W), R(U, W) v S(W, Z). Khi
,
(i) Cc khng nh sau l tng ng
P
Pt
Q
P (Q
(ii) Ta c:
R;
(Q
(48*)
T
R;
(49*)
Rt)t ;
S) = (P
96
(50*)
T
Q)
S.
(51*)
U, w W, nh sau:
Biu thc ny tng ng vi supv VT(Qt(w, v), Pt(v, u)) Rt(w, u),
Qt
ta c :
Pt
Rt.
(52*)
jJ
Pj ) o Q
jJ
Pj ) o Q
T
P o(
T
P o(
j J
jJ
Qj ) =
jJ
jJ
Qj )
( Pj o Q ) ,
( Pj o Q ) ,
T
jJ
(P o Q j ) ,
T
jJ
(P o Q j ) .
(53*)
(54*)
(55*)
(56*)
nh l 2.9. Cho cc quan h m P(U, V), Q1(V, W), Q2(V, W) v R(U, W).
Khi , nu Q1 Q2, th
P
Q1 P
Q2 v Q1
97
R Q2
R.
Q1) (P
Q2 ) = P
(Q1 Q2) = P
Q1.
Pt o ( P
c:
Q) Q,
R P
P (P
R (R
(Pt o R),
(57*)
Q)
Qt)
(58*)
Qt,
(59*)
Q.
T
(60*)
Q (Pt)t
Q. Thit lp
tng ng cc biu thc con ca biu thc ny vi cng thc (49*) v chuyn
v dng cng thc tng ng (48*) ta thu c (57*). Mt cch tng t,
T
Q)t
Q)]t
Qt. Li thit lp cng thc con ca cng thc ny tng ng vi cng thc
con ca (48*) v thay th vo cnt thc tng ng (49*) ta thu c (59*).
Cng thc (60*) r rng suy ra trc tip t (59*).
Ta c nhn xt l nu cc du bao hm trong (57*) v (58*) l du ng
thc th c th xem hai php hp thnh sup-T v inf-T l i ca nhau. Tuy
nhin, y chng ta ch c du bao hm nhng chng cng th hin mi lin
98
Q = R. Theo s tng
o
T
Rt)t = P*.
(Q
Rt)t
Q = P*
Rt hay S R. Mt khc, S = P*
o
Q P
Q = R v do S = P*
cn v l:
(Q
Rt)t
Q = R.
0,1
0,2
0,3
v R =
0,12
0,18
0,27
Khi ,
(P*)t = Q
Hay,
Rt
0,1
T
= 0,2 o (0,12 0,18 0,27) =
0,3
P* =
99
0,1
T
1,0 0,9 0,6 o 0,2
0,3
1,0 1,0 0,9
0,12
0,18 ,
0,27
Q P
Q P
Q = R, ta suy ra P
Q = R, P S(Q, R).
(ii) Theo tnh cht (iv) ca php hp thnh sup-T, (U jJ Pj )
jJ
( Pj o Q ) ,
ta c (P P)
Q = (P
Q) (P
Q =
Q) = R R = R.
S(Q, R).
Chng minh: Ly mt nghim bt k P S(Q, R), P
thc R
Q = R. Xt biu
100
P* = R
Qt = (P
Q)
Qt P. (62*)
Do vy, P* o Q = (R
trong S(Q, R).
Qt)
Qt)
Q P
vi
Q = R.
Qt)
Q = R.
0,20 1,0
Khi ,
P* = R
0,20 1,0
Qt = 0,25 1,0
0,1 0,8
o
0,6 0,9
0,5 0,9
= 0,4 0,9
0,20 1,0
0,25 1,0 ,
Q)t Qt
101
Q = R. Xt biu thc
R v da vo (3.6-55), i vi mi quan h P v Q, ta c
Q* = Pt
R = Pt
(P
Q) Q
(63*)
(Pt
R) = P
Q* P
Q = R.
0,20 1,0
Q* = Pt
0,5 0,4
R = 0,9 0,9
0,20 1,0
T
o
0,25 1,0
0,100 0,5
= 0,225 0,9 .
0,5 0,4
Q = 0,9 0,9
0,100 0,5
o
0,225 0,9
0,20 1,0
= 0,25 1,0 .
102
(64*)
P o Q = R
Nhn chung, vi Q v R cho trc, (64*) khng c nghim v, do ,
bi ton t ra l hy nghin cu vn nghim xp x ca phng trnh trn.
tng v nghim xp x nh sau.
Gi s phng trnh (64*) khng c nghim. Khi , ta bin i mt
cht cc quan h m Q v R thnh quan h Q v R sao cho phng trnh
P
Q = R
(65*)
Q = R .
(66*)
Q = R, th Q = Q v R = R.
(67*)
103
P
trong
0,1 0,3
o
0,2 0,4
= (0,5 0,6) .
(68*)
t t
P* = (Q o R ) = 0,2 0,4 o 0,6 = 1,0 1,0 .
Do
P*
0,1 0,3
T
o
0,2 0,4
= (1,0 1,0)
0,1 0,3
T
o
0,2 0,4
0,1 0,3
T
o
0,2 0,4
0,1 0,3
T
o
0,2 0,4
= (0,2 0,4) ,
0,1 0,3
T
o
0,2 0,4
= R
104
0,1 0,3
0,5 0,6 .
Khi ,
Q = R l
t
~
t t
P = (Q o R ) = 0,5 0,6 o 0,6 = 1,0 1,0 .
P~
0,1 0,3
T
o
0,5 0,6
= (1,0 1,0)
0,1 0,3
T
o
0,5 0,6
= (0,5 0,6) ,
Q = R. Gi s c quan h
q12 = 0,3, 0,2 q21 0,5 v 0,4 q22 0,6. Thay vo phng trnh ta c
(p1 p2)
0,1 0,3
T
q
q
22
21
= (0,5 0,6) ,
hay chng ta c
max{0,1p1, q21p2} = 0,5,
max{0,3p1, q22p2} = 0,5.
Suy ra, q21p2 = 0,5 v q22p2 = 0,6 v do ta phi c q21 0,5 v q22 0,6.
iu ny chng t Q Q, v ta thu c Q = Q. Theo nh ngha 2.1,
P~ = (1,0 1,0) l nghim xp x ca (68*).
T v d ny ta thy khng ch nghim xp x ca mt phng trnh
quan h l khng duy nht m c cc quan h b bin i R v Q cng khng
duy nht.
Mt cu hi t ra l nghim xp x v s tn ti ca mt phng trnh
quan h bt k?
nh l 2.15. Phng trnh quan h (64*) lun lun c nghim xp x v P~ =
(Q
105
Rt)t tha cc iu
Rt)t
Q. Khi , hin
(57*) ta suy ra
T
R = (Q
Rt)t
Q = [Qt
(Q
Q = R. V Q = Q, ta c P
Q = R,
T
Rt)t
Q = R. Do R R R, ta c h thc
Q
Rt Q
Rt Q
Rt.
(70*)
Rt = Q
Kt hp vi (70*) ta thu c Q
[Qt
(Q
Rt = Q
T
Rt)] Q
Rt.
Rt v, do , ta c
T
R = (Q o Rt)t o Q = (Q o Rt)t o Q = R.
Nh vy, ta chng t rng iu kin (ii) tha mn v P~ l nghim
xp x ca (64*).
Ta cn cn chng t rng P~ l nghim ln nht. Thc vy, gi s P l
mt nghim xp x ca (64*), ngha l c tn ti Q, R sao cho Q Q, R
R v P
106
Rt)t v, do tnh
T
, ta c (Q
X l A1, th Y l B1
X l A2, th Y l B2
(71*)
Y l An, th Y l Bn
X l A,
.
Y l B
107
1 j n
B 'j
, hay
(73*)
108
1 j n
B 'j
r1(A)
A1
B1
Lut 1
1
r2(A)
A2
B2
Lut 2
1
U
Lut 3
Hnh 2.7
109
B1 B2
1 j n
B 'j
hay
B(v) = min1jn supuU T(A(u), J(Aj(u), Bj(v))), v V. (74*)
Gii hn php ko theo c xc nh bi Mamdani v T l php tnorm chun, php min, ta c cng thc tnh B nh sau:
B(v)
(75*)
1 j n
R j (u, v) .
(76*)
R(u, v)
M hnh ton hc
ca (71*)
Hnh 2.8
110
B =
T
A o R
B = A o R.
Nhn chung c s khc bit ln gia phng php lp lun xp x y
vi phng php c trnh by trong Mc 2.5.1. Tuy nhin, trong nhng
iu kin hn ch chng li ng nht vi nhau. Thc vy, cng nh trn, ta
gi thit php ko theo c xc nh l Mamdani, php
sup-min, kt lun B c tnh nh sau
l php hp thnh
Vy,
1 j n
B 'j
1 j n
R j (u, v) .
(77*)
(2)
B' = U1 j n A' o R j
(4)
111
B' = I1 j n A' o R j
2B
4B 1B = 3B.
2B(v).
1 j n
R j (u, v) ]
112
Nu N := rt cao th AS := cao
(78*)
Nu N := thp
th AS := kh thp
1,0
0,8
R1(u, v) = 0,6
0,3
0,0
0,8
1,0 1,0 1,0 1,0 1,0
0,6
0,8 0,8 0,8 0,8 0,8
1,0
0,2 0,4 0,6 0,8 1,0
113
1,0
0,8
0,6
0,6
0,3
0,0
(0,0
0,2
0,4
0,6
0,8
1,0) o
1,0
0,8
0,3
0,0
1,0
0,8
0,6
0,8
1,0
By gi ta tnh 1B = 3B:
114
B' = A' o (
1 j n
Rj )
1,0
1,0
0,8
0,6
0,8
1,0
1,0
0,8
0,6
0,6
0,3
0,0
(1,0
0,8
0,6
0,4
0,2
0,0) o
115
1,0
1,0
0,8
0,6
0,3
0,0
1,0
0,8
0,6
0,6
0,8
1,0
Vy,
B' = I1 j n A' o R j = (1,0 1,0 1,0 1,0 1,0 1,0) (1,0 0,9 0,8 0,6
0,4 0,4)
= (1,0 0,9 0,8 0,6 0,4 0,4).
By gi ta tnh 1B = 3B:
T
1,0
1,0
0,8
0,6
0,8
1,0
B' = A' o (
1 j n
Rj )
(1,0
0,8
0,6
0,4
0,2
0,0) o
116
(79*)
(80*)
117
NU X l A TH (Y l B1 NU KHNG B2)
c th phn tch thnh cc mnh iu kin quen bit c lin kt vi
nhau bng HOC nh sau:
NU X l A TH Y l B1
HOC
NU X l KHNG A TH Y l B2
(2) Mnh
NU X l A1 TH Y l B TR KHI X l A2
cng nh trn, c th phn tch thnh cc mnh iu kin quen bit c
lin kt vi nhau bng HOC nh sau:
NU X l A1 TH Y l B
HOC
NU X l A2 TH Y l KHNG B
(3) Mnh
NU X1 l A1 TH Y l B NU KHNG (NU X2 l A2 TH
Y l B2)
c th phn tch thnh
NU X l A1
TH Y l B
HOC
NU X l KHNG A1 V X2 l A2 TH Y l B2
Dng mnh iu kin kt t
Trong thc t ta cng thng gp cc mnh dng sau
NU X1 l A1 TH (NU X2 l A2 TH Y l B)
c th vit thnh mnh dng sau
NU X1 l A1 V X2 l A2 TH Y l B
2.5.4. Phng php lp lun xp x bng th
118
(81*)
119
u2U2
A2j(u2), Bj(v)]}
= max1jnsupu1U1,
u2U2
A2j(u2)], Bj(v)}
= max1jn min{supu1U1 min[A1(u1), A1j(u1)], sup
A2j(u2)], Bj(v)}
u2U2
min[A2(u2),
(83*)
Phn tch biu thc cha sup trong v phi ca ng thc cui cng
trong (82*) ta thy, biu thc supu1U1min[A1(u1), A1j(u1)] xc nh chiu cao
ca tp m A1A1j, high(A1A1j). Mt cch tng t, supu2U2 min[A2(u2),
A2j(u2)] xc nh chiu cao high(A2A2j) ca tp m A2A2j. Do vy, (83*)
tr thnh biu thc sau:
B(v) = max1jn min{min[high(A1A1j), high(A2A2j)], Bj(v)}
(84*)
(85*)
V cc tp m dng tam gic hay hnh thang, biu thc (85*) cho ta
mt phng php lp lun bng th c th tnh trc tip bng tay nh sau:
Bc 1. Vi mi j = 1, , n,
(i) Tnh chiu cao ca cc hnh tam gic hay hnh thang A1A1j v
A2A2j. Ly hj l chiu cao thp nht trong cc chiu cao tnh.
(ii) Ct phn ngn ca hnh tam gic hay hnh thang Bj sao cho phn
cn li Bj ca n c chiu cao l hj.
Bc 2. Ly hp ca cc tp hp Bj, j = 1, , n, ta thu c tp m kt
lun B.
120
A11
h1
A12
A1
A2
B1
min
B2
h2
A21
A1
A22
A2
B1
min
B2
Hnh 2.9
121
Chng 3
nhu cu thc t ca con ngi. Tuy nhin, theo cch s dng tp m ta thy
c nhiu nhc im do vic xy dng cc hm thuc v xp x cc gi tr
ngn ng bi cc tp m cn mang tnh ch quan, ph thuc nhiu vo kin
chuyn gia cho nn d mt mt thng tin. Mc khc, bn thn cc gi tr ngn
ng c mt cu trc th t nhng nh x gn ngha sang tp m, khng bo
ton cu trc na.
Do , vn t ra l c mt cu trc ton hc m phng chnh xc
hn cu trc ng ngha ca mt khi nim m. N.C.Ho v cng s a ra
SGT v SGT m rng v SGT tuyn tnh y gii p y cho
cu hi ny.
3.1.1 Mt s khi nim
Chng ta xt min ngn ng ca bin chn l TRUTH gm cc t sau:
Dom(TRUTH) = {true, false, very true, very false, more-or-less true, more-orless false, possibly true, possibly false, approximately true, approximately
false, little true, little false, very possibly true, very possibly false.....}, trong
true, false l cc t nguyn thu, cc t nhn (modifier or intensifier) very,
more-or-less, possibly, approximately, little gi l cc gia t (hedges).
Khi , min ngn ng T = dom(TRUTH) c th biu th nh mt i
s X = (X, G, H, ), trong G l tp cc t nguyn thu c xem l cc
phn t sinh. H = H- H+ vi H+ v H- tng ng l tp cc gia t dng,
m v c xem nh l cc php ton mt ngi, quan h trn cc t (cc
khi nim m) l quan h sp th t tuyn tnh trn X cm sinh t ng ngha
ca ngn ng. V d da trn ng ngha, cc quan h th t sau l ng: false
122
true, more true very true nhng very false more false, possibly true
true nhng false possibly false ... . Tp X c sinh ra t G bi cc php
ton trong H. Nh vy mi phn t ca X s c dng biu din x = hnhn1.......h1c,
123
fm(h u ) = fm(u )
i
vi mi
q i p ,i 0
uX.
(2) Nu x l khi nim r, tc l H(x) = {x} th fm(x) = 0. Do fm(0)
= fm(W) = fm(1) = 0.
(3) Vi mi x,y X v hH ta c
fm( hx ) fm( hy )
, ngha l t s ny khng
=
fm ( x)
fm( y )
124
i = j
1
1 + Sgn(h j x) Sgn(hq h j x )( ) { , } .
2
q i p ,i 0
(4)
fm(h x) = fm( x) , vi xX
i
q i p ,i 0
125
(5)
(hi ) = v
i= q
(h ) = , vi , > 0 v + = 1.
i
i =1
126
127
((P, hu), T)
(P, hT)
(hP, T)
Lut ko theo t l
(RPI)
128
P(x, u)
P(a, u)
Trong x l bin c th, u l hng c th
Lut th cng thc tng ng
(RE)
P Q, (F(P), T)
(F(Q), T)
129
(theo gi thit)
(theo gi thit)
(do
130
131
132
(x,y)= ( xi ) ( yi )
i =1
133
F ( A) F ( X k )
F ( A) F ( X h )
+ h (Y ).
F(X h ) F(X k )
F(X k ) F(X h )
134
h*=h, l*=l nu kN v hN
135
136
((P, hku), l)
((P, ku), l*h*)
(RT2)
(RTI2)
(P Q, True),(P, True)
(Q, True)
(RMT)
(P Q, True),(Q, True)
(P, True)
Cc qui tc phn t l v t l
Phn loi mnh ko theo
137
Trong thc t nhiu mnh ko theo c tnh t l gia hai thnh phn ca n.
Chng hn nu sinh vin hc cng chm th kt qu cng tt hoc tri cng
nng th nhit cng cao...i vi cc mnh ny, chng ta c th ni
rng tri nng th nhit cao l tng i ng dn n tri rt nng
th nhit rt cao hay tri khng nng lm th nhit khng cao lm
cng s l tng i ng....Tuy nhin, khi xut hin gia t khng (Not so)
ng mt trong hai thnh phn th s khng cn t l na, khi chng ta
gi tnh cht ny l phn t l. V d nu Lan hc khng chm th kt qu c
th tt l tng i ng khng th suy ra nu Lan hc rt khng chm
th kt qu rt c th tt l tng i ng m phi l nu Lan hc rt
khng chm th kt qu t c th tt mi l tng i ng.
Cc mnh va cp trn y c dng P(x*,h1u)Q(x*,h2v), trong c
th l bin hoc hng u,v l cc khi nim m, h1, h2 l cc gia t. Ta chia cc
mnh ko theo thnh hai loi khc nhau:
- Loi t l: Khi h1 v h2 khng phi l gia t Not so (h1N, h2N) hoc ng
thi l hai gia t ny (h1=h2=N)
- Loi phn t l: Khi c ng mt gia t h1 hoc h2 l Not so.
Qui tc t l
(RPI)
Qui tc phn t l
(RNPI)
138
v
(RNPMT)
P Q, (F(P), )
(F(P/Q), )
qui tc thay th hng a bi bin x*
(RSUB)
P(x*, u)
P(a, u)
3.2.4. Phng php lp lun ngn ng
Lp lun ngn ng l tm kim cc kt lun khng chc chn bng
phng php suy din theo ngha xp x t cc tin khng chc chn
dng ngn ng. Tng t nh trong i s gia t, chng ta i tm cc khng
nh t c s tri thc da vo cc qui tc suy dn.
Chng ta tha nhn rng, gi tr chn l ca mi khng nh l khng
suy nht, n c th nhn nhiu gi tr khc nhau min l cc gi tr u ln
hn hay nh hn gi tr trung ha W. Chng hn cho P, Q l hai cng thc m
PQ thuc loi t l v c gi tr chn l l True, ngha l (P Q, True).
Vi ty hLH, theo (RPI)
139
(gi thit)
(gi thit)
t (7) v (RT1)
t (8) v (RT1)
140
141
142
nu e 10
E(e) =
nu e < 10
143
nu s 12000
nu s > 120000
S(s) =
nu p 1600
nu p > 1600
CT Bch ho 1
10
11000
1100
0.44
CT Bch ho 2
11
10000
1600
0.67
CT Bch ho 3
14
10000
1500
0.50
CT Bch ho 4
12
13000
1800
0.67
CT Bch ho 5
09
8000
1200
0.50
: EQ(x,x) = 1
EQ(t1[A],t2[A],t3[A])= min{EQ(t1[A],t2[A]),EQ(t2[A],t3[A]),EQ(t3[A],t1[A])}.
144
EQ(t1[Am],t2[Am])}.
3.3.3. M hnh CSDL m theo cch tip cn quan h tng t
M hnh ny c Buckles v Petry xut nm 1980. Trong m
hnh ny, gi tr ca mi b ti mt thuc tnh c th a tr (mt tp cc gi tr
c th). Trn mi min tr cha d liu m c trang b mt quan h tng
t nh gi gn nhau gia cc gi tr.
i vi m hnh do hai tc gi Buckles v Petry xut, gi tr ti mi
thuc tnh ca i tng c th l n tr hoc a tr nhng c mt rng buc
l cc gi tr i hi phi tng t nhau, hay ni cch khc l tng
t ca hai gi tr bt k khng nh hn ngng cho trc.
Tuy nhin, trong cuc sng c th gp nhng thng tin khng chc
chn v mt i tng, c th gp nhng thng tin cho bit mt s kh nng
m iu xy ra trong thc t ch l mt trong cc kh nng ny. Chng hn, ti
mt thi im khi chn on bnh cho mt bnh nhn An, cc bc s trong hi
ng a ra chn on bnh nh sau: Vim amidan, vim ph qun, st siu
vi trng. Thc t c th bnh nhn An b mt trong 3 bnh ni trn hoc b c
3 bnh. Nu xem mt tp cc kh nng c th xy ra cn c lu tr khi
chng ta cha c c s chc chn mt kh nng no trong l ng th tc
gi H Cm H m rng m hnh ca P.Buckles v E.Petry theo ng ngha
nh vy. Mt iu c bit trong m hnh ny l cc phn t ca mi gi tr
thuc tnh khng i hi tng t theo ngng.
Cc kt qu nghin cu v m rng theo cch tip cn m hnh ny c
th k n S.K.De, R.Biswas v Mustafa ILKer Sozat, Adnan Yazici .
i snh gi tr ca hai b d liu trn mt thuc tnh, trn mt tp
thuc tnh, s dng quan h tng t (similarity relation) hay quan h tng
ng m c ba tnh cht phn x, giao hon v bc cu max-min.
Quan h tng t trn min D l mt nh x s t D D [0,1] tho mn cc
tnh cht sau: vi x, y, z D :
(1) Tnh phn x
(2) Tnh i xng
: s(x,x) = 1
: s(x,y) = s(y,x)
145
146
hiu
(t1[Ai],t2[Ai])
x , yDi
si ( x , y ) i
147
xc
nh:
(t1[Ai],t2[Ai])
148
10
20
25
30
35
40
50
60
A(X)(u)
0.2
0.3
0.5
0.8
0.9
149
HSLUONG SONAMCTAC
THUNHAP
Thnh
2.67
10
1000000
Thu
3.0
10
1050000
Hin
3.63
15
1400000
Lnh
4.55
20
3000000
Mnh
4.55
22
3100000
150
t1 ,t 2r
Gdel.
D thy khi nim ph thuc hm ny m rng hn khi nim Raju. im c
bit ca ph thuc hm m ca Chen l cho php thay i ngng .
c. Khi nim ph thuc hm m ca Cubero
Xut pht t quan im m trn mi thuc tnh l khc nhau nn t
ngng gn nhau cho mi thuc tnh.
Ph thuc hm m X
( , )
~>
151
(t2[Z],t3[Z])),
min
((t2[Y],t3[Y]),
(t1[Z],t3[Z])),
(t1[Y],t2[Y],t3[Y]), (t1[Z],t2[Z],t3[Z]))
trong (a,b,c) = min((a,b), (b,c), (a,c)).
b. Khi nim ph thuc a tr m ca Bhattacharjee v Mazumdar
Ph thuc hm m X ~>~> Y ng trn quan h r nu v ch nu vi
mi t r, t x = t [X], z = t [Z] ta c Yr(x) Yr(xz), vi Yr(x) = {y: tr, t
[X] = x, t [Y] = y}, Yr(x) Yr(xz) khi v ch khi y Yr(x) th yYr(xz)
sao cho (y,y) v ngc li, [0,1].
c. Khi nim ph thuc a tr m ca H Thun v Trn Thin Thnh
152
~>
Ph thuc hm m X
mi t1, t2 r nu
(X ,Y )
Y ng trn quan h r nu v ch nu vi
(t1 [X ], t 2 [ X ]) X
th tn ti t3 r sao
rP =
153
154
Chng 4
M HNH C S D LIU M
THEO CCH TIP CN I S GIA T
4.1. M hnh biu din CSDL m theo cch tip cn i s gia t
Xt mt lc CSDL trn min v tr U = {A1, A2, , An}. Mi
thuc tnh Ai c gn vi mt min tr thuc tnh, k hiu l Dom(Ai), trong
mt s thuc tnh cho php nhn cc gi tr ngn ng trong lu tr hay
trong cc cu truy vn v c gi l thuc tnh m. Cc thuc tnh cn li
c gi l thuc tnh kinh in. Thuc tnh kinh in Ai c gn vi mt
min gi tr kinh in, k hiu l D A . Thuc tnh m Ai s c gn mt min
i
155
D Ai LD A , vi D Ai l tp cc gi tr kinh in ca Ai, LD A l tp cc gi tr
i
TEN
Bnh
1950
Nhanh
10
1953
Hu
nhiu
rt nhiu
1960
Hng
1975
kh nng t
1954
Thu
1950
Minh
1945
156
157
158
159
sao cho:
. 2 1 (2).
160
161
Nu
D Ai ,
LD Ai
min
max min
th Dom(Ai) ta c f() =
{*(maxLV)}/max
Vi D A = [min, max] l min tr kinh in ca Ai v LD A = [minLV, maxLV]
i
tr, gi, hn tr, hn gi, t gi, rt gi, rt rt tr, 20, 25, 27, 30, 45, 60, 75,
66, 80}. Gi s tnh c (maxLV) = (rt rt gi) = 0.98.
Khi D A ta c f() = {*(maxLV)}/max= (*0.98)/100, hay
i
min
.
max min
162
0.6
t ln
kh nng ln ln
0.72
0.75
0.8
hn ln
0.88
rt ln
0.9
163
Chng minh:
(1) t a = (xk) [0,1]. V (xk) I(xk) nn a I(xk). Vy, theo nh
ngha ta c k(a) = xk , hay k((xk)) = xk.
(2) V a I(xk) v b I(yk) nn theo nh ngha ta c k(a) = xk v
k(b) = yk.
Mc khc theo gi thit xk k yk nn I(xk) I(yk). V a < b nn I(xk) <
I(yk), hay k(a) <k k(b).
4.1.2. Phng php x l gi tr khong
Trong c s d liu m, c nhiu quan h m min tr ca cc thuc
tnh khng phi l gi tr ngn ng, khng phi gi tr s m l gi tr khong,
chng hn nh quan h lu tr nhit st mt cn bnh ca cc bnh nhn
trong mt bnh vin no , quan h thu nhp c nhn trong mt c quan....
i vi loi d liu ny, vic lu tr phc tp nn vic x l d liu loi ny
cng phc tp hn. V vy, trong phn ny, mt phng php x l gi tr
khong gip cho vic thao tc d liu d dng c trnh by. Trc ht, mt
v d c xem xt t phn tch ng ngha ca cc gi tr khong trong
mt quan h.
V d 4.8. Cho lc quan h U = { STT, TEN, TUOI, THUNHAP } v quan
h Thunhapcanhan c xc nh nh sau:
STT
TEN
TUOI
THUNHAP
An
30
2.500.000
Hi
Khong 25
1.500.000
Hng
[25,40]
Khong 3.500.000
Phng
[45,50]
[1.500.00,1.800.000]
Thy
45
Khong 1.000.000
164
TEN
TUOI
THUNHAP
An
[30, 30]
[2.500.000, 2.500.000]
Hi
[23, 27]
[1.500.000, 1.500.000]
Hng
[25, 40]
[3.400.000, 3.600.000]
Phng
[45, 50]
[1.500.00, 1.800.000]
Thy
[45, 45]
[9.00.00, 1.100.000]
Bng 4.3. Quan h Thunhapcanhan (sau khi chuyn i), vi TUOI = 2 v THUNHAP =
100.000
TEN
TUOI
THUNHAP
An
[0.3, 0.3]
[0.36, 0.36]
Hi
[0.23, 0.27]
[0.18, 0.18]
Hng
[0.25, 0.4]
[0.52, 0.56]
Phng
[0.45, 0.50]
[0.18, 0.23]
Thy
[0.45, 0.45]
[0.07, 0.11]
165
Ia
I(x)
Hnh v 4.2. Khi [Ia,Ib] I(x)
Ia
I(x)
I(x1)
I(x)
Ib
I(x1)
166
Ia
Ib
I(x)
I(z)
Hnh v 4.5. Khi [Ia,Ib] I(x) =
V d 4.10. Cho SGT XTuoi= ( XTuoi, GTuoi, HTuoi, ), vi GTuoi = {tr, gi},
H+Tuoi = {rt, hn}, H-Tuoi = {kh nng, t}, rt > hn v t > kh nng. WTuoi =
0.6.
fm(tr) = 0.6, fm(gi) = 0.4, fm(rt) = 0.25, fm(hn) = 0.25, fm(kh nng) =
0.25, fm(t) = 0.25. Ta c fm(rt tr) = 0.15, fm(hn tr) = 0.15, fm(t tr) =
0.15, fm(kh nng tr) = 0.15.
V rt tr < hn tr < tr < kh nng tr < t tr nn I(rt tr) = [0,0.15],
I(hn tr) = [0.15,0.3], I(kh nng tr) = [0.3,0.45], I(t tr) = [0.45,0.6]
Ta c fm(rt gi) = 0.1, fm(hn gi) = 0.1, fm(t gi) = 0.1, fm(kh nng gi) =
0.1.
V t gi < kh nng gi < gi < hn gi < rt gi nn I(t gi) = [0.6,0.7],
I(kh nng gi) = [0.7,0.8], I(hn gi) = [0.8,0.9], I(rt gi) = [0.9,1].
167
168
k(t2[Ai]).
Nh thng thng, nu iu kin t1[Ai] =k t2[Ai] khng xy ra ta c
t1[Ai] k t2[Ai].
Do quan h tng t mc k c xy dng bng mt phn hoch ca
on [0,1], nn c th thy quan h =k l tng ng trn [0,1]. Ngoi ra, ta
cn nhn mnh rng ng thc t1[Ai] =k t2[Ai] c ngha Lk t1[Ai], t2[Ai] Rk,
trong Lk v Rk l hai im mt ca khong k(t1[Ai]) hay k(t2[Ai]). Ngha
l, vic kim chng t1[Ai] =k t2[Ai] c a v vic kim chng cc quan h
i snh kinh in. Hn na, tnh mm do trong thch nghi vi cc ng dng
c th c th t c bng vic iu chnh cc tham s ca nh x nh lng
A . y chnh l u im ni bt ca cch tip cn i s n thng tin m.
i
169
k(t2[Ai]);
(2) Ta vit t1[Ai] < k t2[Ai], nu k(t1[Ai]) < k(t2[Ai]);
(3) Ta vit t1[Ai] > k t2[Ai], nu k(t1[Ai]) > k(t2[Ai]).
Sau y l nh l khng nh h cc khong k(x) l mt phn hoch ca
Dom(Ai) v gi tr nh lng ca x X lun l im trong ca ln cn mc k
ca x.
nh l 4.3. Cho mt SGT tuyn tnh y , tp cc gia t H v H+ c t
nht hai phn t. Khi , h cc khong {k(x): x X } c gi l ln cn
mc k ca min tr ngn ng ca thuc tnh Ai v l mt phn hoch ca
Dom(Ai). Hn na, mi gi tr x ca Ai c duy nht mt ln cn mc k, A (x)
i
170
trong biu din d liu nhm cho php biu din c d liu m. V th, vn
m rng min tr ca thuc tnh, ngoi vic a k hiu vo h thng, vic
quan trong hn l gii quyt vn ng ngha ca cc k hiu.
Nh vy, khi nim ph thuc hm m (fuzzy functional dependencies)
c nhiu tc gi nghin cu pht trin da trn ngha ca khi nim ph
thuc hm c in vi nhiu cch tip cn khc nhau. Tuy nhin, cc cch tip
cn m rng ph thuc hm kinh in ny da vo 2 nguyn tc chnh:
Nguyn tc th nht (m rng k hiu): Nguyn tc m rng ny thay
cho quan h bng nhau trn d liu r bi quan h gn nhau hoc quan h
tng t trn d liu m v t ngng xc nh gn nhau.
Nguyn tc th hai (m rng ng ngha): Nguyn tc ny da vo
ngha ca cc ph thuc d liu xy dng nh ngha tng ng cho m
hnh mi sao cho bo ton mt s kt qu quan trng c xy dng trong
m hnh quan h.
V d 4.11. Vi cch tip cn m rng ng ngha, mt ph thuc hm m
X~>Y tho trn quan h r khi v ch khi gn nhau ca d liu ca cc b
trn tp thuc tnh X ko theo gn nhau ca cc b trn tp thuc tnh Y.
Do , php ko theo m ng vai tr quan trng trong cch tip cn ny.
Vi m hnh CSDL m c xy dng trong mc 4.1, mt s dng ph
thuc d liu m trong m hnh ny s c xut.
Xt CSDL m {U; R1, R2 , Rn, Const}, trong U = {A1, A2, , An}
l tp v tr cc thuc tnh, const l tp cc rng buc d liu. Mt khi ng
ngha ca CSDL c m rng, nh cho php lu tr trong CSDL cc thng
tin khng chc chn hay cho php cc cu truy vn cha cc thng tin nh
vy, khi ng ngha ca cc ph thuc d liu cng thay i, ngha l phi
m rng nh ngha cc dng ph thuc d liu.
Trong thc t, chng ta thng gp cc tri thc dng nh Nu mt tp
th T1 v T2 lao ng chm ch nh nhau v Tnh k lut lao ng l tt th
Thu nhp ca tp th T1 v T2 cao nh nhau. y ta khng nhn nhn mi
quan h trn nh l mt lut ca mt c s tri thc no m xem nh l mi
quan h gia cc thuc tnh trong CSDL vi thuc tnh S ngy lm vic trong
thng, Tnh k lut lao ng v Thu nhp. Hoc trong mt trng hp khc
Nu mt tp th T1 v T2 lao ng khng chm ch v Tnh k lut km ging
171
172
(kh nng) = 0.15, (t) = 0.25, (hn) = 0.25 v (rt) = 0.35. Ta phn
hoch on [0, 100] thnh 5 khong tng t mc 1 l: fm(rt cao) 100 =
0.35 0.6 100 = 21. Vy S(1) 100 = (79, 100];
(fm(kh nng cao) + fm(hn cao)) 100 = (0.25 0.6 + 0.15 0.6)
100 = 24 v S(cao)) 100 = (55, 79];
(fm(t thp) + fm(t cao)) 100 = (0.25 0.6 + 0.25 0.4) 100 = 25
v S(W) 100 = (30, 55];
(fm(kh nng thp) + fm(hn thp)) 100 = (0.25 0.4 + 0.15 0.4)
100 = 16 v S(thp) 100 = (14, 30], S(0) 100 = [0, 14].
Quan h Chamcong trong v d ny c cho bng 4.5
MASO
TENCN
SONLV
THUNHAP
N1
An
27
90
N2
Cng
17
25
N3
28
94
N4
Hng
cao
cao
N5
Lan
24
72
N6
Kin
cao
cao
N7
Thanh
20
thp
N8
Thy
21
29
N9
Yn
thp
11
173
174
175
176
177
178
TEN
HESO
THAMNIEN
LUONG
Thanh
3.5
20
300
Loan
3.7
25
cao
Hng
4.5
36
450
4.3
37
470
Thy
2.5
thp
thp
Nht
1.9
thp
185
Cng
3.0
27
350
Thng
3.1
28
cao
Min
2.8
22
310
179
: X ~> kQ X FQ*k
4.3. Ph thuc n iu
Trong cuc sng hng ngy, chng ta thng gp cc iu kin dng
nh nu mt tp th T1 lao ng chm ch (s ngy lm vic trong mt thng
l nhiu) hn tp th T2 th Nng sut ca tp th T1 cao hn tp th T2. Nh
vy, gia cc thuc tnh S ngy lm vic trong thng, Tnh k lut lao ng
180
181
Anh
350
10050000
G2
Hiu
450
13500000
G3
Nhn
600
18000000
G4
Giang
300
9000000
G5
Hi
370
11200000
G6
360
10800000
G7
Thanh
500
15000000
G8
Thin
650
19000000
G9
Nhn
700
20000000
t1[SOTIETGIANG]
t2[SOTIETGIANG]
t1[VUOTGIO]
t2[VUOTGIO].
Gi FA l h cc ph thuc n iu tng trn lc quan h U. Ta k hiu
Y m c suy din t
X FA*
Y FA* XZ
Y FA*, Y
YZ FA*, vi Z U
Z FA* X
Z FA* .
Chng minh:
(1) : Phn x: Hin nhin v t1, t2 r, t1[X] t2[X] t1[X] t2[X]. Vy X
X FA*.
182
YZ
FA*.
(3) : Theo gi thit X
Y FA*, Y
Z FA*.
TENHS
SOGIAY
DIEMTHI
001
Thy
16
002
Bnh
18
003
Minh
17
004
Nht
15
005
Thng
19
006
Huyn
18
007
Thun
14
10
008
Thnh
16
009
Hng
20
183
Y m c suy
din t FD.
nh l 4.7. Trong CSDL vi tp v tr cc thuc tnh U, h FD* tha mn
cc tin sau:
(1) Phn x: X
(2) Gia tng: X
X FD*
Y FD* XZ
(3) Hn hp bc cu: X
YZ FD*, Z U
Y FD*, Y
Z FA* X
FD*.
Chng minh: (1) Phn x: Hin nhin v vi t1, t2 r, t1[X] t2[X] t1[X]
t2[X]. Vy X
X FD*.
YZ FD*.
Y FD* v Y
Z FA* nn theo nh
FD*.
H qu 4.3. T nh l 4.7 ta c cc h qu sau:
(4) Hn hp bc cu 1: X
Y FA*, Y
184
Z FD* X
Z FD*
(5) Hn hp bc cu 2: X
Y FD*, Y
Z FD* X
Z FA*.
TENCN
SONLV
THUNHAP (USD)
N1
Anh
27
90
N2
nh
Cao
cao
N3
Lan
28
94
N4
Hng
20
52
N5
Hng
22
53
N6
Hng
22
54
N7
Thy
thp
10
N8
Thanh
21
52
N9
Hin
12
thp
185
(a). i vi thuc tnh SONLV: fm(cao) = 0.35, fm(thp) = 0.65, (kh nng)
= 0.25, (t) = 0.2, (hn) = 0.15 v (rt) = 0.4. Ta phn hoch on [0, 30]
thnh 5 khong tng t mc 1 l: fm(rt cao) 30 = 0.35 0.35 30 =
3.675. Vy S(1) 30 = (26.325, 30];
(fm(kh nng cao) + fm(hn cao)) 30 = (0.25 0.35 + 0.15 0.35)
30 = 4.2 v S(cao) 30 = (22.125, 26.325];
(fm(t thp) + fm(t cao)) 30 = (0.25 0.65 + 0.25 0.35) 30 = 7.5
v S(W) 30 = (14.625, 22.125];
(fm(kh nng thp) + fm(hn thp)) 30 = (0.25 0.65 + 0.15 0.65)
30 = 7.8 v S(thp) 30 = (6.825, 14.625], S(0) 30 = [0, 6.825].
(b). i vi thuc tnh THUNHAP: fm(cao) = 0.6, fm(thp) = 0.4, (kh
nng) = 0.15, (t) = 0.25, (hn) = 0.25 v (rt) = 0.35. Ta phn hoch
on [0, 100] thnh 5 khong tng t mc 1 l: fm(rt cao) 100 = 0.35
0.6 100 = 21. Vy S(1) 100 = (79, 100];
(fm(kh nng cao) + fm(hn cao)) 100 = (0.25 0.6 + 0.15 0.6)
100 = 24 v S(cao) 100 = (55, 79];
(fm(t thp) + fm(t cao)) 100 = (0.25 0.6 + 0.25 0.4) 100 = 25
v S(W) 100 = (30, 55];
(fm(kh nng thp) + fm(hn thp)) 100 = (0.25 0.4 + 0.15 0.4)
100 = 16 v S(thp) 100 = (14, 30], S(0) 100 = [0, 14].
Chng ta c th thy ph thuc n iu tng SONLV
~ >1
186
NAM DOANHTHU
LOINHUAN
Thng Long
2006
rt thp
135
Thun Thnh
2006
872
140
Trng Tin
2007
1275
170
Cu Giy
2007
kh thp
t thp
ng a
2007
1990
260
Du kh
2006
kh cao
kh cao
H Long
2007
2575
375
2005
rt cao
rt cao
Hng Giang
2005
2950
490
187
188
~>2
LOINHUAN .
Gi FAk l h cc ph thuc n iu tng mc k trn lc quan h
+
189
t2[X].
Vy X ~ > k X FA*k.
+
t2[XZ] t1[YZ]
t2[YZ]. Vy XZ
~ > k YZ FA*k.
+
FA*k.
4.3.2.2. Ph thuc n iu gim mc k: Vi X U v r l mt quan h xc
nh trn U, t1 v t2 l hai b thuc r, ta vit t1[X] k t2[X], nu vi mi A X,
ta c t1[A] k t2[A].
nh ngha 4.13. Cho U l mt lc quan h, r l mt quan h xc nh
trn U, xt X, Y U. Ta ni rng quan h r tha mn ph thuc n iu gim
190
TENCN
SN_NGHILV
THUNHAP
N1
Anh
78
N2
nh
75
N3
Lan
Cao
N4
Hng
thp
52
N5
Hng
53
N6
Hng
54
N7
Thy
cao
10
N8
Thanh
52
N9
Hin
18
thp
~ >1
t2[SN_NGHILV] t1[THUNHAP]
~ >1
191
FD*k.
Chng minh: (1): Phn x: Hin nhin v vi t1, t2 r, t1[X] k t2[X] t1[X]
~ > k YZ FD*k.
X ~ > k Z FD*k.
H qu 4.4. T nh l 4.9 ta c cc h qu sau:
+
FD*k
FA*k.
192
193
for each t r do
(3)
if t[Ai] DAi then t[Ai] = k(f(t[Ai]))
// Xy dng cc Pk da vo di cc t.
(4)
k=1
(5)
(6)
while k p do
begin
(7)
Pk =
(8)
for each t r do
if |t[Ai]| = k then Pk = Pk {I(t[Ai])}
(9)
(10)
(11)
k=k+1
end
194
begin
k=p
while k > 0 do
begin
for each k Pk do
(17)
(18)
begin
if (I(t[Ai])k and I(fvalue)k ) then (t[Ai]=k
(19)
(20)
(21)
(22)
(23)
(24)
fvalue) = 1
exit
end
k = k-1
end
end
while k p do
begin
for each k Pk do
begin
(32)
Case of
(33)
fvalue) = 1
(34)
(35)
(36)
(37)
(38)
(39)
exit
end;
end
k=k+1
195
(40)
end
(41)
end
(42) End.
Trong trng hp a iu kin m vi php ton , khng mt tnh tng qut,
gi s iu kin m c dng Ai fvaluei Aj 1 fvaluej, vi fvaluei, fvaluej l
gi tr m, Ai, Aj l thuc tnh m c tnh n iu; , 1 {=k, k, <k, >k} v
l php ton and hoc or. Mun xc nh gi tr chn l trong trng hp
ny, trc ht cc iu kin Ai fvaluei v Aj 1 fvaluej c xc nh da
vo Thut ton 4.1, tip theo tu thuc vo l php ton and hay or kt
hp cc gi tr chn l va xc nh. Do , Thut ton xc nh gi tr chn
l ca a iu kin m c trnh by chi tit :
Thut ton 4.2. Xc nh gi tr chn l ca a iu kin m vi php ton
Vo : Cho r l mt quan h xc nh trn v tr cc thuc tnh U = {A1,
A2,, An}.
iu kin Ai fvaluei Aj 1 fvaluej.
Ra : Vi mi tr tho mn iu kin (t[Ai] fvaluei t[Aj] 1 fvaluej).
Phng php
(1) Begin
(2)
(3)
for each t r do
begin
(4)
(5)
(6)
end
// Xy dng cc PA k v PA k da vo di cc t.
i
(7)
k=1
(8)
while k p do
(9)
begin
(10)
PAi = ; PA j =
(11)
for each t r do
(12)
begin
196
(13)
(14)
(15)
(16)
(17)
end
k=k+1
end
(20)
(21)
Ra
(Ai)
fvalue.
Phng php
// Khi to cc gi tr.
(1) Begin
(2)
Cho GAi = { 0, c-Ai, W, c+Ai, 1}, HAi = HAi+ HAi-. Trong HAi+ = {h1,
h2}, HAi- = {h3, h4}, vi h1 < h2 v h3 > h4. Chn o tnh m cho
cc phn t sinh v gia t.
(3)
tr Ai.
+
(4)
LD Ai = HAi (c ) HAi (c ).
(5)
rresult = .
197
(6) k = 1
(7) While k p do
// mc tng t ln nht k = p
(8)
begin
(9)
Xy dng cc khong tng t mc k : SAi(x1), SAi(x2), ,
SAi(xm)
(10)
k=k+1
(11)
end
// Xc nh ln cn mc k ca fvalue
(12)
for each t r do
if t[Ai] LD A then Xc nh ln cn mc k ca t[Ai] l k(t[Ai])
i
= S(xj)
(15)
(16)
(17)
for each t r do
if l php =k then
begin
(18)
(19)
elseif
(20)
(21)
(22)
(23)
end
else // trng hp { k, <k, >k}
begin
Case of
(24)
(25)
(26)
(27)
end
(28) return rresult
(29) End.
Trong trng hp a iu kin m, mun xc nh gi tr chn l trc ht cc
iu kin Ai (Ai) fvaluei v Aj 1(Aj) fvaluej c xc nh da vo Thut ton
198
(Ai)
fvaluei
Cho GAi = { 0, c-Ai, W, c+Ai, 1}, HAi = HAi+ HAi-. Trong HAi+ = {h1,
h2}, HAi- = {h3, h4}, vi h1 < h2 v h3 > h4. Chn o tnh m cho
cc phn t sinh v gia t.
(3)
Cho GAj = { 0, c-Aj, W, c+Aj, 1}, HAj = HAj+ HAj-. Trong HAj+ = {h1,
h2}, HAj- = {h3, h4}, vi h1 < h2 v h3 > h4. Chn o tnh m cho
cc phn t sinh v gia t.
(4)
tr Ai.
(5)
tr Aj.
(6)
(7)
(8)
rresult = .
(9) k = 1
(10) While k p do
(11)
begin
(12)
Xy dng cc khong tng t mc k: SAi(x1), SAi(x2), ,
SAi(xm)
(13)
Xy dng cc khong tng t mc k: SAi(y1), SAi(y2), ,
199
SAi(ym)
(14)
k=k+1
(15)
end
// Xc nh ln cn mc k ca fvaluei v fvaluej
(16)
(17)
for each t r do
if {( t[Ai] (Ai) fvaluei) = 1} and {(t[Aj] 1(Aj) fvaluej) = 1} then
rresult = rresult t
200
HOTEN
SUCKHOE
TUOI
LUONG
11111
Phm Trng Cu
rt rt tt
31
2.800.000
22222
Nguyn Vn T
rt tt
85
cao
33333
Trn Tin
xu
32
2.000.000
44444
V Hong
kh xu
45
500.000
55555
An Thuyn
rt xu
41
rt cao
66666
Thun Yn
c th xu
61
thp
77777
Vn Cao
kh tt
59
t cao
88888
Thanh Tng
c th tt
75
2.500.000
99999
Nguyn Cng
t tt
25
kh thp
201
Wluong = 0.6, fm(thp) = 0.6, fm(cao) = 0.4, fm(rt) = 0.25, fm(kh) = 0.25,
fm(kh nng) = 0.25, fm(t) = 0.25.
Ta c fm(rt thp) = 0.15, fm(hn thp) = 0.15, fm(t thp) = 0.15, fm(kh
nng thp) = 0.15. V rt thp < hn thp < thp < kh nng thp < t thp
nn I(rt thp) = [0,0.15], I(hn thp) = [0.15,0.3], I(kh nng thp) =
[0.3,0.45], I(t thp) = [0.45,0.6].
Ta c fm(rt cao) = 0.1, fm(kh cao) = 0.1, fm(t cao) = 0.1, fm(kh
nng cao) = 0.1. V t cao < kh nng cao < cao < hn cao < rt cao nn I(t
cao) = [0.6,0.7], I(kh nng cao) = [0.7,0.8], I(hn cao) = [0.8,0.9], I(rt cao)
= [0.9,1].
Nu chn 2 = rt rt cao Xluong v 1=3.000.000, ta c (rt rt
cao) = 0.985, khi f(2.800.000) = 0.92 v f(2.000.000) = 0.65 nn
2(0.92) = rt cao v 2(0.65) = t cao.
Xc nh iu kin (LUONG =1 cao) = 1. V (rt cao) I(cao) v
HOTEN
SUCKHOE TUOI
LUONG
rt rt tt
31
2.800.000
xu
32
2.000.000
TENNV
NGHENGHIEP
TUOI
LUONG
An
Gio vin
45
rt cao
Bnh
K s
33
1100
Bc s
rt kh nng
tr
500
Hng
Y s
36
700
Nhn
Gio vin
46
1500
202
Thu
Kin trc s
26
kh nng
cao
Thnh
Y t
tr
750
Xun
Th k
21
thp
Yn
K thut vin
t gi
1125
203
0.25 0.20 0.65) 100 = 5.2 v S(t tr) 100 = (57.2, 62.4]. Tng t,
chng ta tnh c S(W), S(t gi), S(kh nng gi), S(hn gi), S(rt gi),
S(1).
Nh vy, cc khong tng t mc 2 l: S(0), S(rt tr), S(hn tr),
S(kh nng tr), S(t tr), S(W), S(t gi), S(kh nng gi), S(hn gi), S(rt
gi), S(1).
Bc (12): Xc nh ln cn mc 2 ca kh nng tr. Ta c kh nng tr
S(kh nng tr) nn ln cn mc 2 ca kh nng tr l 2(kh nng tr) =
S(kh nng tr) = (42.25, 48.75].
Bc (13)-(27): Ta thy trong quan h Nhanvien, t1[TUOI] 2(kh nng
tr), t5[TUOI] 2(kh nng tr) v 2(t3[TUOI]) = 2(rt kh nng tr) =
2(kh nng tr).
Bc (28): Vy rresult = {t1, t3, t5}.
Hay cu truy vn SQL m select * from Nhanvien where TUOI =
nng tr cho kt qu sau :
STT
TENNV
NGHENGHIEP
An
Gio vin
Bc s
Nhn
Gio vin
2(TUOI)
TUOI
LUONG
45
rt cao
rt kh nng
tr
500
46
1500
kh
Bng 4.15. Kt qu truy vn trn quan h Nhanvien s dng thut ton 4.3
HLUONG
204
205
TENNV
H
NGHENGHIEP
Bc s
TUOI
LUONG
rt kh nng
tr
500
Bng 4.16. Kt qu truy vn trn quan h Nhanvien s dng thut ton 4.4
206
QUEQUAN
DIEMK1
DIEMK2
An
Hu
Bnh
H Ni
10
Lan
QTr
Nhn
Hu
Hng
Nng
207
QUEQUAN
DIEMK1
DIEMK2
An
Hu
Bnh
H Ni
10
Lan
QTr
Nhn
Hu
Hng
Nng
208
209
rresult =
(4)
(5)
if vi mi i[1..n] sao cho tho mn fci then rresult = rresult
(6)
Count1 = ||rresult||
(7)
if Q l lng t tuyt i then
(8)
if ABQ(count1) = 1 then select * from rresult
(9)
if Q l lng t t l then
(10)
if PRQ(count1) = 1 then select * from rresult
(11) End.
V d 4.25. S dng quan h Luongtuoi thc hin cu truy vn s dng lng
t: Hy cho bit t nht 2 c nhn c sc khe tt v lng cao (trong v d
ny chn k =1). Cu lnh truy vn c dng select * from Luongtuoi where t
nht 2 (SUCKHOE = tt, LUONG = cao) with 1.
Xem min tr ca SUCKHOE v LUONG l SGT nh trong v d
4.20 v p dng thut ton 4.1 ta c quan h Result nh sau:
SOCM
HOTEN
SUCKHOE TUOI
11111
Phm Trng Cu
rt rt tt
31
2.800.000
22222
Nguyn Vn T
rt tt
85
cao
88888
Thanh Tng
c th tt
75
2.500.000
210
LUONG
HOTEN
SUCKHOE
TUOI LUONG
44444 V Hong
Kh xu
45
500.000
66666 Thun Yn
C th xu
61
Thp
211
rresultQ =
(3)
S dng thut ton 4.3 trong trng hp n iu kin v thut ton 4.4
trong trng hp a iu kin ta c kt qu l quan h rresult.
(4)
if Q QABS then
(5)
(6)
(7)
if Q QPRO then
(8)
(9)
(10)
begin
Xy dng cc khong: S(1), S(ln), S(W), S(nh), S(0)
Case Q of
(11)
Mt t
(12)
(13)
(14)
(15)
Hu ht
Vi mi
end
212
TENNV
NGHENGHIEP
An
Gio vin
Bc s
Nhn
Gio vin
TUOI
LUONG
45
rt cao
rt kh nng
tr
500
46
1500
Bng 4.21. Kt qu truy vn (i) trn quan h Nhanvien cha s dng lng t
213
STT
TENNV
NGHENGHIEP
TUOI
LUONG
An
Gio vin
45
rt cao
Nhn
Gio vin
46
1500
Bng 4.22. Kt qu truy vn (ii) trn quan h Nhanvien cha s dng lng t
214
[2]
[3]
[4]
[5]
[6]
[7]
[8]
[9]
[10]
215
[11]
[12]
[13]
[14]
[15]
216