47 VKem (Có) = (3/3,0/3) = (1,0)
VKem (Không) = (3/5,2/5)



 


i là :
Tên
Ch.Cao
Cân

Dùng
kem?

Sarah
T.Bình

Không
Cháy
Dana
Cao
T.Bình
Có
Không
Annie



49

Chương 6: Logic mờ và lập luận xấp xỉ
6.1. Biểu diễn tri thức bằng LOGIC VỊ TỪ.



F={p(t
1
,t
2

n


t
i
 




p

(Do ng s d)
Tri th v l
v chuyên môn
(Do chuyên gia)
Cung c qua
phiên h
Có qua phiên
thu n tri th
50

 




Bi di:
-V trí :vt(L,S,D,B)
-An toàn: at(L,S,D,B)
-V trí xu phát,  : ql(1, 2)
Ta có mô t nh sau:
1. vt(b,b,b,b)
2. dd(b,n)
3. dd(n,b)
4. vt(LD,S,D,B)

dd 


: +
+odus Tollens)
Sói Dê B c B b

Lái 

B nam
51

1. membership( x
1
, [x
1
:-] )


8. :- {3/x} (7,1) nên x=3
9. : mb(x,[]) (7,2)
10. fail (9,1)
11. fail (9,2)

p
qp 

p
qp 



:p
p:q
q q q:- Rule Clause Prolog rule
52

6.4. Biểu diễn tri thức bằng logic mờ và suy diễn
6.4.1


A

P
B

A

B
P
A

P
B

A \B
P
A

P
B

A =B
P
A

P
B


 



A
~
53

)(
~
x
A



(0,25)


(26,32)


(33,38)


(39,45)

6.4



xA /


 )(x
A

+) 0 
A




U
1
a
b
c
54

+)



A
~
= (a, b, c, d)

A
~

A
~





A

và
B


 1).
BA
~
~




C

2).
CBA
~
~
~


)()( xx
BAC

min (
)();(
A
xx
B

) .

A
~


nhau:
)()(:
~
~
xxxBA
BABA




1. Tính giao hoán
ABBA
ABBA
~
~~
~
~
~~
~





)C
~
)B
~
(A
~


A
~
A
~
A
~


4.
A
~
A
~
)B
~
A
~
( 

56 A
~
A
~
)B
~
A

()C
~
B
~
(A
~





~~
A
~
u
~
u
~
A
~


7.
u
~
~


~
Ví dụ :
0.4)} (d, 0.3), (c, 0.2), (b, 0.1), {(a,A
~0.6)} (d, 0.7), (c, 0.8), (b, 0.9), {(a,A
~0.6)} (d, 0.7), (c, 0.8), (b, 0.9), (a, 0.4), (d, 0.3), (c, 0.2), (b, 0.1, (a, { A 
~
A
~

Nhận xét : - L. Zadel (max, min, 1-)


-
))x(),x((s)x(
BABA





Hàm s là t  conorm :






00
1
),x(t
x),x(t

Ví dụ : s(x, y) = x + y - xy