Danh mục bài viết
3. Các cải tiến của giải thuật quay lui ……………………………………………………………………….. 51
4. Các giải thuật tối ưu địa phương…………………………………………………………………………… 54
Chương 6 – Các phương pháp lập luận trên logic mệnh đề ………………………………55
1. Lập luận và Logic ………………………………………………………………………………………………. 55
2. Logic mệnh đề: cú pháp, ngữ nghĩa………………………………………………………………………. 55
3. Bài toán lập luận và các giải thuật lập luận trên logic mệnh đề…………………………………. 58
4. Câu dạng chuẩn hội và luật phân giải ……………………………………………………………………. 60
5. Câu dạng Horn và tam đoạn luận………………………………………………………………………….. 63
6. Thuật toán suy diễn dựa trên bảng giá trị chân lý……………………………………………………. 65
7. Thuật toán suy diễn dựa trên luật phân giải……………………………………………………………. 65
8. Thuật toán suy diễn tiến, lùi dựa trên các câu Horn ………………………………………………… 67
9. Kết chương………………………………………………………………………………………………………… 70
Chương 7 – Các phương pháp lập luận trên logic cấp một ……………………………….72
1. Cú pháp – ngữ nghĩa…………………………………………………………………………………………… 74
2. Lập luận trong logic vị từ cấp một………………………………………………………………………… 78
3. Phép đồng nhất hai vị từ, thuật giải đồng nhất ……………………………………………………….. 80
4. Câu dạng chuẩn hội, luật phân giải tổng quát…………………………………………………………. 82
5. Câu dạng Horn và tam đoạn luận tổng quát trong logic cấp 1…………………………………… 84
6. Giải thuật suy diễn phân giải ……………………………………………………………………………….. 86
7. Thuật toán suy diễn tiến dựa trên câu Horn……………………………………………………………. 89
8. Thuật toán suy diễn lùi dựa trên câu Horn……………………………………………………………… 91
Chương 8 – Prolog………………………………………………………………………………………92
1. Lập trình logic, môi trường lập trình SWI Prolog …………………………………………………… 92
2. Ngôn ngữ Prolog cơ bản, chương trình Prolog……………………………………………………….. 95
