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