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

Luật phân giải bảo toàn tính Unsatisfiable S là unsatisfiable ⇔ RnScũ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:

Trang 1

Tuần 2 (Bài 4) Hai V Pham

1

HUST

2

Trang 2

5

Hai V Pham

hai@spice.ci.ritsumei.ac.jp 6

Trang 3

8

Ghi chú:

Ʌ hoặc l là ký hiệu phủ định

Trang 4

Hai V Pham

hai@spice.ci.ritsumei.ac.jp 11

12

Trang 5

Kết quả:

Hai V Pham hai@spice.ci.ritsumei.ac.jp 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

P

Vậy theo luật suy diễn Q là đúng

Nghĩa là: “Bầu trtrtrờiiii cócócó mâymâymây””””

Trang 6

ChuyChuyểnnn sang sang sang mmmệnhnhnh đđđề::::

◦ 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 = P5 = P5 Biểu Bi u u th th thức cc c c cc cần n n ch ch chứng ng ng minh minh

16

17

18

Trang 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 S chứng

Phương pháp:

◦ Thành lập phủđịnh của W

19

20

Trang 8

Áp dụng chuẩn CNF

Có tính đúng đắn nhưng chưa hoàn chỉnh

22

23

24

Trang 9

Cho KB Cho KB –––– cơcơcơ ssssở tri tri tri thththứcccc làlàlà mmmộtttt ttttậppp cáccáccác lululuậtttt

Chứng minh S có được suy ra từ KB hay không?

25

26

Trang 10

Mệnh đề: 1 2 3 4 5

LPCM

Với một tập các mệnh đề giả thiết (cơ sở tri

thức) KB, cần suy ra mệnh đề kết luận Q

Ý tưởng: Lặp lại 2 bước sau cho đến khi suy ra

được kết luận

Áp dụng các luật có mệnh đề giả thiết được

thỏa mãn trong KB

Bổ sung kết luận của các luật đó vào KB

Trang 11

Ý tưởng: Quá trình suy diễn bắt đầu từ mệnh đề kết

luận Q

Lể chứng minh Q bằng tập mệnh đề (cơ sở tri thức)

KB

Kiểm tra xem Q đã được chứng minh (trong KB)

chưa

Nếu chưa, tiếp tục chứng minh tất cả các mệnh đề

giả thiết của một luật nào đó (trong KB) có mệnh đề

kết luận là Q tránh các vòng lặp

Kiểm tra xem các mệnh đề mới đã có trong danh

sách các mệnh đề cần chứng minh chưa? trong KB

Định dạng
Số trang	11
Dung lượng	1,51 MB