Luận Văn Tìm hiểu phương pháp biểu diễn tri thức bằng không gian trạng thái. Áp dụng cài đặt bài toán minh họ

MỤC LỤC​ LỜI NÓI ĐẦU 1
DANH SÁCH HÌNH VẼ 4
DANH SÁCH CÁC TỪ VIẾT TẮT 5
CHƯƠNG 1: TỔNG QUAN VỀ TRÍ TUỆ NHÂN TẠO 6
1. LỊCH SỬ HÌNH THÀNH VÀ PHÁT TRIỂN 6
2. ĐỊNH NGHĨA TRÍ TUỆ NHÂN TẠO 7
3. CÁC ĐẶC TRƯNG CỦA TRÍ TUỆ NHÂN TẠO 9
4. CÁC THÀNH PHẦN TRONG HỆ THỐNG TRÍ TUỆ NHÂN TẠO 9
5. CÁC LĨNH VỰC NGHIÊN CỨU VÀ ỨNG DỤNG CƠ BẢN CỦA TTNT 10
5.1. Lý thuyết giải bài toán và suy diễn thông minh. 10
5.2. Lý thuyết tìm kiếm may rủi 10
5.3. Các ngôn ngữ về Trí Tuệ Nhân Tạo. 10
5.4. Lý thuyết thể hiện tri thức và hệ chuyên gia. 10
5.5. Lý thuyết nhận dạng và xử lý tiếng nói 11
5.6. Người máy. 11
5.7. Tâm lý học xử lý thông tin. 11
6. NHỮNG XU HƯỚNG MỚI TRONG TTNT 12
CHƯƠNG 2: BIỂU DIỄN TRI THỨC 13
1. KHÁI NIỆM – PHÂN LOẠI 13
1.1. Tri thức là gì?. 13
1.2. Phân loại tri thức. 14
1.3. Tri thức và suy diễn. 15
2. CÁC PHƯƠNG PHÁP BIỂU DIỄN TRI THỨC 16
2.1. Biểu diễn tri thức bằng Logic mệnh đề. 17
2.2. Biểu diễn tri thức bằng Logic vị từ. 19
2.3. Phương pháp biểu diễn nhờ mạng ngữ nghĩa. 28
2.4. Biểu diễn tri thức bởi bộ ba liên hợp OAV (Object – Attribute – Value). 32
2.5. Biểu diễn tri thức nhờ các luật sản xuất 34
2.6. Biểu diễn tri thức bằng Frame. 36
CHƯƠNG 3: NGÔN NGỮ PROLOG VÀ ÁP DỤNG VÀO CÀI ĐẶT BÀI TOÁN MINH HỌA 37
1.LẬP TRÌNH LOGIC TRONG PROLOG: 37
1.1. Giới thiệu về ngôn ngữ Prolog. 37
1.2. Các kiểu dữ liệu sơ cấp của Prolog. 39
1.3. Sự kiện và luật trong Prolog. 41
1.4. Kiểu dữ liệu cấu trúc của Prolog. 48
2. NGỮ NGHĨA CỦA CHƯƠNG TRÌNH PROLOG 49
2.1. Các mức ngữ nghĩa của chương trình Prolog. 49
3. CẤU TRÚC DANH SÁCH 56
3.1. Biểu diễn cấu trúc danh sách. 56
3.2. Một số vị từ xử lý danh sách của Prolog. 58
3.3. Hoán vị 58
4. KỸ THUẬT LẬP TRÌNH PROLOG 59
4.1. Nhát cắt 59
4.2. Mô phỏng ôtômat hữu hạn không đơn định. 62
5. ÁP DỤNG VÀO CÀI ĐẶT BÀI TOÁN “LẬP KẾ HOẠCH ĐI DU LỊCH BẰNG MÁY BAY” 66
Phụ lục A: Chương trình lập kế hoạch đi du lịch bằng máy bay. 69
Phụ lục B: Hướng dẫn sử dụng SWI-Prolog. 75
KẾT LUẬN 81
TÀI LIỆU THAM KHẢO 82

Bài luận văn gồm FILE báo cáo word + powpoit, chương trình demo hoàn chỉnh