2. Suy diễn tiến : là quá trình suy luận xuất phát từ một số sự kiện ban đầu, xác định các sự kiện có thể được “sinh” ra từ sự kiện này. 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 | 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 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á | 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 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 Dẫn ra sự kiện mới Tạo ra giả thuyết mới Khẳng dịnh hay phủ định giả thuyết Tiếp nhận FACT mới từ bên ngồi IV. Phương pháp suy diễn(tt) Dẫn ra sự kiện mới (1) If MATCH(LHS, FACT) = T THEN ADD RHS TO FACT (2) If NOT MATCH(RHS, FACT) = F THEN ADD NOT(LHS) TO FACT b. Tạo giả thuyết mới (3) If MATCH(LHS, FACT) = F THEN ADD NOT(RHS) TO HYPO (4) If MATCH(LHS, HYPO) = T THEN ADD RHS TO HYPO (5) If MATCH(LHS, HYPO) = F THEN ADD NOT(RHS) TO HYPO (6) If MATCH(RHS, FACT) = T THEN ADD LHS TO HYPO (7) If MATCH(RHS, HYPO) = T THEN ADD LHS TO HYPO (8) If MATCH(LHS, HYPO) = F THEN ADD NOT(LHS) TO HYPO IV. Phương pháp suy diễn(tt) c. Khẳng định hay phủ dịnh giả thuyết (9) If MATCH () = T THEN ADD hypo TO HYPO (10) If MATCH () = F THEN DELETE hypo TOHYPO d. Tiếp nhận FACT mới từ bên ngồi GET (FACT) [ ] : Lặp lại nhiều lần { } : Tùy chọn Lập luận tiến: [(1)] Lập luận lùi: (6) + [(7)] + {d} + (9) + .
