Tiểu luận môn Biểu diễn tri thức và ứng dụng Mô hình tri thức về các đối tượng tính toán
Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (330.11 KB, 35 trang )
!
"#$%&'()*+, /01*)
-2324556))-)7892:-;4<=
(!0>?,@),A-B-3CD))EF)-6
./)GAA:-;#,<FADA4-())7
892:-;?
%A#-;H:):I(A4=-+?
J)I.!)IAI2ID.K)-6./):48<ILI
/+)M)@K))E4=?N9'E)!0>
523232!+7O<56)?%!0> /9
DI(AD5+J)-()!09?%AI.!)IAI#
,<A:-;ADA-)7892+A(A4-()
/+)MK'609)PF'62O<).Q
)I+'DR)*)
H#+9,S32# /;#!0>O<
A-6./)GAT"U' $V'U)U <0U0W %I<<'
&+XU0Y
Z<-N9@)HN)>'Q7!-2 !
-[97E)+)7)\)8<A50-()
O<M9?@):7!A+])'KI-[-,)),IE)'5
8^+A'!0>45+'D9?
]_"C9="%``a`abc <)
!
!"
#$%&%'(&'!)**+
' ,-.+/01234
'
!"#
567,089,%*4:;#%7/!
<=%&/'>:!?&/'@*:
&%'#2# 8A(?&/'7 B
%CDEF#G !H%1A12 #,0=13
+I JK(#JK(#JLK1A1&A#9#J→K(,4
,4JK!M/IN", >&>'O&>
PQ,0*I1→(#2*:&%'"
, (1*:&%'>&>'*:&>P!
,D7>O#1,41%17 #$ID1%&/'D1
%D*+%&'D#'4!
R,41%17D#%*7=7*
(7*S#G&01: !R,41%17*7
]_"C9="%``a`abc <)
!
TU:7&D7*S7,0U&
D:7
H#2 7*ID1DVWXV
IJV
KOJV
K(WY(B(!!Z
[FIJV
KI%DV
JV
KI1:DV
$%&'()&'**+,
5#ID1:D1&D$!
5 I) 7:+
),-YI[←[
),-BI\[OU>
,0+(7 ,-]
),-]IUV#DV
##JVK[!
[←[JV
K
^ 7+,-B
&>P,0V
OU;+
$%&'!-
5#ID1:D1&D$!
5 I) 7:+
),-YI_←\I``_D1%&'&D
),-BI_[OU>(,0+a ,-]
),-]I;:%&': D#2
#[2&D\
>O*7;&2%1#O%1%
J&'K,0>:a%4:(%C %1%7b
F( !#&2 ?O1+1C
>:# +!
./0!$1
DT,0>:,-+ 2d)72e#d32'De!
567+*;13!>O*
+7," #$ID1%&E'>:%&'J2;
F4:KD1DT!#21:&D
]_"C9="%``a`abc <)
!
DD1%&'!?&',0>:2;F4:
,Jcd,0e/f%CK!M/I, ;feg
>O*+72.,*(*
:/O%&%',0>:2;F,4d4:!
H286747D*@%%11,41%1
7* 7S!h (%D,0*9#>O
7,"D1 c'D1DD('b:#O'
O'dD0!7c(U.G#%
*+7+#c,O2i+# &7
I/O%&'2;F4:(#&
d+U,01+1(%&%'
2a 'T c>O*7&>
',0;:.7dU,02!
2./0345/
+. 2+$C(#2F%&%' 7
d,0(a '. %d,0 7&%'
+. >:89
j #+. D%a F1
&%8=E,Ic-%&%'`d,0(O&
>!
(&'.6"$7/8!"/9&/
I\/#+%F-:# J.7
dk2%CK
]_"C9="%``a`abc <)
!
IG1+,- #&&/P ;:%b
-%7d/J>K#G&>&/P ,0;
&lb#. J;+K!
>O+. ;( *c%%
b#G3c!H%*+
$Cc;*!h -%*7. %b
h'da 'N&U Q>a a 'NQ!HS
-.,cO%*7&%U,0&%
a%(#%11:1%%>O4!
!"Im+*%;/
#%,0%1%2'a::a7d+
2 !?+/2 +. %
.a '2G=#'/#%!+/2
$D1n!
ID1%#%Cd!
nID1%a '. %
W{8
Y
(8
B
(!!!(8
}(
oW{n
Y
(n
B
(!!!(n
}!
5d-?n∈o( &E'JnKD1%2c'#a
'n!MJnKD1# IJnK⊆!
n,-+nIJnK→JnKO 2JnKWJnK∪JnK!
U>O79#%:5?Mp4Oq:a7%;I
JYK H#,-D1r)D1%;&l!H28%C)UD1
r"%a '#o 7&>s
JBK 8%C,0D1)Oa%O/2 % ),0
',#s
J]K #,"01&>O,0)O3c&'O
2O,0)
]_"C9="%``a`abc <)
!
+/2 # ;7,0;Fc#
+!,8Ac2 2+/2 O>O
7, '%7%a '(c&. %+
/2 7!
#$%!
+/2 hPd,0/2 J&E'_K!
+%d,0/2 #$D1%d,0/2
_W{_
Y
(_
B
(!!!(_
}D1%a '. %d,0/#%
oW{n
Y
(n
B
(!!!(n
}!
5GI Jn
K WD1%2ca - a 'n
!
JoK W
Jn
Y
K
=
!
J_K W
J_
Y
K
=
!
D101.,0898Ac+(&:%
D1Jn
K
W∩J_
K( WY(B(!!!(!
9#%&E'c(
D101. d,0_
,0
898Ac+%d,0/#%!h h2I
J_
Y
K
=
⊇⊇
Jn
Y
K
=
(
7 J_K⊇⊇JoK!
>O*+7#1A1 '/2 %
7d,0 cD1 %d,0
&%!
]_"C9="%``a`abc <)
!
:;#*<=>"
?*<=>"
@<=>")A"B6,
e CD#;:#% c ,"D1
%d,0&% ?d,02;F #$d
/-.a ';C!.a '7F1
'7*(/#%:d#%7*e/#%c
%/ d,0!M/I#:#%OP( %
-%/,]+(]2#('/(= (%&/
hh#+1(!tS-%>c'. %
/2q# ;F d,0,
e @E5/I Pd,0/#%JHe#u9Kd,0_
2;F #$
JYK %%/rJ_KW{8
Y
(8
B
(!!!(8
}#2?
/;7%C#8%C;C(. %/
2%a ''a %&'(%D7* 7%>
/#%!
JBKH%ca 7*/#%c%/
d,0 7c%&',I
• v%C #2 D101/r⊂rJ_K(d
,0_2&:p# D1/-;2,07
Ur#d,0_!
• v%C/:,0 #%7*/#%2+r→)
-r⊂rJ_K)⊂rJ_K!2%&%(d,02&:
p:"6g@27 ,0%/#)U
%/#r&>!
]_"C9="%``a`abc <)
!
• '%/#%
• ''0E3:##%
• v98A/8%C d,0( 7 &'
M/I;F %-;F$%7d,I]+
((w]2,4-]+Ir()(Hw]," #,4I
((w'/< %w= 1 %w%&/
,"h#+1V %(!tS-%>
c'. F,CE2# %(CE(CE
#(%>/'/(tqd,0He
#u9& /01;F7-%8=Eca
':#% %i,%898A&'
#2ca %/ 7/:6d,0!,
D7 2d,0 %!\d,0 %7,07c
#":##%{ ()(H}⇒<2q;1"
:$],- 67I
),-YIv%Cr>rWπe)eHw
),-BIv%C>W !J)K`JrKw
),-]Iv%C<><W !!JHK`Bw
• 7c:#%{ ()}⇒<Od,0q:"@
N&>:,0Q22C;1c>,r(
H( 7!
:;#"*<=>"
He_u92,0>O2 I
Jr(o(o (V9K
#2I
rD101%/ d,0
]_"C9="%``a`abc <)
!
oD101%a '7*/#%
o D101%/; 7%&'d2 d,0
V9D101%D7*c%&'ca
%/i,ca :6d,0!
M/I5d,0JHe_u9K#+Nrx[yrHQ,0*
9#>Oc$2I
• rW{[#r([#)([#H( ((( ((( (((1 (
1(1(<(1(V(( ((}
• oW{[#rz[#)z[#HWR( {J[#)KW{J[#rK(
|BW|Bz|BeB{{{#J[#rK(!!!}
• o W{ z}w z}wz} wt}
• V9W{X[#rW[#)Z⇒X WZ(
X WZ⇒X[#rW[#)Z(
X |BW|Bz|BZ⇒X[#rW1`BZ(
X[#rW1`BZ⇒X |BW|Bz|B(⊥Z(!!!}
d,0i2.4::a7; c%
/ 2!.d,0,0 C&:p:a7;
,I
Y! v%C #2 %/
B! '7D#6:".;9#T,I8%
C/U/&%
]! '/#%
~! 5C3:7!
]_"C9="%``a`abc <)
!
:;#?*<=>"
CD
\:#%%#%7*/#%cHe_u9867
%D:/01q4#'&%'?0:
#%&01- &P&!7c(?#+
He_u9&8Ac'b',012/;
##&& #,"
71+," #$%&%'%
#+d,0&% -.da '.4!M/+
%/ d,0 %(&8A,d
,0D1O2N#+•Q!N5#+•Q#+d
,02/%C/ 2%C7q
,0S#%>/#% 7%a '/#%wG
&%#+•i2%a '1/#%,a '##
7a '>2!H%#+a '/#%.a '1e
/#%. %#+•i2.D c2&>
1:.D+# %!,D7(2>O
*42=#'867'4
:#%%He_u9 1:898A&%'He
_u9#'d%&%'He_u9S-%#+
&'(%#+a '&% %+D&% ca
F!>O,P>O%d,0/#%
€>OH_\)JH#1 # _u9\#•99) 9K
:;#
>OH_\)>O$'d
JH(‚(V(_1(o(V9K$I
]_"C9="%``a`abc <)`a
!
Y! D141H%&%'%He_u9!
?&%'-1He_u92;F,016;19#
D1 ;Fd,0I
JYKH%!
JBKH%d,04:2;F?#G2;F$d
/&J/,jyƒ&>2/%
C#OP1•K!H%d,0#+7#
%d,0;1 #4!
J]KH%d,0He_u9;1Y!m#+d,072/
#+„9 }2,0D1U %%d
,04:!M/Ij_r…r()†[_H…r()(H†#2r()(H
%d,04:#+jyƒ!
J~KH%d,0He_u9;1B!m#+d,072%/
#+9 %/#+d,0;1Y(d,02
,0D1c %%d,04:!M/
Irx[yrH…r()(H†‡x[yrH…r()(H(j†(#2r()(H(
j%d,04:#+jyƒ!
&'()*+,#$%-
e $-6./)I&72#+&D1c %
%d,04:!
e <0AA(GI?/2&(&d,0
4: 7&d,0;1;14!
]_"C9="%``a`abc <)``
!
e Z<5=:\2'DIIa '7'%&'
c'. d,0%d,0J%d,0
%d,0K!
e DI/IA-;35)+(=A(G
e DI/IAG:('=8<-2A(GO<-6
./)?/;7# &' d,0!
e DI/IA8<509fGA?a ''a
D7*#1A1 2/#% 7d/
7Ud/&% d,0!
e DI/IA'D09=A'04353A<'=8<-2
A(GO<-6./)<9+7N-6./)I?D7*
2+I
{%&':}⇒{%&'&D}
HS-;Fc(d,0h,0 C%4:#
':a7%#%7*/#%c%/ d
,0(:6d,0 7%d,0ca ,0D1c
d,0Jd,0,0D1c %%d
,0#2K!
B! D141‚%a '16;1. %#+d,0!
cD101H 2a '16;19#222d
&%'G'2 %&%'&%(•+,
%6i %(OOi
%!H22@‚$‚ 9&89a '16
;1ca 'cH!
]! D141V%&%'%#+a 'c%He_u9!
]_"C9="%``a`abc <)`g
!
?a ',08%C„ca '}%#+d,0
a '(a '22d/;#%/;
67I/;1:8+(/;d8(/;1:8
/;€!M/I^ 'S1,4cB#+•2%
/;1:8+(d8€!
~! D141_1%#%=!
H%#%=# d1A1#%c%i,c
%d,0(•+%1A1#%dP/#%c%d
,0#+2,4,d-%!
ˆ! D101%o
D101% #$.cHe#u9!
.7i.#+13#G
'#%&# Pc,#%P(DEtM/
#OP:/2%I&#:%. B(&#:
%UY,"•#GG1•(O ,"
•cG1•t
‰! D141V9$%D,016-1!
H%D'% /13a%c%&%'
%#+&'&% !?D# a€7D
%&'-U%&'#2(G;F2$B
1/I1: D1&D D!
R:1&D%D101&'c%d
,0;C!,D7(D2,0>O,-+I
I{&
Y
(&
B
(!!!(&
}⇒{&
Y
(&
B
(!!!(&
}
]_"C9="%``a`abc <)`h
!
#>OH_\)(42,03%
1, I
e U&%' #$.#+d,0(/(1A1
#%((a '&%'a '
e ):>:;FG d,0
e ):O7.a '16;1. %d,0
e ):O7.a '&% .&%'
e ):%1A1#%
e ):%
e ):>:%#+&'
e j %#GD101%a€
e j %#GD101%#%T!
5>ODTc2'#42
&:#%%D::a7%#%( C %
+&'&% # %D!H2‰#+&'&%
,0898A#>O!
2!"3&.F";#G
Y! <&'>#+ d,0! *&'7
;F %I…„#u9}(„#+#u9}†!
M/I…_Y(Nrx[yrHQ† 7…_B(Nrx[yrH…r()(H†Q†!
B! <&'/8%C d,0J%/#,kK
7 /! *&'#+7c d,0
7c/ d,0I„#u9}Š„#u9}!„#x}!
M/I_u(_u! (_u!j_r…r()†!
{[FI,"01d,0,0;U%d,0&%
O„#x}2,09#1,4;F!
M/I_YIrx[yrH…r()(H†w
]_"C9="%``a`abc <)`i
!
_Y![#r2_Y![_H…H(r()†
_Y! 2_Y!j_r…)(H†
]! <&'8%C / 7d,0>a
@! I„#u9}W„9xx }( 7
„#u9}!„/}W„9xx }!
M/I_u! Wˆ(j_r…r()†W([_H…r()(H†Wπ`]!
~! <&'@ . %d,0 7/ %d
,0!<@ 7. Bd,0q,09# %
/,4 F@ !<&'#+7q,0
,-+I
„u9}Š„#u9}!„#x}W„u9}Š„#u9}!„#x}
M/I_Y! W_B! (_Y! Wj_r…H(j†(_YW_B!
ˆ! <&'1 d,0 7 /9#
.d,0 7%/&%>a >/
#%!m#+&'72+I
„#u9}Š„#u9}!„#x}W
„99# #u9 7#& }!
M/I_Y! W_B! zB{_B!
‰! <&'a 'c%d,0 7c%/ %
d,0!<&'#+72,0*;F %2
+I
…„9a 9}(„#u9Y}(„#u9B}(!!!†( 7
…„9a 9}({„#u9Y}(„#u9B}(!!!}†
J%*B,0=#,"01a '2/d
87c%1=&% >K!
]_"C9="%``a`abc <)`j
!
M/I…N<<_[Q(j_r…r()†(j_r…H(j††(
…N‚‡_HQ((j_r…)(H††(…NM‡_[Q(_Y! (_B!†!
‹! <&'8%C
Œ! <&'8%C >a %C#G
@
•! <&'@ . d,0
YŽ!<&'@ . &%
YY!<&'1 9#% 7%d,0&%
>a >/#%!
2H&I
2J
H4%He_u99#>OH_\)2,03
'dD1p:2;F'%1#>O
!H2&'d%D17$.D1, I
…Y†D1N_u9!8Q,.%C J 7cPK#%&%'
%#+d,0He_u9!
…B†D1NVƒmry_<!8Q,.>%#+a '&%
c%#+He_u9!
…]†D1N‚9 7!8Q,+%$‚ 9'a '16
;1G'2 c%&%'!
…~†H%D1-cD12+N„c&%'He_u9}!8Q,
.;F #+d,0„c&%'He_u9}!M/ID1
Nrx[yrH!8Q,.;F #+d,0 %!
…ˆ†D1N_19 #!8Q,.%>%#%=c%d
,0!
]_"C9="%``a`abc <)`k
!
…‰†D1NorH<!8Q,.>%#+&'&% !
…‹†D1NV‡mƒ<!8Q,.'D 4!
2*K!04/J
dc';F>#42,0P c
4$ 67I
)$c'. %1#H_\)
22LMN/$!4J"G
H%D1,.%1#%He_u9,0
,-+%p:2;F cdU&2 a,-F1%1
&%4:c!j,-671'&c;F %D1I
e H;FD1N_u9!8Q
9x_u9
„c-1d,0Y}
„c-1d,0B}
!!!
]_"C9="%``a`abc <)`b
!
9x_u9
e H;FD1NVƒmry_<!8Q
9xV9 #
…„ca '}(„#+d,0}(„#+d,0}(!!!†(
{„/;}(„/;}(!!!}
…„ca '}(„#+d,0}(„#+d,0}(!!!†(
{„/;}(„/;}(!!!}
!!!
9xV9 #
e H;FD1N‚9 7!8Q
9x‚9 7
…„c-1d,0;1 #}(„c-1d,0;1;1}†
…„c-1d,0;1 #}(„c-1d,0;1;1}†
!!!
9x‚9 7
e H;FD1N„c&%'He_u9}!8Q
9x#u9I„c&%'He_u9}…%d,0†
„%d,0}I„&}w
„%d,0}I„&}w
!!!
]_"C9="%``a`abc <)`l
!
9x 9
„c/}I„&}w
„c/}I„&}w
!!!
9x 9
9x#
!!!
9x#
9x1#199
„&'}
„&'}
!!!
9x1#199
9x#1 #x9 #
9x9 #
n W„Ž#GY}
nWX%/Z
nWY
nWX/&a:n WŽZ
981nW•/#%•
]_"C9="%``a`abc <)`c
!
#W„Pd /#%}
9x9 #
!!!
9x#1 #x9 #
9x9
9x9
&x9W•„#+D}•w
71#9x1 I
X%&': DZ
# x1 I
X%&'&D D#G•_u9•Z
9x9
!!!
9x9
9x#u9
9x9x9
1 99I!!!
#u9I
]_"C9="%``a`abc <)ga
!
!!!
n I
!!!
9x9x9
e H;FD1N_19 #!8Q
9x_19 #
…„#%=}(…%&#%+†(„&&a:}(„a€/#%}†
…„#%=}(…%&#%+†(„&&a:}(„a€/#%}†
!!!
9x_19 #
e H;FD1NorH<!8Q
9xo
Y(„;F&'}(„;F&'}(!!!
B(„;F&'}(„;F&'}(!!!
!!!
9xo
e H;FD1NV‡mƒ<!8Q
9x9
9x9
&x9W•„#+D}•w
„%cd,0}I„&d,0}w
]_"C9="%``a`abc <)g`
!
„%cd,0}I„&d,0}w
!!!
71#9x1 I
X%&': DZ
# x1 I
X%&'&D D#G•_u9•Z
9x9
!!!
9x9
2OP(F(
/0/1/&'2$
'4:#%?0O&(7;:#%
2;F,'7c ! &'7$‰1
e H4J&#•99 9KI .:a7
;#
e )7*Jn999ƒ9KIS.,.#
4:a7;(O&#G:"%7
;!21:=,07*1S01O .
a7€.&'F;:a7;
e ):/J981 ##1#9KI?0:/% #+(
%&%'#a%O:a7#%
e )-J•#&9#7KI,.%a7€%&'
#a%OO&7*!
]_"C9="%``a`abc <)gg
!
e ^:EJ&#•99 9KI@?0'D1D
'4(O&(& /;a%
!
e [ #'J9n 9KI,0&c>. #
1. 'd-,"P(. 'd-7c !
/0/1/3454567
^%O16/&%1 d #$%
#+ I
8#ID1#>OH_\)
8#IR6#+D1,0,-Y16/
7c
8#0Iv6734#'d c
>OH_\) cG >.!
2,03%n9p:2;F$%n9I
e _u9x&!8,.c&%'
e ‚yƒVrVH‚‘!8,.> $‚ 9JO7
%1‚#>OH_\)K
e Vƒmry_<!8Vƒmry_xjƒo!8,.da '
J>:1V#>OH_\)K
e _RƒVr_V!8_RƒVr_Vxjƒo!8,.%1A1#%
J>:1_1#>OH_\)K
e o‡Hy_!8o‡Hy_xjƒo!8,.%
J>:1o#>OH_\)K
e V‡mƒ<!8,.%a€7*
e <_ƒ_)’ƒH<!8,.%d,0c!
]_"C9="%``a`abc <)gh
!
8#1I>O2 %;&D#%!.
;,0O7=+d,0/#%!) #$]
D101 I
_WX_
Y
(_
B
(t(_
Z(
oWXn
Y
(n
B
(t(n
Z(
[# WX
Y
(
B
(t(
Z!
#>OcD1_ #$d,0/#%(o
D1%&',0#cd,0([# D1%
c!
&D:7*:a7#%& #
' 'd2,0,0a ],-
DIR6#+%#%,%#%“(
#%8%C#G&'(##%Od
,0#G&'t
DIR6#+%&'O7F c%
#+&' >OH_\)
D2I>O2 %#+#%Ua%O16#+
,-YB!U>O ?#+(F 867>
O; %#%, #'d:
a7!
\”D4:&D#%7*#&-1%
&'!j c%#+&';F Fq2
c/C#01;%&'!< 2+# D
#%& 01;B&'
H>'a P&1c,07
*:a7#%c%7/!M;&2;
#>O2 ,0.&'(% #
,"O ,0a€7D2C,-(€,-
,7 #,":a7;!
8#9I+#>.7;#>O!>.
7F1& #'. 'd,"=
]_"C9="%``a`abc <)gi
!
8#:I& #' 1D1O1
!
8#;I& (:#O1%!
2QR1
P"
vA%#%OP:/BJca %d,0
OP4:,(9#(,"•(G1•K,01%
, I#,-dd,0OPS-d&'
8%C d,0 7a '. %d,0w7c8%
Cd,0!
M/IJRKJ^K%G1•(JRK![:=k
P 1,4O J^KJ J^Kk,08%
CK(@JRK##-J^Kw7c8%CG1•JRK
J 7O1,4O JRKK!
d&J1%7/K:%#%O
P:/B2+,c!•1%1,41%1*
@+%d,0/#%*34
#(*%#%D:#':%
#%!
C%S'(L*?
PT>
)*%d,04:J(,"•(9#K
#OP1•9#>O%He_u9!H%
*&9#>O72,D0#'
&47D1,0*%>a:C
]_"C9="%``a`abc <)gj
