CTT303_Co-so-tri-tue-nhan-tao

CLC | Đề cương môn học | | Page 1 TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN CHƯƠNG TRÌNH CHẤT LƯỢNG CAO ĐỀ CƯƠNG MÔN HỌC CTT303 CƠ SỞ TRÍ TUỆ NHÂN TẠO Học kỳ / 20 20 THÔNG TIN GIẢNG VIÊN Họ v[.]

TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN CHƯƠNG TRÌNH CHẤT LƯỢNG CAO ĐỀ CƯƠNG MƠN HỌC CTT303: CƠ SỞ TRÍ TUỆ NHÂN TẠO Học kỳ: … / 20…-20… THÔNG TIN GIẢNG VIÊN Họ tên: Tơ Hồi Việt Văn phịng làm việc: I81 Email: thviet@fit.hcmus.edu.vn; thviet82@gmail.com Số điện thoại: Thời gian tiếp sinh viên: 9h-12h, sáng thứ hàng tuần THƠNG TIN MƠN HỌC Số tín chỉ: tín Điều kiện bắt buộc: Lớp: MỤC TIÊU MÔN HỌC Để đạt mơn học này, sinh viên cần:  có khả trình bày cách thức áp dụng tri thức bổ sung vào phương pháp tìm kiếm máy tính  có khả xây dựng chương trình thử nghiệm đánh giá ảnh hưởng tri thức bổ sung lên hiệu thuật toán tìm kiếm  có khả định nghĩa xây dựng hệ thống logic máy tính đồng thời cho ví dụ cách thức xử lý tốn logic máy tính CLC | Đề cương môn học | | Page  định nghĩa khái niệm học máy, giải thích vấn đề học máy trình bày số thuật tốn học MƠ TẢ MƠN HỌC Nội dung môn học cung cấp cho sinh viên nhìn tổng qt lĩnh vực Trí tuệ nhân tạo, vai trị Trí tuệ nhân tạo nghiên cứu khoa học, cần thiết việc ứng dụng thành tựu lĩnh vực vào đời sống thực tế Môn học hướng dẫn sinh viên tiếp cận với vấn đề Trí tuệ nhân tạo bao gồm giải vấn đề thuật tốn tìm kiếm (tầm quan trọng ứng dụng tri thức bổ sung để cải thiện hiệu thuật tốn tìm kiếm), biểu diễn tri thức lập luận (kiến thức kĩ để biểu diễn tri thức, xây dựng hệ chuyên gia), học máy (kiến thức tổng quan để xây dựng hệ thống tự động rút trích tri thức từ liệu) Sinh viên tạo điều kiện tiếp cận với ứng dụng, công cụ hỗ trợ để thực hành điều học lý thuyết thu kinh nghiệm việc áp dụng vào thực tiễn TÀI LIỆU MƠN HỌC Sách giáo trình [1] Lê Hồi Bắc, Tơ Hồi Việt, “Giáo trình Cơ sở Trí tuệ nhân tạo”, 2013 Sách tham khảo [1] Michael Negnevitsky, “Artificial Intelligence - A Guide to Intelligent Systems”, 2005 [2] Stuart Russell, Peter Norvig, “Artificial Intelligence: A Modern Approach 2nd Ed., 2003 Phần mềm [1] Visual Studio [2] SWI Prolog [3] Weka Website mơn học [1] Theo website chương trình/moodle CHỦ ĐỀ MƠN HỌC  Chủ đề 1: Giới thiệu TTNT  Chủ đề 2: Giải vấn đề phương pháp tìm kiếm  Chủ đề 3: Biểu diễn tri thức lập luận CLC | Đề cương môn học | | Page  Chủ đề 4: Học máy YÊU CẦU MÔN HỌC (Dưới mang tính minh họa, giảng viên thay đổi) Bài tập nhà Sinh viên thực tập tương ứng với chủ đề tìm kiếm, biểu diễn tri thức lập luận theo nội dung cung cấp giáo viên trợ giảng Kiểm tra kỳ Hồn thành kiểm tra với chủ đề tìm kiếm biểu diễn tri thức Kiểm tra cuối kỳ Hoàn thành kiểm tra với chủ đề lập luận xấp xỉ, học máy Bài tập lớn Cài đặt đồ án ứng với chủ đề theo hướng dẫn giáo viên hướng dẫn thực hành THANG ĐIỂM Phần trăm Thành phần môn học Bài tập nhà 10% Bài tập kiểm tra lớp 10% Bài tập lớn 30% Kiểm tra kỳ 20% Kiểm tra cuối kỳ/ Đồ án 30% QUI ĐỊNH VỀ ĐẠO ĐỨC VÀ TÍNH TRUNG THỰC Sinh viên khơng chép mã nguồn không phép không nêu rõ báo cáo tập nhóm, thực hành CLC | Đề cương môn học | | Page NHỮNG QUY ĐỊNH KHÁC Quy định thơng tin, liên lạc qua máy tính Moodle and e-mail sử dụng để trao đổi với sinh viên suốt khóa học Vì vậy, sinh viên nên kiểm tra e-mail ngày Khi gởi e-mail tới giảng viên, tiêu đề email bắt đầu: [CTT303-Mã Lớp] Nội dung CLC | Đề cương môn học | | Page LỊCH TRÌNH GIẢNG DẠY (Gồm: chủ đề môn học, tập, đọc liên quan, tập nhóm kiểm tra) Tuần Thứ Ngày Bài đọc liên quan Nội dung Bài tập nhà/Bài tập nhóm Giới thiệu TTNT Các phương pháp tìm kiếm mù Giáo trình – Chương Bài tốn tìm kiếm Tìm kiếm heuristic – TÌm kiếm A* Giáo trình – Chương Tìm kiếm A* Bài tập nhóm: cài đặt A* Các phương pháp tìm kiếm cục - Thuật giải Di truyền Giáo trình – Phần 2.3 Bài tốn phân cơng Một số tốn thuật giải heuristic Chương cơng việc, tơ màu Trị chơi – Tìm kiếm đối kháng Giới thiệu logic mệnh đề & Các phương pháp suy diễn Giáo trình – Chương Bài tập Robinson – logic mệnh đề Davis Putman Giáo trình – Chương Bài tập biểu diễn lập Logic bậc Suy diễn với logic bậc &6 luận FOL Bài tập nhóm: Prolog Suy diễn khơng chắn – Bayes, Hệ số chắn CLC | Đề cương môn học | | Page Giáo trình – Chương Bài tập Bayes, CF Giáo trình – Chương Bài tập học máy Giới thiệu học máy, mơ hình Nạve Bayes – Phần 1,2 10 Học với định Học dựa giải thích Giáo trình – Chương Bài tập nhóm: WEKA – Phần 3,4 11 Ơn tập CLC | Đề cương môn học | | Page