|
Đề cương môn học
Bài giảng
Bài tập lớn
|
ĐỀ CƯƠNG MÔN HỌC
Mô tả môn học
Môn học này nhằm giới thiệu cho sinh viên các khái niệm cơ bản về trí
tuệ nhân tạo: các phương pháp giải quyết vấn đề, kỹ thuật chứng minh tự
động, suy diễn. Kết thúc môn học, sinh viên sẽ biết cách xây dựng và mô
phỏng các hệ thống thông minh trên máy tính.
Nội dung môn học
Trang bị cho học viên những hiểu biết cũng như kĩ năng về trí tuệ nhận
tạo, bao gồm:
• Các khái niệm cơ bản của trí tuệ nhân tạo
• Giải quyết vấn đề bằng tìm kiếm: tìm kiếm có ràng buộc, tìm kiếm heuristics
• Biểu diễn bài toán bằng lôgic và chứng minh tự động
• Biểu diễn tri thức và suy diễn
• Một số vấn đề nâng cao trong trí tuệ nhân tạo: cây quyết định, mạng
nơ ron, giải thuật di truyền, logic mờ, xử lý ngôn ngữ tự nhiên,...
Đánh giá kết quả
| Tham dự + kiểm tra trên lớp: |
10% |
| Bài tập lớn: |
20% |
| Thi cuối kỳ: |
70% |
Giáo trình
- Nguyễn Thanh Thủy. Trí tuệ nhân tạo. NXB Giáo dục.
Tài liệu tham khảo
- Phan Huy Khánh. Lập trình logic trong Prolog. NXB Đại học quốc gia
Hà Nội. 2004.
- B.H. Khang, H. Kiếm. Trí tuệ nhân tạo: Các phương pháp và ứng dụng.
NXB KHKT, 1989.
- Russell and Norvig. Artificial Intelligence: A Modern Approach. Prentice
Hall, 2003, Second Edition
- George Luger. Artificial Intelligence: Structures and Strategies for
Complex Problem Solving. Addison-Wesley Publisher, 2002
|