: b# ck ti p, ta s3 ch nc Tmax = Bucharest Và nh vy thu t toán kt thúc (th c ra thì ti b #c
1.Khái n im
Ph 'ng pháp bi u di n tri th c b ng lu t sinh c phát minh b i Newell và Simon trong lúc hai ông ang c g(ng xây d ng m t h gi i bài toán t)ng quát. /ây là m t ki u bi u di n tri th c có c u trúc. Ý t ng c' b n là tri th c có th c c u trúc b ng m t c"p i u ki n – hành ng : "NAU i u ki n x y ra THÌ hành ng s3 c thi hành". Ch,ng h n : NAU èn giao thông là THÌ b n không c i th,ng, NAU máy tính ã m mà không kh i ng c THÌ ki m tra ngu n i n, …
Ngày nay, các lu t sinh ã tr nên ph) bi n và c áp d ng r ng rãi trong nhi u h th ng trí tu nhân t o khác nhau. Lu t sinh có th là m t công c mô t gi i quy t các v n th c t thay cho các ki u phân tích v n truy n th ng. Trong tr ng h p này, các lu t c dùng nh là nh ng ch+ d-n (tuy có th không hoàn ch+nh) nh ng r t h u ích tr giúp cho các quy t nh trong quá trình tìm ki m, t. ó làm gi m không gian tìm ki m. M t ví d khác là lu t sinh có th c dùng b(t ch #c hành vi c a nh ng chuyên gia. Theo cách này, lu t sinh không ch+ 'n thu&n là m t ki u bi u di n tri th c trong máy tính mà là m t ki u bi u di n các hành vi c a con ng i.
M t cách t)ng quát lu t sinh có d ng nh sau :
P1 ∧∧∧∧ P2 ∧∧∧∧ ... ∧∧∧∧ Pn →→→→ Q
Tùy vào các v n ang quan tâm mà lu t sinh có nh ng ng ngh a hay c u t o khác nhau :
Trong logic v t. : P1, P2, ..., Pn, Q là nh ng bi u th c logic. Trong ngôn ng l p trình, m1i m t lu t sinh là m t câu l nh.
IF (P1 AND P2 AND .. AND Pn) THEN Q.
Trong lý thuy t ki u ngôn ng t nhiên, m1i lu t sinh là m t phép d ch : ONE → m t.
TWO → hai.
JANUARY → tháng m t
/ bi u di n m t t p lu t sinh, ng i ta th ng ph i ch+ rõ hai thành ph&n chính sau:
(1) T p các s ki n F(Facts) F = { f1, f2, ... fn}
(2) T p các quy t(c R (Rules) áp d ng trên các s ki n d ng nh sau :
f1 ^ f2 ^ ... ^ fi → q
Trong ó, các fi , q u thu c F Ví d :
Cho 1 c' s tri th c c xác nh nh sau : Các s ki n : A, B, C, D, E, F, G, H, K T p các quy t(c hay lu t sinh (rule)
R1 : A → E R2 : B → D R3 : H → A R4 : E ∧ G → C R5 : E ∧ K → B R6 : D ∧ E ∧ K → C R7 : G ∧ K ∧ F → A
2. C ch suy lu n trên lu t sinh Suy di n ti n :