Bài viết sưu tầm

suy diễn lùi (lập luận lùi - backward chaining hoặc backward reason)

Là quá trình xuất phát từ sự kiện cần chứng minh và thay vào đó là những sự kiện ở vế trái của 1 luật có vế phải là sự kiện cần chứng minh. Quá trình này được thực hiện cho đến khi đưa về các sự kiện là tập sự kiện con của tập sự kiện giả thiết.

(nghĩa là: để đưa ra kết luận b, ta thử tìm tất cả các luật có dạng: a₁ Ù ....Ù a_n Þ b, để có b, phải đưa ra các kết luận a₁,...,a_n. Quá trình xác định a_i cũng tương tự như đối với b, nếu đến một lúc nào đó phát hiện được rằng có một a_i nào đó không dẫn xuất được từ các giả thiết thì quay lui sang các luật sản xuất khác sinh ra b có dạng b₁Ù....Ùb_m Þ b. ngược lại, nếu mọi a_i đều dẫn xuất được giả thiết thì quá trình dẫn xuất ra b là đúng).

Ví dụ: cho tập sự kiện F={p, r}, và tập luật R:

r₁) p Þ q

r₂) q Ù r Þ s

chứng minh s.