Giáo trình Trí tuệ nhân tạo Artificial Intelligence

Bài toán lập luận, suy diễn

Khái niệm lập luận (reasoning), và suy diễn (reference) được sử dụng rất phổ biến

trong lĩnh vực AI. Lập luận là suy diễn logic, dùng để chỉ một tiến trình rút ra kết luận

(tri thức mới) từ những giả thiết đã cho (được biểu diễn dưới dạng cơ sở tri thức).

Như vậy, để thực hiện lập luận người ta cần có các phương pháp lưu trữ cơ sở tri thức

và các thủ tục lập luậ