Professional Documents
Culture Documents
Mọi câu ñều có thể ñược biến ñổi thành CNF, nhưng
kích thước có thể tăng lên theo luỹ thừa.
Ví dụ Hợp giải Mệnh ñề
9
Mệnh ñề Horn =
biến mệnh ñề, hay
(nối rời các biến) ⇒ biến
Ví dụ: C ∧ (B ⇒ A) ∧ (C ∧ D ⇒ D)
Tam ñoạn luận (cho dạng Horn): ñủ ñối với KB Horn
α⇒β, α
β
Có thể ñược sử dụng với suy diễn tiến và suy diễn lùi
Các thuật toán này rất tự nhiên và chạy với thời gian tuyến tính
Ví dụ Hợp giải Mệnh ñề
10
Mệnh ñề Horn =
biến mệnh ñề, hay
(nối rời các biến) ⇒ biến
Ví dụ: C ∧ (B ⇒ A) ∧ (C ∧ D ⇒ D)
Tam ñoạn luận (cho dạng Horn): ñủ ñối với KB Horn
α⇒β, α
β
Có thể ñược sử dụng với suy diễn tiến và suy diễn lùi
Các thuật toán này rất tự nhiên và chạy với thời gian tuyến tính
Suy diễn tiến
14
Tránh loop: kiểm tra xem một mục tiêu phụ ñã nằm trong
ngăn xếp mục tiêu hay chưa
Tránh lặp lại công việc: kiểm tra xem một mục tiêu phụ
mới
1. ñã ñược chứng minh ñúng, hay
2. ñã thất bại
Ví dụ Suy diễn Lùi
24
Ví dụ Suy diễn Lùi
32
Q? P⇒Q
P?
L?
A?
B?
M?
L?
B?
Ví dụ Suy diễn Lùi
26
Q? P⇒Q
P? L∧M⇒P
L?
Ví dụ Suy diễn Lùi
27
Q? P⇒Q
P? L∧M⇒P
L? A∧ B⇒ L
A?
Ví dụ Suy diễn Lùi
28
Q? P⇒Q
P? L∧M⇒P
L? A∧B⇒L
A?
B?
Ví dụ Suy diễn Lùi
29
Q? P⇒Q
P? L∧M⇒P
L?
A?
B?
Ví dụ Suy diễn Lùi
30
Q? P⇒Q
P? L∧M⇒P
L?
A?
B?
M? L∧ B⇒M
L?
B?
Ví dụ Suy diễn Lùi
31
Q? P⇒Q
P? L∧M⇒P
L?
A?
B?
M?
L?
B?
Ví dụ Suy diễn Lùi
32
Q? P⇒Q
P?
L?
A?
B?
M?
L?
B?
Ví dụ Suy diễn Lùi
33
Q?
P?
L?
A?
B?
M?
L?
B?
Suy diễn Tiến (FC) và Lùi (BC)
34