Hợp giải mệnh đề Thuật toán hợp giải Thuật toán Davis Putman Suy diễn tiến Suy diễn lùi Đánh giá suy diễn tiến và suy diễn lùi Hợp giải Mệnh đề • Hợp giải mệnh đề là luật của suy diễn • Chỉ sử dụng một mình hợp giải mệnh đề (không cần sử dụng các luật khác) có thể xây dựng một chương trình chứng minh lý thuyết đúng và đủ cho tất cả Logic Mệnh đề • Chỉ hoạt động với biểu diễn dạng hội chuẩn (Conjunctive Normal Form). | Các hệ thông logic Tô Hoài Việt Khoa Công nghệ Thông tin Đại học Khoa học Tự nhiên TPHCM thviet@ Trang 1 Tổng quát Hợp giải mệnh đề Thuật toán hợp giải Thuật toán Davis Putman Suy diễn tiến Suy diễn lùi Đánh giá suy diễn tiến và suy diễn lùi Trang 2 Hợp giải Mệnh đê Hợp giải mệnh đê là luật của suy diễn Chỉ sử dụng một mình hợp giải mệnh đê không cần sử dụng các luật khác có thể xây dựng một chương trình chứng minh lý thuyết đúng và đủ cho tất cả Logic Mệnh đê Chỉ hoạt động với biểu diễn dạng hội chuẩn Conjunctive Normal Form Trang
