Bài giảng Trí tuệ nhân tạo cung cấp các kiến thức cơ bản về phương pháp biểu diễn và giải quyết vấn đề, các kỹ thuật biểu diễn và xử lý tri thức. Nội dung bài giảng được biên soạn thành 7 chương, mời các bạn cùng tham khảo để biết thêm nội dung chi tiết. | BỘ GIAO THÔNG VẬN TẢI TRƢỜNG ĐẠI HỌC HÀNG HẢI BỘ MÔN KHOA HỌC MÁY TÍNH KHOA CÔNG NGHỆ THÔNG TIN BÀI GIẢNG TRÍ TUỆ NHÂN TẠO TÊN HỌC PHẦN TRÍ TUỆ NHÂN TẠO MÃ HỌC PHẦN 17210 TRÌNH ĐỘ ĐÀO TẠO ĐẠI HỌC CHÍNH QUY DÙNG CHO SV NGÀNH CÔNG NGHỆ THÔNG TIN HẢI PHÒNG - 2009 MỤC LỤC STT NỘI DUNG TRANG Phần I Giải quyết vấn đề bằng tìm kiếm 1 Chƣơng 1 Các chiến lƣợc tìm kiếm mù 2 Biểu diễn vấn đề trong không gian trạng thái 2 Các chiến lược tìm kiếm 4 Các chiến lược tìm kiếm mù 6 Quy vấn đề về các vấn đề con. Tìm kiếm trên đồ thị và hoặc 9 Bài tập chương I 14 Chƣơng 2 Các chiến lƣợc tìm kiếm kinh nghiệm 15 Hàm đánh giá và tìm kiếm kinh nghiệm 15 Tìm kiếm tốt nhất - đầu tiên 16 Tìm kiếm leo đồi 17 Tìm kiếm beam 18 Bài tập chương II 19 Chƣơng 3 Các chiến lƣợc tìm kiếm tối ƣu 19 Tìm đường đi ngắn nhất 19 Tìm đối tượng tốt nhất 23 Tìm kiếm mô phỏng sự tiến hóa. Thuật toán di truyền 25 Bài tập chương III 29 Chƣơng 4 Tìm kiếm có đối thủ 30 Cây trò chơi và tìm kiếm trên cây trò chơi 30 Chiến lược Minimax 31 Phương pháp cắt cụt Alpha-Beta 34 Bài tập chương 4 36 Phần II Tri thức và lập luận 37 Chƣơng 5 Logic mệnh đề 37 Biểu diễn tri thức 37 Cú pháp và ngữ nghĩa của logic mệnh đề 38 Dạng chuẩn tắc 41 Luật suy diễn 42 Luật phân giải chứng minh bác bỏ bằng luật phân giải 43 Bài tập chương 5 47 Chƣơng 6 Logic vị từ cấp I 48 Cú pháp và ngữ nghĩa của logic vị từ cấp I 49 Chuẩn hóa công thức 52 Các luật suy diễn 53 Thuật toán hợp nhất 54 Luật phân giải chứng minh bác bỏ bằng luật phân giải 54 Bài tập chương 6 54 Chƣơng 7 Biểu diễn tri thức và lập luận 55 Biểu diễn tri thức bởi các luật nếu thì 55 Lập luận tiến và lập luận lùi trong các hệ dựa trên luật 56 Thủ tục lập luận tiến 56 Thủ tục lập luận lùi 61 Bài tập chương 7 65 Tên học phần TRÍ TUỆ NHÂN TẠO. 1. Số tín chỉ 3 TC 2. Loại học phần 2 3. Điều kiện tiên quyết Sinh viên phải nắm được một ngôn ngữ lập trình và học môn CTDL và Thuật
