TÌM HIỂU VỀ HỆ CHUYÊN GIA VÀ BIỂU DIỄN TRI THỨC TRONG HỆ CHUYÊN GIA

TÌM HIỂU VỀ HỆ CHUYÊN
GIA VÀ BIỂU DIỄN TRI THỨC
TRONG HỆ CHUYÊN GIA


!!"#$$%$%&$
BÀI THU HOẠCH CHUYÊN ĐỀ:
'#'()*+, /(!.0
•
.+1..2)'03#'()405
/60(780!9:/;
<=>4..?@:!'(4'A<B./..
-/.'/.!?CDEF2CG=H
=CIJ'()0EK'(LCMN
•
$GOPHD08-J4/)
K'(LCQ=E@)$'()
•
05/F4R;:@)/S'
TU
#'()
•
9:/;@)'()CDEK'(L
VCW<2?=)''50P4R
•
"'AF., /!(!.0X=>4..Y2)!.
!(!.0=>4..Y2)!.., /!(!.0ZH
R))'
#'()
•
#UC5@)#"'()

Người dùng
(user)
Cơ sở tri thức
(knowledge base)
Máy suy diễn
(inference engine)
Hệ thống giao
tiếp với
người dùng
(user interface)
#'()
•
#UC5
–
Z['V-!=<B)!?4F
6C\2LXHA)(F8OF'S
#"]
–
(!'(^ )//;/!_/
;CD!'(^<!'(4'A?C)/)T'/E4Z
Z[K')G)OL-]
–
Z[ACMT'/E4Z4F4Z
='()(M`CaCb
#'()
•
#"'()cUC5/05lĩnh vực
vấn đề<-/24.00)?(PXSX=)P
)(8
•

/;'()CDEK'(L$VCWCd/
CMP4lĩnh vực tri thức<=>4..0)?
•
S:#"'()Wlĩnh vực y họcCD-
24T(^0H4R/;W05!G
24T(^0X/';F)/Q
a
#'()
•
e')F)4RVCW4R/;
Lĩnh vực vấn đề
(problem domain)
Lĩnh vực tri thức
(knowledge domain)
d/2E@)#"'()
•
#'K'E)=E/E4Z0;C5O8
2fd)!'()Z/
[4R]
•
Z)/E4ZJ)CZ)/E4Z2f
d)'()ZCDCCL
[$K'(LCQ*4$Z)]
•
5OA()g8,E(/)!GdE0!aC5
OA(=!9:]
•
h^D'ES2!'(4'A$^D'
VK'
i'CD0@)#"'()

•
(-jA-CM-/D=8k'K'E!9:
=8D-@A]
•
U]
•
E0/@/a-Z/CM08/Z/@/X'(D0]
•
S!l!HDUC52V;4a]
•
)4RWW'4R=)']
•
A(4'8CE02EC5OA(==)]
•
gEESHD^ET'/E4Z$/m/
OL]
•
/E4Z)/E4ZZ)X=K')]
•
SjCQX!'(4'A48Cn(C@]
•
05Z80]
•
"HD/'(A-05!_F4'80
R;:
•
"'oC4A-4'A)/!=K')!CM]
•
#U(P80CD!HDJ
T'J6!)<>(p?XL<>p?6,E(/)L'

<>)Bp?GJn(]
•
ESESF4''ACM]
•
.m=D0/)!F4''CMF4'
'(08CDC'K'E]
•
A-=LU4A-=LU!E,'V.('n']
•
hCCA'K'EL'05q'G,E(/)]
•
"F)/Q)/)EK'(L05VCW]
•
W'=DCW'=D$K'/62)r0^EX'o
CX=D0/)X4A-=LUXCF)/Q
gL/ajK'
•
"-n2E
Máy suy diễn
Máy suy diễn
Lịch công việc
Bộ nhớ làm việc
Bộ nhớ làm việc
Bộ giải thích
Bộ giải thích
Bộ thu nhận tri thức
Bộ thu nhận tri thức
Giao diện người dùng
Giao diện người dùng
Cơ sở tri thức

(các luật)
Cơ sở tri thức
(các luật)
gL/ajK'
•
"!_/;r0-n9<CQ?/;X
Z44'AXCMj;$"h
•
(!'(^!'(4'A)/4'A],.0,sF
4'AJ)0\!=XCGM]P
4'AH'O)V
•
Q8<).)?)!4'A'O
0(!'(^U/)J)0\!=XCG
MH0d/2540
gL/ajK'
•
t540<>/=0.0/(?;)!=
-::4'A
•
t5ES<.,-4))OB)4(?ES!'(
4'A@)GZ!9:
•
t5'A/;"-s-Z[2j!'
/;G05C5)(62D'
^05Z0T(425-AZH
@)W'#'()
•
)Z[4Z[#
'()/)Cj)'

tD'^/;
•
tfW'=)'
–
"4'A!<!E,'V?
–
8
–
UFR)
–
8FTU
–
t52)GMY'57Y/Q<uYvYu2w.Y
vx/2'.Y)4'.?
–
1/)0.y
tD'^/;2f4'A!
•
#n'L#"'())([4'A!2D'
^/;X
–
SCD4'AH7C54A-XHD0_
/505^]
–
gEES2D'^[4'Az1
#+X-s-^ES!'(4'A]
–
K'/6A;@)Z/
EK'(LVCW
tD'^/;2f4'A!

