- 3/4/2014 Tuần 6 (Bài 1) Hai V Pham HUST Hai V Pham
[email protected] Ghi chú: Ʌ hoặc l là ký hiệu phủ định Hai V Pham
[email protected] Kết quả: Hai V Pham
[email protected] 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 là đúng.
- Nghĩa là: “Bầu trời tr i có mây Chuyển Chuy n sang mệnh nh đề.
- P1 = “Cầu thủ A đá bóng.
- P2 = “Cầu thủ A vị trí tiền đạo.
- P3 = “Cầu thủ A hiện có phong độ tốt.
- P4 = “Cầu thủ A trận này ko ghi bàn.
- P5 = “Cầu thủ A ghi bàn thành công.
- P6 = “Cầu thủ A xuất sắc” Các biểu thức thành lập được từ đoạn trên.
- W1 = P1 ^ P2 ◦ W2 = (P1 ^ P2.
- W3 = ¬P3 ^ ¬P4 W4 = P5 Biểu Bi u thức th c cần n chứng ch ng minh Luật phân giải bảo toàn tính Unsatisfiable S là unsatisfiable ⇔ Rn(S)cũng unsatisfiable R: luật phân giải, n số lần áp dụng R trên S, n>0 Ứng dụng của luật phân giải : dùng để chứng minh: Có S là tập các clause, dùng S chứng minh biểu thức mệnh đề W Phương pháp.
- Thành lập phủ định của W ◦ Lưa ¬W về dạng clause ◦ Thêm clause trong bước ii vào S thành lập S1 ◦ Dùng luật phân giải trên S1 để dẫn ra clause rỗng.
- Áp dụng chuẩn CNF Có tính đúng đắn nhưng chưa hoàn chỉnh Cho KB – cơ sở tri thức th c là mộtt tập p các luật lu t Chứng minh S có được suy ra từ KB hay không Mệnh đề LPCM 28 10