Tài liệu Trí Tuệ Nhân Tạo

Lời nói đầu 2
Nhập môn 4
I GIẢI QUYẾT CÁC VẤN ĐỀ BẰNG TÌM KIẾM 9
Chương 1. CÁC CHIẾN LƯỢC TÌM KIẾM MÙ 11
1.1 BIỂU DIỄN VẤN ĐỀ TRONG KHÔNG GIAN TRẠNG THÁI 11
1.2 CÁC CHIẾN LƯỢC TÌM KIẾM . 13
1.3 CÁC CHIẾN LƯỢC TÌM KIẾM MÙ 15
1.3.1 Tìm kiếm theo bề rộng 15
1.3.2 Tìm kiếm theo bề sâu . 17
1.3.3 Các trạng thái lặp . 17
1.3.4 Tìm kiếm sâu lặp . 18
1.4 QUY VẤN ĐỀ VỀ VẤN ĐỀ CON.TÌM KIẾM TRÊN ĐỒ THỊ VÀ / HOẶC . 19
1.4.1 Quy vấn đề về các vấn đề con 19
1.5 ĐỒ THỊ VÀ / HOẶC . 22
1.6 TÌM KIẾM TRÊN ĐỒ THỊ VÀ / HOẶC . 25
Chương 2. CÁC CHIẾN LƯỢC TÌM KIẾM KINH NGHIỆM 27
2.1 HÀM ĐÁNH GIÁ VÀ TÌM KIẾM KINH NGHIỆM 27
2.2 TÌM KIẾM TỐT NHẤT - ĐẦU TIÊN 28
2.3 Tìm kiếm leo đồi . 30
2.4 Tìm kiếm Beam 31
Chương 3. CÁC CHIẾN LƯỢC TÌM KIẾM TỐI ƯU 33
3.1 TÌM ĐƯỜNG ĐI NGẮN NHẤT . 33
3.1.1 Thuật toán A . 35
3.1.2 Thuật toán tìm kiếm nhánh - và - cận 37
3.2 TÌM ĐỐI TƯỢNG TỐT NHẤT . 38
3.2.1 Tìm kiếm leo đồi . 39
3.2.2 Tìm kiếm gradient 40
3.2.3 Tìm kiếm mô phỏng luyện kim 40
3.3 TÌM KIẾM MÔ PHỎNG SỰ TIẾN HÓA. THUẬT TOÁN DI TRUYỀN . 41
Chương 4. TÌM KIẾM ĐỐI THỦ 47
4.1 CÂY TRÒ CHƠI VÀ TÌM KIẾM CÂY TRÒ CHƠI . 47
4.2 CHIẾN LƯỢC MINIMAX 49
4.3 PHƯƠNG PHÁP CẮT CỤT . 53
II TRI THỨC VÀ LẬP LUẬN 56
Chương 5. LOGIC MỆNH ĐỀ 57
5.1 BIỂU DIỄN TRI THỨC . 57
5.2 CÚ PHÁP VÀ NGỮ NGHĨA CỦA LOGIC MỆNH ĐỀ . 58
5.2.1 Cú pháp 58
5.2.2 Ngữ nghĩa . 59
5.3 DẠNG CHUẨN TẮC . 61
5.3.1 Sự tương đương của các công thức 61
5.3.2 Dạng chuẩn tắc 61
5.3.3 Các câu Horn . 62
5.4 LUẬT SUY DIỄN 63
5.5 LUẬT PHÂN GIẢI, CHỨNG MINH BÁC BỎ BẰNG LUẬT PHÂN GIẢI 65
Chương 6. LOGIC VỊ TỪ CẤP MỘT 68
6.1 CÚ PHÁP VÀ NGỮ NGHĨA CỦA LOGIC VỊ TỪ CẤP MỘT . 69
6.1.1 Cú pháp 69
6.1.2 Ngữ nghĩa . 70
6.2 CHUẨN HÓA CÁC CÔNG THỨC . 72
6.3 CÁC LUẬT SUY DIỄN . 74
6.4 THUẬT TOÁN HỢP NHẤT . 76
6.5 CHỨNG MINH BẰNG LUẬT PHÂN GIẢI . 79
6.6 CÁC CHIẾN LƯỢC PHÂN GIẢI 82
6.6.1 Chiến lược phân giải theo bề rộng 84
6.6.2 Chiến lược phân giải sử dụng tập hỗ trợ . 84
6.6.3 Chiến lược tuyến tính . 85
6.7 SỬ DỤNG LOGIC VỊ TỪ CẤP MỘT ĐỂ BIỂU DIỄN TRI THỨC 86
6.7.1 Vị từ bằng 86
6.7.2 Danh sách và các phép toán trên danh sách . 86
6.8 XÂY DỰNG CƠ SỞ TRI THỨC . 89
6.9 CÀI ĐẶT CƠ SỞ TRI THỨC 91
6.9.1 Cài đặt các hạng thức và các câu phân tử 91
6.9.2 Cài đặt cơ sở tri thức . 93
Chương 7. BIỂU DIỄN TRI THỨC BỞI CÁC LUẬT VÀ LẬP LUẬN 97
7.1 BIỂU DIỄN TRI THỨC BỞI CÁC LUẬT NẾU - THÌ . 97
7.2 LẬP LUẬN TIẾN VÀ LẬP LUẬN LÙI TRONG CÁC HỆ DỰA TRÊN LUẬT 98
7.2.1 Lập luận tiến . 99
7.2.2 Lập luận lùi 101
7.2.3 Lập luận lùi như tìm kiếm trên đồ thị và/hoặc 102
7.3 THỦ TỤC LẬP LUẬN TIẾN 104
7.3.1 Thủ tục For chain . 104
7.3.2 Thủ tục rete 107
7.3.3 Hệ hành động dựa trên luật 110
7.4 THỦ TỤC LẬP LUẬN LÙI . 112
7.5 BIỂU DIỄN TRI THỨC KHÔNG CHẮC CHẮN 114
7.6 HỆ LẬP TRÌNH LOGIC . 116
7.7 HỆ CHUYÊN GIA 118
Chương 8. LOGIC KHÔNG ĐƠN ĐIỆU 122
8.1 LẬP LUẬN CÓ THỂ XEM XÉT LẠI VÀ LOGIC KHÔNG ĐƠN ĐIỆU . 122
8.2 ĐẶC ĐIỂM CỦA LOGIC KHÔNG ĐƠN ĐIỆU 123
8.3 LOGIC MẶC ĐỊNH . 125
8.4 GIẢ THUYẾT THẾ GIỚI ĐÓNG 128
8.5 BỔ XUNG VỊ TỪ 129
8.6 HẠN CHẾ PHẠM VI . 131
Chương 9. LƯỚI NGỮ NGHĨA VÀ HỆ KHUNG 133
9.1 NGÔN NGỮ MÔ TẢ KHÁI NIỆM . 133
9.2 LƯỚI NGỮ NGHĨA . 135
9.3 KHUNG 140
Chương 10.TRI THỨC KHÔNG CHẮC CHẮN 144
10.1 KHÔNG CHẮC CHẮN VÀ BIỂU DIỄN 144
10.2 MỘT SỐ KHÁI NIỆM CƠ BẢN CỦA LÍ THUYẾT XÁC SUẤT . 145
10.3 MẠNG XÁC SUẤT . 152
10.3.1 Định nghĩa mạng xác suất 152
10.3.2 Vấn đề lập luận trong mạng xác suất . 154
10.3.3 Khả năng biểu diễn của mạng xác suất 155
10.3.4 Sự độc lập của các biến trong mạng xác suất 156
10.4 SUY DIỄN TRONG MẠNG CÓ CẤU TRÚC CÂY . 157
10.5 MẠNG KẾT NỐI ĐƠN 163
10.6 SUY DIỄN TRONG MẠNG ĐA KẾT NỐI . 169
10.6.1 Biến đổi mạng đa kết nối thành mạng kết nối đơn 171
10.6.2 Phương pháp mô phỏng ngẫu nhiên . 172
10.7 LÝ THUYẾT QUYẾT ĐỊNH 174
Chương 11.LOGIC MỜ VÀ LẬP LUẬN XẤP XỈ 179
11.1 TẬP MỜ . 180
11.1.1 Khái niệm tập mờ . 180
11.1.2 Một số khái niệm cơ bản liên quan tới tập mờ 183
11.1.3 Tính mờ và tính ngẫu nhiên . 185
11.1.4 Xác định các hàm thuộc . 185
11.2 CÁC PHÉP TOÁN TRÊN TẬP MỜ . 188
11.2.1 Các phép toán chuẩn trên tập mờ . 189
11.2.2 Các phép toán khác trên tập mờ . 191
11.3 QUAN HỆ MỜ VÀ NGUYÊN LÍ MỞ RỘNG 194
11.3.1 Quan hệ mờ 194
11.3.2 Hợp thành của các quan hệ mờ 195
11.3.3 Nguyên lý mở rộng 197
11.4 LOGIC MỜ 197
11.4.1 Biến ngôn ngữ và mệnh đề mờ 197
11.4.2 Các mệnh đề mờ hợp thành . 199
11.4.3 Kéo theo mờ - Luật if - then mờ . 201
11.4.4 Luật Modus - Ponens tổng quát . 204
11.5 HỆ MỜ 206
11.5.1 Kiến trúc của hệ mờ . 206
11.5.2 Cở sở của luật mờ 207
11.5.3 Bộ suy diễn mờ 208
11.5.4 Mờ hóa 209
11.5.5 Khử mờ 210
11.5.6 Hệ mờ là hệ tính xấp xỉ vạn năng 211