II. MộT Số SƠ Đồ CƠ BảN Để XĐY DựNG MÂY SUY DIễN
b. Sơ đồ PREDIAGRAM : tạo sinh vă tích luỹ sự kiện theo chiều rộng
Tương tự PREDIAGRAM−1, sơ đồ mây suy diễn PREDIAGRAM2 cũng gđy ra sự suy diễn tiến của câc luật vă được gọi bởi thủ tục SETUP-A-FACT ().
Cho E lă một sự kiện của cơ sở sự kiện. Trong PREDIAGRAM2, ngược lại với những gì
đê xảy ra trong PREDIAGRAM−1, mây tìm kiếm ưu tiín lần lượt từng luật đối với câc luật tương thích với E, trước khi bổ sung câc kết luận văo trong E vă trước khi sử dụng chúng để
khởi động câc luật mới.
Ta gọi câc sự kiện ở mức 0 lă câc sự kiện khởi đầu, câc sự kiện ở mức 1 lă câc kết luận của câc luật có thểđược khởi động xuất phât từ câc sự kiện khởi đầu, vă một câch tổng quât, câc sự kiện ở mức n1 lă câc sự kiện nhận được xuất phât từ câc sự kiện mă ít nhất một sự
kiện ở mức n, trong khi đó, câc sự kiện khâc ở mức nhỏ hơn hoặc bằng n. Thủ tục PREDIAGRAM2 chỉ tạo ra câc sự kiện ở mức n1 khi tất cả câc sự kiện ở mức n đê được tạo ra. Người ta nói rằng PREDIAGRAM2 tạo ra câc sự kiện ưu tiín theo chiều rộng.
Những kết luận mới của tất cả câc luật tương thích với E được tích luỹ liín tiếp nhờ biến NEWFACTS (lệnh 4.3). Khi tất cả câc luật đê được xem xĩt, NEWFACTS trở nín rỗng trong FACTSBASE (lệnh 1.3).
procedure SETUP-A-FACT (FACT)
1. if FACT in FACTSBASE then return ‘success’
2. return RUN-A-CYCLE (FACTSBASE, emptylist, FACT)
procedure RUN-A-CYCLE (RULES, NEWFACTS, FACT, ARULE) 1. if RULES = ∅ then
1.1 begin
1.2 if NEWFACTS = ∅ then return ‘failure’
1.3 FACTSBASE ← FACTSBASE + NEWFACTS
1.4 return RUN-A-CYCLE (FACTSBASE, emptylist, FACT) 1.5 end Luật 3 Luật 4 success Xuất hiện Q trong phần kết luận của luật 4 A C D E G H K A C D E G H K B
2. ARULE ← chọn một luật năo đó từ RULES (chẳng hạn luật gặp đầu tiín) 3. RULES ← RULES − { ARULE }
4. if (∀) (ARULE.premise) in FACTSBASE then 4.1 begin
4.2 if kết luận của ARULE = FACT then return ‘success’ 4.3 if not (ARULE.conclusion in FACTSBASE)
or not (ARULE.conclusion in NEWFACTS)
then NEWFACTS ← NEWFACTS + { ARULE.conclusion } 4.4 RULESBASE ← RULESBASE − { ARULE }
4.5 end
5. return RUN-A-CYCLE (RULES, NEWFACTS, FACT)
Hình 3.7. Sơđồ mây PREDIAGRAM2
Thủ tục PREDIAGRAM2 gđy ra câc sự suy diễn tiến của câc luật vă vă tạo ra câc sự kiện theo chiều rộng. Để minh hoạ, ta xĩt cơ sở sự kiện vă luật đê cho trong ví dụ ở hình 3.2. Để
có thể thiết lập sự kiện Q, người ta khởi động mây PREDIAGRAM2 bởi lời gọi SETUP-A- FACT(‘Q’).
Đồ thị VĂ-HOẶC trong hình sau đđy biểu diễn hoạt động của mây :
Hình 3.8. Đồ thị VĂ-HOẶC biểu diễn hoạt động của mây PREDIAGRAM2
Xuất phât từ trạng thâi đầu của cơ sở sự kiện {A, C, D, E, G, H, K}, luật 3 được khởi
động lăm cho NEWFACTS = {B}. Sau đó, lần lượt luật 6 rồi luật 9 được khởi động xuất phât từ cùng trạng thâi đầu lăm cho NEWFACTS = {B, R, F}. Lúc năy không còn trạng thâi năo
được khởi động xuất phât từ trạng thâi đầu. Sau đó, tập hợp NEWFACTS trở nín rỗng trong FACTSBASE vă FACTSBASE trở thănh {A, C, D, E, G, H, K, B, R, F}. Xuất phât từ trạng thâi năy, luật 4 được khởi động vă tạo ra sự kiện Q.
Vị trí của PREDIAGRAM−2 đối với chu kỳ cơ bản tổng quât
Bước RESTRICTION một mặt, loại trừ tất cả những luật đê sử dụng, nhưng mặt khâc, không cho phĩp sử dụng câc sự kiện có mức n1 chừng năo mă tất cả câc sự kiện có mức nhỏ
hơn hoặc bằng n chưa được tạo ra. Câc bước FILTERING vă CONFLICT-RESOLUTION
đan xen nhau trong RUN-A-CYCLE.
Câc mây ở chếđộ bắt buộc, đơn điệu
Cả hai mây PREDIAGRAM−1 vă PREDIAGRAM−2 đều hoạt động theo chế độ bắt buộc, vì rằng việc khởi động của một luật không bao giờđược thay thế bởi một khởi động khâc vă kết quả tạo ra bởi một luật trong cơ sở sự kiện không bao giờđược xĩt lại.
Mặt khâc, câc lệnh trong PREDIAGRAM−1 vă PREDIAGRAM−2 chỉ cho phĩp bổ sung
Mức 0 : A * D * E * C * H * G * K * Luật 3 = = Luật 6 = Luật 9 (khởi động 1) (khởi động 2) (khởi động 3) Mức 1 : * B * R * F Luật 4 = (khởi động 4) Mức 2 : * Q
Mây suy diễn 79 câc sự kiện đê thiết lập (lệnh 4.2), vì rằng câc sự kiện đê thiết lập vẫn còn đó để tiếp tục. Người ta nói rằng những mây năy lă đơn điệu.
II.3. Tìm luật nhờ suy diễn lùi với chế độ thăm dò đơn điệu