Đại Học Quốc Gia TP.HCM Trƣờng Đại Học Bách Khoa Khoa Khoa học Kỹ thuật máy tính Vietnam National University – HCMC Ho Chi Minh City University of Technology Faculty of Computer Science and Engineering Đề cương môn học NHẬP MƠN TRÍ TUỆ NHÂN TẠO (Introduction to Artificial Intelligence) Số tín (3.0.6) Số tiết Tổng: 45 BT: 0% TN: 0% KT: 0% - Bài tập lớn (lập trình) 20% - Thi cuối kỳ (viết, 120’) 80% Khơng có Cấu trúc rời rạc cho KHMT Cấu trúc liệu giải thuật Môn song hành TN: BTL/TL: x BTL/TL: 20% Thi: 80% Khoa học máy tính Đại học Cấp độ môn học CO1007 CO2003 en Zo CTĐT ngành Trình độ đào tạo ne Mơn học trước LT: CO3061 om Môn tiên LT: 45 C Môn ĐA, TT, LV Tỉ lệ đánh giá Hình thức đánh giá MSMH Ghi khác nh Vi Mô tả môn học (Course Description) Si Môn học nhằm giới thiệu lịch sử, vấn đề lĩnh vực Trí tuệ Nhân tạo, cung cấp phương pháp luận ngơn ngữ tảng để máy tính giải toán mà người giải được, bao gồm: - Lịch sử, vấn đề lĩnh vực Trí tuệ Nhân tạo - Tìm kiếm theo kinh nghiệm - Biểu diễn suy luận tri thức - Chơi trò chơi - Lập kế hoạch - Mạng Bayes Tập hợp mờ logic mờ - Học máy Tài liệu học tập [1] Cao Hoàng Trụ (2008) Trí tuệ Nhân tạo = Thơng minh + Giải thuật Nhà Xuất Đại học Quốc gia TP.HCM [2] Stuart Russell & Peter Norvig (2009) Artificial Intelligence - A Modern Approach Prentice Hall, 3rd edition [3] Elaine Rich & Kevin Knight (1991), Artificial Intelligence McGraw-Hill, 2nd edition [4] George Klir & Bo Yuan (1995),Fuzzy Sets and Fuzzy Logic: Theory and Applications Prentice Hall [5] Tom Mitchell (1997), Machine Learning, McGraw-Hill 1/4 Mục tiêu môn học (Course Goals) Sau học xong môn học này, sinh viên đạt khả năng: Hiểu biết: - L.O.1: Biểu diễn tốn cần giải khơng gian trạng thái thiết kế giải thuật tìm kiếm heuristic thích hợp để giải - L.O.2: Hiểu biết số khái niệm giải thuật việc làm cho máy tính chơi trò chơi lập kế hoạch - L.O.3: Sử dụng logic, mạng Bayes, tập hợp mờ để biểu diễn suy luận tri thức - L.O.4: Hiểu biết số khái niệm, nguyên lý, giải thuật việc làm cho máy tính tự học Kỹ năng: - L.O.5: Hiện thực số hệ thống thông minh đơn giản Chuẩn đầu môn học Biểu diễn tốn cần giải khơng gian trạng thái thiết kế giải thuật tìm kiếm heuristic thích hợp để giải L.O.1.1 – Xây dựng không gian trạng thái để biểu diễn toán cần giải L.O.1.2 – Thiết kế giải thuật tìm kiếm heuristic thích hợp để giải toán đặt Hiểu biết số khái niệm giải thuật việc làm cho máy tính chơi trò chơi lập kế hoạch L.O.2.1 – Hiểu biết số khái niệm giải thuật việc làm cho máy tính chơi trò chơi L.O.2.2 – Hiểu biết số khái niệm giải thuật việc làm cho máy tính lập kế hoạch Sử dụng logic, mạng Bayes, tập hợp mờ để biểu diễn suy luận tri thức L.O.3.1 – Sử dụng logic để biểu diễn suy luận tri thức L.O.3.2 – Sử dụng mạng Bayes để biểu diễn suy luận tri thức không chắn L.O.3.3 – Sử dụng tập hợp mờ để biểu diễn suy luận tri thức không xác Hiểu biết số khái niệm, nguyên lý, giải thuật việc làm cho máy tính tự học L.O.4.1 – Hiểu biết số khái niệm nguyên lý việc làm cho máy tính tự học L.O.4.2 – Hiểu biết số giải thuật việc làm cho máy tính tự học Hiện thực số hệ thống thông minh đơn giản CDIO Zo Si L.O.3 nh Vi en L.O.2 ne C STT L.O.1 om Chuẩn đầu môn học (Course Outcomes) L.O.4 L.O.5 Hƣớng dẫn cách học - chi tiết cách đánh giá môn học Sinh viên cần học đầy đủ buổi Bài tập lớn tập lập trình có áp dụng kiến thức học để giải số toán cụ thể Tỉ lệ đánh giá thành phần nêu Các chuẩn đầu đánh giá thông qua: 2/4 Chuẩn đầu L.O.1.1 L.O.1.2 L.O.2.1 L.O.2.2 L.O.3.1 L.O.3.2 L.O.3.3 L.O.4.1 L.O.4.2 L.O.5 Thi cuối kỳ Thi cuối kỳ Thi cuối kỳ Thi cuối kỳ Thi cuối kỳ Thi cuối kỳ Thi cuối kỳ Thi cuối kỳ Thi cuối kỳ Bài tập lớn Dự kiến danh sách Cán tham gia giảng dạy GS.TS Cao Hoàng Trụ ThS Vương Bá Thịnh C L.O.1.1 – Xây dựng khơng gian trạng thái để biểu diễn tốn cần giải Chƣơng 3.Tìm kiếm theo kinh nghiệm 3.1 Sinh-và-thử 3.2 Leo đồi 3.3 Tôi luyện mô 3.4 Tìm kiếm tốt nhấttrước L.O.1.2 – Thiết kế giải thuật tìm kiếm heuristic thích hợp để giải tốn đặt Chƣơng 4.Chơi trò chơi 4.1 Giải thuật Minimax 4.2 Cắt nhánh AlphaBeta 4.3 Các tinh chế thêm L.O.2.1 – Hiểu biết số khái niệm giải thuật việc làm cho máy tính chơi trò chơi L.O.5 – Hiện thực số hệ thống thông minh đơn giản L.O.2.2 – Hiểu biết số khái niệm giải thuật việc làm cho máy tính lập kế hoạch Si Chƣơng 5.Lập kế hoạch 5.1 Bản chất lập kế hoạch 5.2 Lập kế hoạch tuyến tính 5.3 Lập kế hoạch phi tuyến Hoạt động đánh giá ne Chƣơng Dẫn nhập 1.1 Định nghĩa Trí tuệ Nhân tạo 1.2.Lịch sử tóm lược 1.3.Một số tốn dẫn nhập Chƣơng Giải vấn đề nhƣ tìm kiếm 2.1.Khơng gian trạng thái 2.2.Các chiến lược tìm kiếm 2.3.Các đặc tính toán Hoạt động dạy học Thầy/Cô: - Giảng lớp Zo Chuẩn đầu chi tiết en Nội dung nh Vi Tuần / Chƣơng om Nội dung chi tiết Sinh viên: - Nghe giảng lớp - Đọc tài liệu [1] [2] nhà Thầy/Cô: - Giảng lớp Sinh viên: - Nghe giảng lớp - Đọc tài liệu [1] [3] nhà Thầy/Cô: - Giảng lớp Sinh viên: - Nghe giảng lớp - Đọc tài liệu [1] [3] nhà Thầy/Cô: - Giảng lớp Sinh viên: - Nghe giảng lớp - Đọc tài liệu [1] [3] nhà - Làm tập lớn Thầy/Cô: - Giảng lớp Sinh viên: - Nghe giảng lớp - Đọc tài liệu [1] [3] nhà 3/4 13, 14, 15 Chƣơng 7.Tri thức có cấu trúc 7.1 Các hệ thống ký hiệu logic 7.2 Mạng ngữ nghĩa 7.3 Khung 7.4 Đồ thị khái niệm Chƣơng 8.Tri thức không chắn khơng xác 8.1 Lý thuyết xác suất 8.2 Mạng Bayes 8.3 Lý thuyết tập mờ 8.4 Số học mờ 8.5 Logic mờ điều khiển mờ Chƣơng Học máy 9.1 Các khái niệm 9.2 Học khái niệm 9.3 Giải thuật loại ứng viên 9.4 Cây định L.O.3.1 – Sử dụng logic để biểu diễn suy luận tri thức Sinh viên: - Nghe giảng lớp - Đọc tài liệu [1] [3] nhà Thầy/Cô: - Giảng lớp Sinh viên: - Nghe giảng lớp - Đọc tài liệu [1] [3] nhà om Thầy/Cô: - Giảng lớp Sinh viên: - Nghe giảng lớp - Đọc tài liệu [1], [2], [4] nhà .C L.O.3.2 – Sử dụng mạng Bayes để biểu diễn suy luận tri thức không chắn L.O.3.3 – Sử dụng tập hợp mờ để biểu diễn suy luận tri thức không xác L.O.4.1 – Hiểu biết số khái niệm nguyên lý việc làm cho máy tính tự học L.O.4.2 – Hiểu biết số giải thuật việc làm cho máy tính tự học Thầy/Cơ: - Giảng lớp Sinh viên: - Nghe giảng lớp - Đọc tài liệu [1]và [5] nhà Chấm tập lớn nh Vi Thi cuối kỳ Thầy/Cô: - Giảng lớp ne 9, 10, 11, 12 L.O.3.1 – Sử dụng logic để biểu diễn suy luận tri thức Zo Chƣơng 6.Biểu diễn suy luận tri thức 6.1 Các vấn đề 6.2 Dùng logic mệnh đề 6.3 Dùng logic vị từ 6.4 Các hệ thống dựa luật en 6, Thông tin liên hệ Si Bộ môn/Khoa phụ trách Khoa học máy tính/ Khoa KH&KTMT Văn phòng Điện thoại 38647256 – 5848 Giảng viên phụ trách GS.TS Cao Hồng Trụ Email tru@cse.hcmut.edu.vn Tp Hồ Chí Minh, ngày tháng 12 năm 2016 TRƢỞNG KHOA CHỦ NHIỆM BỘ MÔN CB PHỤ TRÁCH LẬP ĐỀ CƢƠNG GS.TS Cao Hoàng Trụ 4/4 ... thông minh đơn giản CDIO Zo Si L.O.3 nh Vi en L.O.2 ne C STT L.O.1 om Chuẩn đầu môn học (Course Outcomes) L.O.4 L.O.5 Hƣớng dẫn cách học - chi tiết cách đánh giá môn học Sinh viên cần học đầy đủ