Mục lục:
Định nghĩa - Backward Chaining có nghĩa là gì?
Xâu chuỗi ngược là một phương pháp suy luận được sử dụng rộng rãi trong trí tuệ nhân tạo, máy chủ định lý tự động và trợ lý chứng minh. Phương pháp xâu chuỗi ngược có thể được mô tả là hoạt động trở lại từ một mục tiêu. Nhiều ngôn ngữ lập trình hỗ trợ chuỗi lạc hậu trong các công cụ suy luận của họ.
Xâu chuỗi ngược cũng được gọi là lý luận lạc hậu.
Techopedia giải thích Chuỗi lạc hậu
Chuỗi ngược được sử dụng trong lập trình logic thông qua độ phân giải mệnh đề tuyến tính chọn lọc. Đây là một trong những phương pháp lý luận được sử dụng phổ biến nhất với các quy tắc can thiệp và hàm ý logic. Chuỗi liên kết ngược hoạt động ngược từ danh sách các mục tiêu để xác định xem có dữ liệu nào hỗ trợ chúng hay không. Một công cụ suy luận sử dụng chuỗi ngược tìm kiếm các quy tắc suy luận cho đến khi nó tìm thấy một quy tắc có kết quả phù hợp với mục tiêu mong muốn. Nếu tiền lệ của quy tắc này không được biết là đúng, quy tắc sẽ được thêm vào danh sách các mục tiêu để có thể tìm thấy dữ liệu để xác nhận quy tắc đó.
