Tuần 4 2 phương pháp hợp giải, suy diễn tiến và lùi
Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (1.51 MB, 11 trang )
18/3/2017
Tuần 2
(Bài 4)
Hai V Pham
HUST
1
2
3
1
18/3/2017
4
5
Hai V Pham
6
2
18/3/2017
7
8
Ghi chú:
Ʌ hoặc l là ký hiệu phủ định
9
3
18/3/2017
10
Hai V Pham
11
12
4
18/3/2017
Kết quả:
Hai V Pham
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”
mây”
14
15
5
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”
hiện có phong độ tốt”
trận này 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 được 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
6
18/3/2017
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
ư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
7
18/3/2017
Áp dụng chuẩn CNF
Có tính đúng đắn nhưng chưa hoàn chỉnh
22
23
24
8
18/3/2017
Cho KB – cơ sở tri thức
p các luật
th c là mộtt tập
lu t
Chứng minh S có được suy ra từ KB hay không?
25
26
27
9
18/3/2017
Mệnh đề: 1
2
3
4
5
PCM
28
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
Hai V Pham
29
Hai V Pham
30
10
18/3/2017
Ý tưởng: Quá trình suy diễn bắt đầu từ mệnh đề kết
luận Q
ể 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
Hai V Pham
31
Hai V Pham
32
11
