Tiểu luận môn Công nghệ tri thức và ứng dụng BIỂU DIỄN TRI THỨC BẰNG LUẬT SINH

Bài thu hoạch: Công nghệ tri thức và ứng dụng
Mục lục
 
Bài thu hoạch: Công nghệ tri thức và ứng dụng
LỜI NÓI ĐẦU
 !"#$%&'
(')*+,!"-*)."/0(1/232-#,)(4"5*
."6!"%748.9(4(:"2-#,
;%<0(=">*?)*/@
31?>A&*"B"+(:"!C(),"""D+
"28*$8."?=>"?<*>A
E"#C""-#F""5*,/,+"<*
*?)#$%&"6(G=.)4-*
(,>H,I/2)4>)"J"KD#""
).",/,+"<*%
Xin chân thành cảm ơn thầy Hoàng Kiếm, đã truyền đạt kiến thức chuyên sâu về
cơ sở tri thức, trí tuệ nhân tạo. Nhờ đó mà em đã hoàn thành được bài thu hoạch này.
Đồng thời cũng xin cảm ơn bạn bè, đồng nghiệp đã hỗ trợ tôi trong suốt thời gian làm
bài thu hoạch.
 L
Bài thu hoạch: Công nghệ tri thức và ứng dụng
M% BIỂU DIỄN TRI THỨC BẰNG LUẬT SINH
% Bài toán đong nước
<LDNO)P"'$"G:Q
R 
)Q
#
%ST#
KLD#((*U8=">('UVWXQ
R
>Q

#
Y%
E#/H>?(:"K(Z*"[(\
"5*2-#,)(4];"""#*!"
"#$%&,^C_?"`*"a2(:"
J?:"C"5*#%"8>4?/=H,"
)=#"+/_H'"'(:"2""b
-6#$%E#c(:"2-#,;""^C""
dRXY%
Q=?:"C"5*Q
R
WeXDeY)Q
#
WfXDfY)
gWh%i*?*$>*"'c(**-#D(b="(
j
] 
] 
] 
]  !
] 
] 
] "#$!%
#>)=J.DQ
R
)Q
#
/">D*2k#+lm
(G(n*-#D(b="%<!,>N?:c"'""
(b="/"*%&)#>,"'*('#"G*(**

""b-D"8*"Bc``>m?:(T,
="""2I!"F^*n6(9#%
QD"*n*(:"-#F""C>*co".""
*"k"2$l((G#D>`D#*D/*>
(b,="D*A)m*)m*p$RI""#"'
((,/,-2*#/_%i*4G8."'*c`*
J/.k/Df(G#="De"*(G#DT#(b'
*De"(,/De(G#l%%)%)%%
Q#D**/_^k#4l/.#"#
$)("#$k#+ln""*"""`*qr4#
"':>)8#$"'/23k#+l0"`*%&,
 s
Bài thu hoạch: Công nghệ tri thức và ứng dụng
k/.l"`*"""#$/_`"`*n(:"
?2>"`*c*#,';/./")H,C"(
#$n/,?2%
E(:"""D!"*j
] _$b->_"'2^;&
'
(&

%
] tZ:=""!*DORXuVWRVWQRY
] tZ:=""!*DP#XuVW#VWQ#Y
&)#>(4/./,`""5*cj
RWgv"#Wg
r4/.(G"5*jRWu)#Wu
&?*(T"!(:";>(=""a"'?2/J
=""G(J"5*="J"="5*$"LDj)*
'+, /0&

'
1&

2X)=#Y%
o",>`"(G(2?:b-"5*#>?*
(TK(,eX/.Y/"*%i*#>?*(T`Z
"a"+s(:"_2*j
0.32/445
0.62/789$75
0.:2/7;89$4;< 7
!404=725
wD2(:"o".;""R[G:""*>
x*TDc(:"C%i*/C9>"5*c
*#(b>*H,C"R[""/,H,>,,>-*#6(G
H%wDH, "(,/((:"(4/./,`""5*%
&)#>"""8""k/.l*#!"*(T"#
*"#$%
*"' "#(b""2#"D*j

 h
Bài thu hoạch: Công nghệ tri thức và ứng dụng

  !
"#
$%

&
$&%



$&
"#
'(%

)*
+,
),
 
 

^k"#l"D)=J."Cj
%

-*%

./0
"123*
40

*.
4-

-*5
45

*5
4-

5*
40


5*.
4-

-*0
 e
Bài thu hoạch: Công nghệ tri thức và ứng dụng
E*"`*(T"(v"D(:"Z"6
!"%<+""!"n/,?2;""#.Gom)
C'(:"Z("# %S*#c(:"(1y*
"8R"6"JG#%
<"2-#,)(4I/#/")=""2;
_?"`*/_(**Do2-#,)(4"C
"a(**""-#F"""X=""Y>#$c
o*)('XC""Y(R9#o-#D2-#,)(4%r4
#"BJ).""`*2;""(**""(1z>-#F"
-*(,/_"G"a*""2"C%
Q#D(`)1;6(q<'"2#;*)d(*K
!"k"!lX)D""!")d"""9.M{(:""|"
DY%o"*D"D"5*"`*(Tk4l"`%r}
>*T#-*2/,H,"5*"D#%
$67&! '&#8"!!
"#
79!$
5 '%


0 '
- '
 

 
:8!7 68&;1;&#8"!!
"#
79!$
5
0%


-"#
'(%

)*
+,
),
 
 
 
