Ch ng 3: ươ
Bên trong m t h ộ ệ
Cơ s tri th cở ứ
Ph n II: Các h cầ ệ ơ s tri th c (knowledge-based systems)ở ứ
I. H c s tri th cệ ơ ở ứ (knowledge-based systems) ?
H c s tri th cệ ơ ở ứ = C s tri th cơ ở ứ + Ð ng c suy di nộ ơ ễ
H gi i toán = Tiên đ , đ nh lý + L p lu n logic (toán h c)ệ ả ề ị ậ ậ ọ
=+
Ngöôøi
duøng
Caùc dòch vuï
giao dieän
ngöôøi duøng
Caùc haønh
ñoäng ñöôïc
ñeà nghò
Heä thoáng
dieãn giaûi,
giaûi thích.
Caùc söï kieän
coù lieân quan CÔ SÔÛ TRI
THÖÙC
ÑOÄNG CÔ SUY DIEÃN
Heä thoáng
toái öu tri
thöùc
Moâi tröôøng laøm
vieäc (BlackBoard)
Heä thoáng thu
nhaän tri thöùc
Kyõ sö khai
thaùc tri thöùc
(KE)
CHUYEÂN GIA
MÔI TR NG THAM V NƯỜ Ấ MÔI TR NG PHÁT TRI NƯỜ Ể
II. C u trúc chung c a m t h CSTTấ ủ ộ ệ
III. Cơ s tri th cở ứ
Cơ s ở
tri th cứ
Tri th c kinh ứđi n.ể
Tri th c kinh nghi m, chuyên ứ ệ
gia.
Tri th c m i khám pháứ ớ
Phương pháp ti p ế
nh n tri th cậ ứ
Ph ng phápươ bi u ể
di n tri th cễ ứ
IV. Ph ng phápươ suy di nễ
1. Mô hình t ng quát c a suy di nổ ủ ễ
FACT: T p s ki nậ ự ệ
HYPO: T p gi thuy tậ ả ế
Operator MATCH(X, Y) =
T if X đu c lu ng giá T trong Yợ ợ
F if X đu c lu ng giá F trong Yợ ợ
? If X không th lu ng giá trong Yể ợ
a. D n ra s ki n m iẫ ự ệ ớ
b. T o ra gi thuy t m iạ ả ế ớ
c. Kh ng d nh hay ph ẳ ị ủ đnh gi thuy tị ả ế
d. Ti p nh n FACT m i t bên ng iế ậ ớ ừ ồ
