... SUY LUẬN 2.1 Suy diễn lùi Suy diễn lùi phương pháp suy luận, diễn tả q trình kết xuất ngược từ tập đích (goals) Suy diễn lùi thường ứng dụng hệ chứng minh tốn tự động, suy diễn, hệ hổ trợ tìm ... Phương pháp suy diễn lùi thường dùng hệ chun gia, ngơn ngữ lập trình Prolog, Knowledge Machine ECLiPSe hổ trợ suy diễn lùi qua suy diễn chúng 2.2 Suy diễn tiến Đây phương pháp dùng suy diễn hệ ... End; 2.3 Suy diễn Heuristic Suy diễn heutistic phương pháp suy diễn dựa vào kinh nghiệm, phương pháp tạm thời hợp lý nhấm tìm giải pháp cho vần đề Suy diễn heuristic giúp khám phá giải pháp nhanh...