7!9&9!<6&-
"#
  !
"#
 ~
Bài thu hoạch: Công nghệ tri thức và ứng dụng
$!85&!9!<6& !
$ '&&;1;
 
 =
r"D"8"B;""G:R[-*sM{
"D(GH%#>6(9#>!"(4/.(:"*#,
; ')""(!)=(4/.(T(:"*#,;5

C"&;1;%8"k4l"5*"D#.6"N>,
Jbk!"l>*"a2(4"a"" ')&;1;
/_"G2^*"D"8%
E9#?T#2^;*(T"')5C"(v".*j
$67&!#1&>"? '9>"!!
:8!7 68&;@A&;1&1@9>
S#1&>"?)"N(4/.>'c9$""N>$
•2*1E€€•‚&"5*!"#%Q8Cjt*EI*Xƒ~Vf„Yh
2*{‚i•%
5C"&;@A"B)"N>"Bc9$""N•H,
o".((:"2"N#%
Q=)5C"#>"D"5*"`*c*j
7!9&9!<6&-
&B:
1 87!8
'9>
&;1;9>
 
9188BC5==9!<6&D!$1
%8
71@1 91
:8!7 68'; 
"#
71@1C5D= 'E%

F
71@1C5D= 'E%

F
71@1C5D= 'E%


F
71@1C5D=&;1&1@EF
71@1C5D=&;1&1@E%

F
71@1C5D=&;1&1@E,(%

)**+,*),F
 f
Bài thu hoạch: Công nghệ tri thức và ứng dụng
 
"#
  !
"#
$!85&!9!<6& !
$#1&>"?A171@1CD= '
&&;@A71@1CD=&;1&1@
 
 =
<!";>-D"D>*"' 
*#(bJG^2<*"*X""_D*#Q*<…
…>†I(4"[(4#Y%Q)#>)="D#>/J
^*(bk!"l>*"a"G*#(b1271@1R%
#>?^C)dv/'/3/Jbv".
"a!"%SZ"G2"""N(ƒRWu„v"ƒ/WXQ
R
]
R>#Y„A<""N#)d"+/R*(J)=?KD?
X#'"'zy*(J)="DY%<`*"G22=k/2

""l#;""(**"N(4/.v"*""'zy*
o"H,(J)=?K%<Dc"'"#(b""(4/.)
*"#*K:)="D%
r(:"(4>"`*"G2./(:""")*
""2"5*#%i*(9#J)*""2%
] "2jEDO(G#‡EDON‡EDO/_N‡EDO"'
8="%
] *"jrb,="D‡rb(G#="D>rb="m
D‚*DE"=/E(G#v"‚N%
z;*/_"'*"krb8="m‚*El)8(T2
(1;""D(4/_"')""*>*,*,""(b8
="m‚*ED?26-(2%
Q8(9#(2*"' #;>""
"2)*""0"'D/")=""(4/."`*(T
(**%
,H,>*c),""("D"[?K)""
X,ADAY(:"Dm"")(4/."2
#>)o"."D#$"'R^z(:"6)8C%
 ˆ
DỮ LIỆU
THUẬT TOÁN ĐỘNG CƠ SUY DIỄN
DỮ LIỆU CƠ SỞ TRI THỨC
NGƯỜI DÙNG
HỆ THỐNG GIAO TIẾP NGƯỜI DÙNG
HỆ THỐNG THU NHẬN VÀ TỐI ƯU TRI THỨC ĐỘNG CƠ SUY DIỄN
CƠ SỞ TRI THỨC
Bài thu hoạch: Công nghệ tri thức và ứng dụng
&)#>)="D#4J(:""mLk".l"2
.)>"D8.9(:""mL
G"6!"X/‰II*IY)("# XŠII"IIIY%

] <6!"j:""!"-*(,)(4"
D-*92-#,%
] r"# j)C!""6!"
(2-#,)(4%
&,R[I-*. !")m*26Dj
] <6!""a.(v".>)
] r"# "a"5*(v"._%
#)#>"'';>"6!""K)=("# 
="H,'*="5*.)"5*"D%*"'D
("# J("b-(:""p'*
"'K()4RI#/"*)"6!""8
.(v".()("#%SD2*'F"
#"`"""5*"D8.9%
 ‹
Bài thu hoạch: Công nghệ tri thức và ứng dụng
<6!""Bv2)(4o"6.>
('joKF>m*>9d%R9#o"6!"#,J
#"G(:""`z(,%&)#>")(4 !">*"+
2(4*""(x!"KF>m*v"9
d%&*"#c(:"o".-D!"
).J)(:"(4"(,Gn)4""%
L% Khái niệm luật sinh
 !";(:"6&I‰I
)i`"*_(*"JFR9#o.2b
-%r9#/ !""'"`"%Œ6"2!"
"'(:""`";"v(4/.•(jk&Ž•(4/.R2#
*S•(c(:"l%
8Cj
/>+?;$@AB;CD
/>+EFG<EHE$;HICABJEKL5

S.*#>""(T6b,)(:"CNT
4.J8.9/"*%"'"_"C_2(
2-#,)(4o",*#"""/9$")(4#4J%
?:#>""(:"K"""adX#"'/_
"aY8"(:`"""-#,(1-Dn
/,>m('2/_*n/,%‘)8C/""'
(:"K(F"=")"5*"#*%I""#>
/_"a(G/ !"#$
/ "")"5*"?%
&)#>"`"!"K(/,_H(T,)=""
_H/"`(**""#>/,m_H(T,%
.Jo*"">?*""!"y)o""5*""
"#*)"6!"%S.JK""#"K)=
 u
Bài thu hoạch: Công nghệ tri thức và ứng dụng
""_H=(2%Q."^C"".
J(R^z_H(:"-2z;# %
‘""b->"'*j
:
5
G:
0
GG:



H
K#)"")(4(*-*9"'y**#"
/"*j
] ")1mj


’
L
’A’

>w!""%
] _D>N"9.%
$:
5
 :
0
  :

&H=
r >?2"a}LG"8*j
XY &4I@@JK,L$$1@J
$MN
5
*N
0
**N

O
XLY &4I@@PQ@88?AJIR>S@@JK,LT;UJ1
N
5
GN
0
GGN




P
('>""Š

>-(4"{%
Q8Cj<"6!"(:"R"(1*j
+7@JK,L*"*7* **$*#**'
+&4I@@PQ@;1?4J;>?A
85


80"


8-


8.G#

7
8VG'

"
8W GG'

7
8X#G'G$



s% Cơ chế suy luận trên các luật sinh
i# H,j-D#RmJo/.*(G>R"
(1""o/."'(:"kl*m""o/.#%
io/.*(GjS>
8-

 M**'O
85

 M***'O
8VG'

" M*"***'O
80"

 M*"* ***'O
8W GG'

7 M*"*7* ***'O
i# Kj-D#:"RmJo/.*
(G>*n/,""o/.(Tkl*o/.#%‘)8C?v
 
_^C(:"#$
“"!x <Dkxl
r.)#k"'l D(.Dk"=(xl
”*b"!k/_lr•b"!kFl
€7
‚&† ‚&†
€7
Bài thu hoạch: Công nghệ tri thức và ứng dụng

o",Rm""n"5*#$>"p(RI#
$(T1x'"6(9%
Q8Cj
""o/.j
…“"!kxl*#k(D?l
…SxD
…x"D
…D(•b"!kFlv"kl
…<'9*(Z"b"!
…D(•DkR*lv"k"=(xl
…_^C(:"#$
…r.)#$k"'l*#k/_l
""j
85YZ@[\;]^;_@@I(;`;\?]^;`,;aJbR
2Uc@(d;=
80Y2L/(?\@e^/f(;1;2g@Z@[?\,;a^
;_@h;>T2iZ@[?\Q^;`Z@[\;]^
8-Y2L/(?\@e^/h;>T2i(;`;?\@;jI2]^
;`@I(;`;\?]^
rR"(1(:"""#99#*o/.k/_^C(:"#
$l>*2R9#o"`"(•1>Z(•1‚&†–€7*j
 L
Bài thu hoạch: Công nghệ tri thức và ứng dụng
&)#(R"(1(:"#99#*x'"b"!x
*#"Dx>.J2G:()""(/*""
(4/.(.)#k"'l>9*b"!k/_lA=",
1"GR"(1/_(:"#*m>.Jc#
"G?Ko"H,)%<0(,#$"'(.
/_>.Jc.*D"9xkE/*RI"'(.)#
$/_X/*(••YqX<–Yl%ro".(:""",# K>

?*?^C3R,X("*/
*Y%
h% Tối ưu luật
"""6!""'/23m*>KFv"
9d%†y.J"'(bN"?K)4)."(*)
.J!")#%#)."J"6!")4vb
-*"/')8*""!"?"'-*./_?
>="6!"=>*)d"'J
(2(x)(4#%
 7`Z2
*(`j‚’E‚ XY
†('j‚’E‚’<
()=j‚’E<
HQ@>kg"'xo/.),2,o
/.('(TR.),%&,*/`Z),26
ND('%*"'x""*
/x!"%
 7`Z
O[""j
j‚>E< Lj‚O sjO<
 s
Bài thu hoạch: Công nghệ tri thức và ứng dụng
7}"'(:"*#,;‚</_2
6(,""/,Z?:%*';o/.E
m*)"'(:"x/xd%
 9T)/,:
j‚)E<
()=*j‚<)E<
Q=-#F"#>*"'x"""'[JS€—<%<"
"'[J#?"*"R^z6!"%

 m*
‘d‚E(:"Zm*,"'#*#m
"+%
Q8Cj""˜‚E>E<>‚<™D!sm*)D
'"'(:"#*mL/*%
Thuật toán tối ưu tập luật dẫn
#cJ'*(T";""("""'
[JS€—<>""v"""m*%
*•""=""8j
E="j7`Z),2
Q=N7
Q=No/.‚"Q,2XY
&,‚"Q,XYD‚*/x),2"5*7%
&,Q,2XYNDx*/x.dj7W7]˜™
E="Lj9T""
Q=NjO

)O
L
)A)O

P7
Q=Nm(,j7jW7…˜O

•P™
7jW7]˜™
E="sjxm*
Q=N"7
&,Q,2XY"E*r'XQ,XY>7]˜™YD7jW7]˜™
E="hj7`Z),

Q=NdjOW˜‚

>‚
L
>A>‚

™P"7
Q=No/.‚

"
tZ

jO]‚

P
iWX7]˜™Y•˜

™
&,E*r'XO]‚

>iYK)=E*r'XO>7Y
Do/.‚*/xO
 h
Bài thu hoạch: Công nghệ tri thức và ứng dụng
e% Ưu điểm và nhược điểm của biểu diễn tri thức bằng luật sinh
 š(
E !";(v"..nJ.
J"G(**(o*)o/."'-*
(:"%&'"'("8*(9#j
] <" "' K(*(b)=?K

X)D'o"5*_Y%
] <' R9#o(:""",#)28"m""
] Q."."a)2D.J(J %
] <'"2H, ($":""?%
] <"?8C")*%
 &:"(
] <"!"!"(_`"(+x-4XY%r4#
c2#4)(4-*(,J"())."-21.
J%
] o","#>?R9#o.J8.98"^C
/")D > "(v%m('>Z?
nZ""( !";"K"'
/"8":%r9#:"(*$"5-*"5*"
?%
] <6!"=c=/23n/,"5*
"D(4/%4.Jv/'/3)."(
"".o*"Bv/'/3/#
%
MM% CÀI ĐẶT CHƯƠNG TRÌNH
% Giới thiệu trò chơi Caro
] <?"*"?"bR*"5*?wJ">+
""9(?(:",(,,=%
] <?"*(:"",=>6N'"'Z/"*j
6&t/>6&*)""="r_”Z{)I*‰>6S
wJ"€/>6wJ"›g->6‚<I"eA)y6
Q.&*<*%
L% Cài đặt hệ thống
Môi trường thực thi
 e
Bài thu hoạch: Công nghệ tri thức và ứng dụng

] ›‰
]›‰O
] œ*)*7HI•)Ij
]œ*)*%hXœLi•Y%
]G(8/•jk•LI]žhžLžs]‰‰]eˆ~]%IRIl
] ).
]G(8/•jk•I]I]s%u%h]%gl
] •"Ii†
]G(8/•jkI"I]i†]s%L%]‰sL%gl
Môi trường cài đặt
] <(v•*)*)=ŸIjk•LI]žhžLžs]‰‰]eˆ~]%IRIl%
] t2[kI"I]i†]s%L%]‰sL%gl)"#)(y*"!%
] t2[k•I]I]s%u%h]%gl)"#ŸIk%%Ižs%u%h%•*l
)C"]"5*•"I%
s% Thực thi chương trình
Mở project:
] <#•"I%
] {I M
 ~
Bài thu hoạch: Công nghệ tri thức và ứng dụng

Thực thi project
] 7 7‚ œ*)*‚"*H
] O.!C+"<*j
h% Phân Xch, thiết kế
 9$"j
 f
