Báo Cáo Tìm hiểu thuật giải Vương Hạo và thuật giải Robinson. Xây dựng chương trình chứng minh tự động

tài liệu đẩy đủ của 1 bài tập lớn

Tìm hiểu thuật giải vương hạo và thuật giải Robinson. Xây dựng chương trình chứng minh tự động

MỤC LỤC

I. Các phương pháp chứng minh tự động. 3
1. Thuật giải Vương Hạo. 3
2. Thuật giải Robinson. 5
II. Suy diễn tiến, suy diễn lùi trong logic mệnh đề. 7
1. Suy diễn tiến trong logic mệnh đề. 7
2. Suy diễn lùi trong logic mệnh đề. 9
III. Nhận xét 10
Tài liệu tham khảo. 11