Bài giảng Nhập môn trí tuệ nhân tạo: Chương 6 - TS. Ngô Hữu Phúc

Bài giảng Nhập môn trí tuệ nhân tạo: Chương 6 do TS. Ngô Hữu Phúc biên soạn nhằm mục đích phục vụ cho việc giảng dạy. Nội dung bài giảng gồm: Bài toán thoả ràng buộc (CSP), tìm kiếm backtracking cho CSP, tìm kiếm địa phương cho CSP,...
Nội dung trích xuất từ tài liệu:
Bài giảng Nhập môn trí tuệ nhân tạo: Chương 6 - TS. Ngô Hữu Phúc NHẬP MÔN TRÍ TUỆ NHÂN TẠO Chương 6: Các bài toán thỏa rằng buộc Biên soạn: TS Ngô Hữu Phúc Bộ môn: Khoa học máy tính Mobile: 098 56 96 580 Email: ngohuuphuc76@gmail.com 1 Các bài toán thỏa rằng buộc Thông tin chung  Thông tin về nhóm môn học: TT Họ tên giáo viên Học hàm Học vị Đơn vị công tác (Bộ môn) 1 Ngô Hữu Phúc GVC TS BM Khoa học máy tính 2 Trần Nguyên Ngọc GVC TS BM Khoa học máy tính 3 Hà Chí Trung GVC TS BM Khoa học máy tính 4 Trần Cao Trưởng GV ThS BM Khoa học máy tính  Thời gian, địa điểm làm việc: Bộ môn Khoa học máy tính Tầng 2, nhà A1.  Địa chỉ liên hệ: Bộ môn Khoa học máy tính, khoa Công nghệ thông tin.  Điện thoại, email: 069-515-329, ngohuuphuc76.mta@gmail.com. 2 Các bài toán thỏa rằng buộc Cấu trúc môn học  Chương 1: Giới thiệu chung.  Chương 2: Logic hình thức.  Chương 3: Các phương pháp tìm kiếm mù.  Chương 4: Các phương pháp tìm kiếm có sử dụng thông tin.  Chương 5: Các chiến lược tìm kiếm có đối thủ.  Chương 6: Các bài toán thỏa rằng buộc.  Chương 7: Nhập môn học máy. 3 Các bài toán thỏa rằng buộc Bài 6: Các bài toán thỏa rằng buộc Chương 6, mục: 6.1 – 6.3 Tiết: 1-3; Tuần thứ: 8,9 (làm thực hành chương 5),10. Mục đích, yêu cầu: Nắm được khái niệm về thỏa rằng buộc. 2. Nắm được phương pháp tìm kiếm thỏa rằng buộc. 3. Xây dựng chương trình minh họa. 1. Hình thức tổ chức dạy học: Lý thuyết. Thời gian: 3 tiết. Địa điểm: Giảng đường do Phòng Đào tạo phân công Nội dung chính: (Slides) 4 Các bài toán thỏa rằng buộc Nội Dung Tìm kiếm thoả ràng buộc: –Bài toán thoả ràng buộc (CSP) –Tìm kiếm backtracking cho CSP –Tìm kiếm địa phương cho CSP Các bài toán thỏa rằng buộc 5