3/4/2014 1 Tuần 6 (Bài 1) Hai V Pham 1 HUST 2 3
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
3/4/2014
1
Tuần 6 (Bài 1) Hai V Pham
1HUST
2
3
3/4/2014
3
7
8
9
Ghi chú:
Ʌ hoặc l là ký hiệu phủ định
3/4/2014
5
� Kết quả:
Hai V Pham [email protected] 13
14
� P=“Trời mưa”� Q= “Bầu trời có mây”Ta có hai phát biểu sau đúng:� P� Q� PVậy theo luật suy diễn � Q là đúng.Nghĩa là: “Bầu trtrtrtrời có mây”i có mây”i có mây”i có mây”
15
3/4/2014
6
� ChuyChuyChuyChuyểnnnn sang sang sang sang mmmmệnhnhnhnh đđđđề::::◦ 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) => (P3 ^ ¬(P5 ^ P6)) v (¬P3 ^ (P5 ^ P6))◦ W3 = ¬P3 ^ ¬P4
W4 W4 W4 W4 = P5= P5= P5= P5 BiBiBiBiểuuuu ththththứcccc ccccầnnnn chchchchứngngngng minhminhminhminh
16
17
18
3/4/2014
7
� 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 Schứ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.
19
20
21
3/4/2014
8
� Áp dụng chuẩn CNF� Có tính đúng đắn nhưng chưa hoàn chỉnh
22
23
24
3/4/2014
9
� Cho KB Cho KB Cho KB Cho KB –––– cơcơcơcơ ssssở tri tri tri tri ththththứcccc làlàlàlà mmmmộtttt ttttậpppp cáccáccáccác lulululuậtttt
Chứng minh S có được suy ra từ KB hay không?
25
26
27
3/4/2014
10
28
Mệnh đề: 1 2 3 4 5
LPCM
Related Documents