•
hU$z1{CW'=|#+{C5|
•
hU}z1{CW'=|#+{=L4'A|hu{
C5|
•
'AHDHX-n{CW'=|IP4L/
@)4'AXOWCWX0'!=-]-n!)'#+4
-n=L4'A)(K'E
•
S:"4'A)8
–
z1{C~CJ!|#+k
–
z1C~,)!#+C
tD'^/;2f48
•
8Qk
Phát biểu Công thức
Tom là người MAN(tom)
Tom là cha của Mary FATHER(Tom,Mary)
Tất cả mọi người đều
chết
MAN(X)  MORTAL(X)
(X là biến)
tD'^/;2f48
•
"/;!)'
–
)/H]•.)HT'

–
.//.4)@)•.)] )/4)@).//.
–
)/4@)./.
–
L'€4@)•6•4)@)€
–
L'•4)@)‚X‚4)@)€X6•48@)€
•
M2D'^2f!_/;
–
tuh<0)/?<$? tƒu„<w.)?<}?
–
1v#+ƒ<-.//.Xw.)?<…? 1v#+ƒ<0)/X-.//.?<†?
–
u<0)/X./.?<‡?
–
u<€X•?1v#+ƒ<•X€?<ˆ?
–
1v#+ƒ<•X‚?X1v#+ƒ<‚X€?ƒvh1v#+ƒ<•X€?<&?
–
<$?X<}?X<…?X<†?X<‡?4!=<B)?]<ˆ?X<&?44'A</'4.?
tD'^/;2f0UFR)
•
9:CrQr0a<.?'<)/?G
aaDCGMX'57@)CGM
/Q'57]'D0GK')F)a
•
/;3‰40540]0H2L2)(NCM
2D'^2f0UFR)!)'

•

sẻ loài chim
cánh
bay
là
có
biết
tD'^/;2f8FTU
•
#)(#"'()CGUZ!9
:2f8F=8W'
•
"#"'()Z[$8FT
UCD2D'^/;
gŠ'A!'(4'A/#"'()
•
'(^OL<B/>)/)?4A-4'Ak!=X!
)/4'ACD/a/)=L4'AS:
–
"H4'ANếu trời mưa

Lấy áo mưa!=Trời mưaX=L4'ALấy
áo mưa
•
'(^4[<2)=>)/)?k05E'(L<4
=L4'A?XGC)/)/E4Z4!=!_C)CL
E'(L(S:L'H!=$Zn00)C
K'n2QX#"'()HD=L4'A
4/Z0)D@GE'(L(#"!‹J3"H-E

/Z0)=8pN
•
GM-<0,.)?
•
ƒaPVCW<-/24.0/.'O?
•
e')(4'<2)=/)=?y
tD'^/;2f48QkV-$
<1/!Y/./-/.).4)').?
•
tE=`'
–
#f<!)?2fFZXS:0X24'.]
–
tL<)/)24.?2fF)XS:•X€]
–
"Qk<-/.).?2fF)XS: vX1v#+ƒX]
–
tAY!GCG@)$QkS:zƒvzzX v<0?X
1v#+ƒ<0X0)/(?Xt+„++<•X€X‚?4n4MH2A4%X$X}X
…g2A4%<zƒvzz?6QkICMP40CW
<-/-!O?
–
#0L[FZB<•?X!'.!!/< X?H2A4$
}
–
∀4M90P]∃4M9rU
tD'^/;2f48QkV-$
•
./0

–
"f2L4./0
–
L'B4$0$XyX4./0X6B<$XyX?4$./0
•
v042D';<$XyX?X4QkX$XyX4./0S
: v<0?X1v#+ƒ<0X0)/(?X<B<•?X24'.?4)0
•
"8;c<>.44YB/0.B/0'4)?<""?
–
")04CTC
–
L'#4CTCX6 ¬X∧#X ∨#X →#X↔#Œ4
CTCCMUk#[-s-G48
–
L'4$CTC•42LX6<∀•?<∃•?Œ4CTC
•
<∃•?*rU$/Q@)•CDCa
•
<∀•?*0P/Q@)•XCa
tD'^/;2f48QkV-$
•
S:WCTC
–
""<∀•?<∃€?<<<•X€?∧e<•X€??ƒ<•??X¬<<)?<2??
¬<2?
–
g8-E4""¬B<)?XB<<)??
•
./)4HU¬X4)0

•
tL*=8CM4M9H)S:<•?
<∀€?e<•X€?CW';)2L•
•
P448QkV-$6=8H4M9Q
k0<∀?<)?X<∀B?<B<•?X2?<48QkV-
)./Y/./?
tD'^/;2f48QkV-$
•
/;3 PZCW'!‹LNCM2D'
^2f<∀•?< v<•? uƒv<•??
•
"HF/;-2D'2f8F
=82D'^CM2f48QkV-$
3#)AG)'6aH[0P7
VNX2D'^2f48QkV-)
<∀?<∀•?<∀€?<v +<•X€?<<•?↔<€???