PGS.TS. Phan Huy Kh
PGS.TS. Phan Huy Khá
ánh
nh
khanhph@vnn.vn
khanhph@vnn.vn
H
H
chuyên gia
chuyên gia
(
(Expert System
Expert System)
)
Chương 2
Biu din tri thc
nh
logic v
t
bc mt
2.1
2/
2/45
45
Chương 2
Biu din tri thc nh
logic v
t
bc mt
aBiu din tri thc trong các HCG 2.1
aLôgic mnh đề 2.2
aLôgic vtbc mt2.3
aBiu din tri thc nhlogic vtbc mt
3/
3/45
45
Biu din tri thc trong mt HCG
aTri thc ca mt HCG có th được biu din theo nhiu
phương pháp khác nhau
aTutheo tng HCG, người ta có thsdng mt hoc
đồng thi cnhiu phương pháp
aPhân chia theo ngôn ngsdng, người ta có 3 cách :
VSdng ngôn ngtnhiên và ngôn ngtoán hc
VSdng ngôn nghình thc
VSdng ngôn ngmáy tính
4/
4/45
45
Nguyên lý làm vic
aNguyên lý làm vic như sau :
Tri thc được thu nhn trong ngôn ng
t
nhiên L Æ
Tri thc được dch ra trong ngôn ngPÆ
Tìm gii pháp suy din trong P Æ
Li gii được dch ra trong ngôn ngL
5/
5/45
45
Biu din tri thc
a
aM
M
t s
t s
phương ph
phương phá
áp d
p dù
ùng ngôn ng
ng ngôn ng
h
hì
ình th
nh th
c
c:
:
VBiu din tri thc nhcác lut sn xut
VBiu din tri thc nhlôgic
VBiu din tri thc nhmng ngnghĩa
VNgoài ra, người ta còn sdng :
Nhb ba : đối tượng, thuc tính và giá tr
(O-A-V: Object-Attribute-Value)
Nhkhung (frame)
Ngôn ngnhân to, skin không chc chn, v.v...