P
&˜–{™
Người chơi

Kiểm tra người chiến thắng
Tìm 1 ô cho máy
Máy chơi
Kết thúc trò chơi
Người chơi
Yêu cầu
Máy chơi
Kiểm tra chiến thắng
Máy chơi
Tiếp tục
Bài thu hoạch: Công nghệ tri thức và ứng dụng
 S.^C(,/,j
j,M3N1MOEFPQ5
LjEF$1EFQRR9LSTL9$JE
N!UKV;5
sjWJEV'5/;NMV1EF
GPQ5
hjEFPQ5FQRXE;J5
ejW<$$5.=QMY5
e% Giới thiệu một số source code của chương trình
 *#",F
 ˆ
Bài thu hoạch: Công nghệ tri thức và ứng dụng
 ‹
Bài thu hoạch: Công nghệ tri thức và ứng dụng
 *?",F
 Lu
Bài thu hoạch: Công nghệ tri thức và ứng dụng
 L
Bài thu hoạch: Công nghệ tri thức và ứng dụng

 LL
Bài thu hoạch: Công nghệ tri thức và ứng dụng
TÀI LIỆU THAM KHẢO
% GS.TSKH. Hoàng Kiếm, Slide bài giảng Công nghệ tri thức và ứng dụng,
Chương trình đào tạo Thạc sĩ CNTT QM.
L% Nguyễn Mạnh Cường, Nhập môn Trí tuệ nhân tạo, 02/2005.
s% Các gói phần mềm hỗ trợ kèm theo.
 Ls