Giáo trình Trí tuệ nhân tạo: Phần 1 - ĐH Huế

Cuốn giáo trình “Trí tuệ nhân tạo”, một môn cơ sở chuyên ngành trong chương trình đào tạo cử nhân tin học, ngoài mục đích xây dựng nhiều giáo trình trên một khung chương trình đào tạo, mà còn giúp cho sinh viên có tài liệu học tập phù hợp với hoàn cảnh thực tế của Đại học Huế. Đi sâu vào tìm hiểu, giáo trình có nội dung gồm 6 chương phần 1 sách gồm 3 chương đầu với nội dung: Chương mở đầu, chương 1. Biểu diễn bài toán trong không gian trạng thái, chương 2. Các phương pháp tìm kiếm lời giải trong không gian trạng thái.
Nội dung trích xuất từ tài liệu:
Giáo trình Trí tuệ nhân tạo: Phần 1 - ĐH Huế ĐẠI HỌC HUẾ TRƯỜNG ĐẠI HỌC KHOA HỌC Giáo trình TRÍ TUỆ NHÂN TẠO Huế, 2004 Lời nói đầu Trong các năm qua, nhiều tài liệu của ngành công nghệ thông tin đã được giới thiệu nhiều cho các cán bộ nghiên cứu, ứng dụng và sinh viên ở bậc đại học. Tuy nhiên các giáo trình của ngành học này chưa đáp ứng dược nhu cầu của sinh viên các trường đại học, đặc biệt đối với sinh viên khu vực miền Trung. Vì vậy, chúng tôi biên soạn giáo trình “Trí tuệ nhân tạo”, một môn cơ sở chuyên ngành trong chương trình đào tạo Cử nhân Tin học, ngoài mục đích xây dựng nhiều giáo trình trên một khung chương trình đào tạo, mà còn giúp cho sinh viên có tài liệu học tập phù hợp với hoàn cảnh thực tế của Đại học Huế. Trong cuốn sách này, sinh viên được làm quen với một số kiến thức cơ bản nhất về các phương pháp tìm kiếm lời giải và các phương pháp xử lý tri thức. Ngoài ra, cuốn sách cũng giới thiệu một số chương trình cài đặt, nhằm giúp sinh viên có thể hiểu một cách tường tận các giải thuật, đồng thời tin tưởng rằng các giải thuật này có thể áp dung thực tế và cài đặt được trên máy tính một cách dễ dàng. Các nội dung trình bày trong cuốn sách đã từng được giảng cho sinh viên ngành Công nghệ Thông tin tại Đại học Huế trong những năm vừa qua. Cuốn sách ra đời dưới sự giúp đỡ về mặt vật chất cũng như tinh thần của Đại học Huế, Trường Đại học Khoa học và đặc biệt là Ban chủ nhiệm Khoa Công nghệ Thông tin và các đồng nghiệp thuộc Bộ môn Khoa học Máy tính. Chúng tôi xin gửi tới họ lòng biết ơn. Xin chân thành cám ơn các bạn bè đã cổ cũ và gíup cho cuốn sách sớm được hoàn thành. Mặc dù đã hết sức cố gắng, tuy nhiên cuốn sách cũng không tránh khỏi những thiếu sót. Chúng tôi rất mong được sự góp ý của các độc giả, đặc biệt đối với các đồng nghiệp và sinh viên để cuốn sách ngày càng hoàn thiện. Huế, tháng 7 năm 2004 Tác giả Tài liệu tham khảo 1. Bạch Hưng Khang, Hoàng Kiếm Trí tuệ nhân tạo: Các phương pháp và ứng dụng. Nhà xuất bản Khoa học và Kỹ thuật, 1989. 2. Đinh Mạnh Tường Giáo trình Trí tuệ nhân tạo, Đại học Quốc gia Hà nội. 3. Nguyễn Thanh Thuỷ Trí tuệ nhân tạo: Các phương pháp giải quyết vấn đề và kỹ thuật xử lý tri thức. Nhà xuất bản Giáo dục, 1996. 4. N. Nilson Artificial Intelligence. Ed. McGrawhill, 1971 5. Patrick Henry Winston Artificial Intelligence. Ed. Addison Wesley, 1992. . Mục lục Chương 0. Mở đầu 1. Tổng quan về Khoa học Trí ruệ nhân tạo 2. Lịch sử phát triển của Trí tuệ nhân tạo 3. Một số vấn đề Trí tuệ nhân tạo quan tâm 4. Các khái niêm cơ bản 2 2 5 8 10 Chương 1. Biểu diễn bài toán trong không gian trạng thái 1. Đặt vấn đề 2. Mô tả trạng thái 3. Toán tử chuyển trạng thái 4. Không gian trạng thái của bài toán 5. Biểu diễn không gian trạng thái dưới dạng đồ thị 6. Bài tập 12 12 12 14 17 18 21 Chương 2. Các phương pháp tìm kiếm lời giải trong không gian trạng thái 1. Phương pháp tìm kiếm theo chiều rộng 2. Phương pháp tìm kiếm theo chiều sâu 3. Phương pháp tìm kiếm sâu dần 4. Phương pháp tìm kiếm tốt nhất đầu tiên 5. Tìm kiếm đường đi có giá thành cực tiểu - Thuật toán AT 6. Tìm kiếm cực tiểu sử dụng hàm đánh giá - Thuật toán A* 7. Phương pháp tìm kiếm leo đồi 8. Phương pháp sinh và thử 9. Phương pháp thoả mãn ràng buộc 10. Cài đặt một số giải thuật. 11. Bài tập 23 23 30 34 36 39 43 46 49 51 53 72 Chương 3 Phân rã bài toán – Tìm kiếm lời giải trên đồ thị Và/Hoặc 1. Đặt vấn đề 2. Đồ thị Và/Hoặc 3. Các phương pháp tìm kiếm lời giải trên đồ thị Và/Hoặc 4. Cây tìm kiếm và các đấu thủ 90 90 92 94 104 Chương 4. Biểu diễn bài toán bằng logic và các phương pháp chứng minh 107 1. Biểu diễn vấn đề hờ logic hình thức 2. Một số giải thuật chứng minh 3. Ví dụ và bài tập 108 130 138 Chương 5. Tri thức và các phương pháp suy diễn 1. Tri thức và dữ liệu 2. Các dạng mô tả tri thức 3. Suy diễn trên luật sản xuất 148 148 149 152 Tài liệu tham khảo 163