Tuần 4 2 phương pháp hợp giải, suy diễn tiến và lùi

18/3/2017 Tuần (Bài 4) Hai V Pham HUST 18/3/2017 Hai V Pham hai@spice.ci.ritsumei.ac.jp 18/3/2017 Ghi chú: Ʌ l ký hiệu phủ định 18/3/2017 10 Hai V Pham hai@spice.ci.ritsumei.ac.jp 11 12 18/3/2017 Kết quả: Hai V Pham hai@spice.ci.ritsumei.ac.jp 13 P=“Trời mưa” Q= “Bầu trời có mây” Ta có hai phát biểu sau đúng: P Q P Vậy theo luật suy diễn Q Nghĩa là: “Bầu trời tr i có mây” mây” 14 15 18/3/2017 Chuyển nh đề:: Chuy n sang mệnh ◦ ◦ ◦ ◦ ◦ ◦ P1 P2 P3 P4 P5 P6 = = = = = = “Cầu “Cầu “Cầu “Cầu “Cầu “Cầu thủ thủ thủ thủ thủ thủ A A A A A A đá bóng” vị trí tiền đạo” có phong độ tốt” trận ko ghi bàn” ghi bàn thành công” xuất sắc” Các biểu thức thành lập từ đoạn trên: ◦ W1 = P1 ^ P2 ◦ W2 = (P1 ^ P2) => (P3 ^ ¬(P5 ^ P6)) v (¬P3 ^ (P5 ^ P6)) ◦ W3 = ¬P3 ^ ¬P4 W4 = P5 Biểu n chứng Bi u thức th c cần ch ng minh 16 17 18 18/3/2017 Luật phân giải bảo tồn tính Unsatisfiable S unsatisfiable ⇔ Rn(S)cũng unsatisfiable R: luật phân giải, n số lần áp dụng R S, n>0 Ứng dụng luật phân giải : dùng để chứng minh: Có S tập clause, dùng S chứng minh biểu thức mệnh đề W Phương pháp: ◦ ◦ ◦ ◦ Thành lập phủ định W ưa ¬W dạng clause Thêm clause bước ii vào S thành lập S1 Dùng luật phân giải S1 để dẫn clause rỗng 19 20 21 18/3/2017 Áp dụng chuẩn CNF Có tính đắn chưa hoàn chỉnh 22 23 24 18/3/2017 Cho KB – sở tri thức p luật th c mộtt tập lu t Chứng minh S có suy từ KB hay không? 25 26 27 18/3/2017 Mệnh đề: PCM 28 Với tập mệnh đề giả thiết (cơ sở tri thức) KB, cần suy mệnh đề kết luận Q Ý tưởng: Lặp lại bước sau suy kết luận Áp dụng luật có mệnh đề giả thiết thỏa mãn KB Bổ sung kết luận luật vào KB Hai V Pham hai@spice.ci.ritsumei.ac.jp 29 Hai V Pham hai@spice.ci.ritsumei.ac.jp 30 10 18/3/2017 Ý tưởng: Quá trình suy diễn mệnh đề kết luận Q ể chứng minh Q tập mệnh đề (cơ sở tri thức) KB Kiểm tra xem Q chứng minh (trong KB) chưa Nếu chưa, tiếp tục chứng minh tất mệnh đề giả thiết luật (trong KB) có mệnh đề kết luận Q tránh vòng lặp Kiểm tra xem mệnh đề có danh sách mệnh đề cần chứng minh chưa? KB Hai V Pham hai@spice.ci.ritsumei.ac.jp 31 Hai V Pham hai@spice.ci.ritsumei.ac.jp 32 11 ... clause Thêm clause bước ii vào S thành lập S1 Dùng luật phân giải S1 để dẫn clause rỗng 19 20 21 18/3 /20 17 Áp dụng chuẩn CNF Có tính đắn chưa hồn chỉnh 22 23 24 18/3 /20 17 Cho KB – sở tri thức... t Chứng minh S có suy từ KB hay không? 25 26 27 18/3 /20 17 Mệnh đề: PCM 28 Với tập mệnh đề giả thiết (cơ sở tri thức) KB, cần suy mệnh đề kết luận Q Ý tưởng: Lặp lại bước sau suy kết luận Áp dụng... phát biểu sau đúng: P Q P Vậy theo luật suy diễn Q Nghĩa là: “Bầu trời tr i có mây” mây” 14 15 18/3 /20 17 Chuyển nh đề:: Chuy n sang mệnh ◦ ◦ ◦ ◦ ◦ ◦ P1 P2 P3 P4 P5 P6 = = = = = = “Cầu “Cầu “Cầu “Cầu