Giáo trình Trí tuệ nhân tạoTài liệu học Trí tuệ nhân tạo
Giới thiệu Tải về Bình luận
2
Mua tài khoản Download Pro để trải nghiệm website Download.vn KHÔNG quảng cáo& tải File cực nhanh chỉ từ 79.000đ. Tìm hiểu thêm Mua ngay
Với sự phát triển của thời kỳ 4.0 hiện nay, thì Trí tuệ nhân tạo là một môn học được nhiều bạn sinh viên yêu thích. Đây là môn học giúp cho chúng ta tìm được những phương pháp để máy tính có thể hoạt động giống bộ não của con người.
Để giúp cho các bạn sinh viên có thêm nhiều tài liệu để học môn này dễ dàng, thì sau đây chúng tôi xin mời các bạn cùng tham khảo giáo trình Trí tuệ nhân tạo.
Thông tin về Giáo trình Trí tuệ nhân tạo:
Phạm Thọ Hoàn, Phạm Thị Anh Lê
Khoa Công nghệ thông tin
Trường Đại học Sư phạm Hà Nội
Nội dung của giáo trình Trí tuệ nhân tạo
Bộ tài liệu này sẽ gồm có 10 chương:
Chương 1: Giới thiệu tổng quát về Trí tuệ nhân tạo.
Chương 2: Bài toán và phương pháp tìm kiếm lời giải.
Chương 3: Các phương pháp tìm kiếm heuristic.
Chương 4: Các giải thuật tìm kiếm lời giải cho trò chơi.
Chương 5: Các phương pháp tìm kiếm lời giải thỏa mãn các ràng buộc.
Chương 6: Các phương pháp lập luận trên logic mệnh đề.
Chương 7: Các phương pháp lập luận trên logic cấp một.
Chương 8: Prolog.
Chương 9: Lập luận với tri thức không chắc chắn.
Chương 10: Học mạng nơron nhân tạo.
Giáo trìnhTRÍ TUỆ NHÂN TẠO ARTIFICIAL INTELLIGENCEPhạm Thọ Hoàn, Phạm Thị Anh Lê Khoa Công nghệ thông tin Trường Đại học Sư phạm Hà Nội Hà nội, 2011 MỤC LỤC Chương 1 – Giới thiệu …………………………………………………………………………………..51. Trí tuệ nhân tạo là gì?……………………………………………………………………………………………5 2. Lịch sử………………………………………………………………………………………………………………..6 3. Các lĩnh vực của AI………………………………………………………………………………………………7 4. Nội dung môn học…………………………………………………………………………………………………9 Chương 2 – Bài toán và phương pháp tìm kiếm lời giải …………………………………..101. Bài toán và các thành phần của bài toán…………………………………………………………………10 2. Giải thuật tổng quát tìm kiếm lời giải…………………………………………………………………….14 3. Đánh giá giải thuật tìm kiếm…………………………………………………………………………………174. Các giải thuật tìm kiếm không có thông tin phản hồi (tìm kiếm mù)………………………….18 Chương 3 –Các phương pháp tìm kiếm heuristic…………………………………………….251. Giải thuật tìm kiếm tốt nhất đầu tiên (best first search)…………………………………………….25 2. Các biến thể của giải thuật best first search…………………………………………………………….28 3. Các giải thuật khác………………………………………………………………………………………………31 Chương 4 – Các giải thuật tìm kiếm lời giải cho trò chơi…………………………………371. Cây trò chơi đầy đủ……………………………………………………………………………………………..37 2. Giải thuật Minimax……………………………………………………………………………………………..39 3. Giải thuật Minimax với độ sâu hạn chế………………………………………………………………….41 4. Giải thuật Minimax với cắt tỉa alpha-beta………………………………………………………………44 Chương 5 – Các phương pháp tìm kiếm lời giải thỏa mãn các ràng buộc…………..471. Các bài toán thỏa mãn các ràng buộc……………………………………………………………………..47 2. Giải thuật quay lui vét cạn……………………………………………………………………………………50 3. Các cải tiến của giải thuật quay lui………………………………………………………………………..51 4. Các giải thuật tối ưu địa phương……………………………………………………………………………54 Chương 6 – Các phương pháp lập luận trên logic mệnh đề………………………………551. Lập luận và Logic……………………………………………………………………………………………….55 2. Logic mệnh đề: cú pháp, ngữ nghĩa……………………………………………………………………….55 3. Bài toán lập luận và các giải thuật lập luận trên logic mệnh đề………………………………….58 4. Câu dạng chuẩn hội và luật phân giải…………………………………………………………………….60 5. Câu dạng Horn và tam đoạn luận…………………………………………………………………………..63 6. Thuật toán suy diễn dựa trên bảng giá trị chân lý…………………………………………………….65 7. Thuật toán suy diễn dựa trên luật phân giải…………………………………………………………….65 8. Thuật toán suy diễn tiến, lùi dựa trên các câu Horn…………………………………………………67 9. Kết chương………………………………………………………………………………………………………… 70 Chương 7 – Các phương pháp lập luận trên logic cấp một……………………………….721. Cú pháp – ngữ nghĩa……………………………………………………………………………………………74 2. Lập luận trong logic vị từ cấp một…………………………………………………………………………78 3. Phép đồng nhất hai vị từ, thuật giải đồng nhất ………………………………………………………..80 4. Câu dạng chuẩn hội, luật phân giải tổng quát………………………………………………………….82 5. Câu dạng Horn và tam đoạn luận tổng quát trong logic cấp 1……………………………………84 6. Giải thuật suy diễn phân giải………………………………………………………………………………..86 7. Thuật toán suy diễn tiến dựa trên câu Horn…………………………………………………………….89 8. Thuật toán suy diễn lùi dựa trên câu Horn………………………………………………………………91 Chương 8 – Prolog………………………………………………………………………………………921. Lập trình logic, môi trường lập trình SWI Prolog……………………………………………………92 2. Ngôn ngữ Prolog cơ bản, chương trình Prolog………………………………………………………..95
