Đang tải... (xem toàn văn)
Chương 0. Mở đầu 2 1. Tổng quan về Khoa học Trí ruệ nhân tạo 2 2. Lịch sử phát triển của Trí tuệ nhân tạo 5 3. Một số vấn đề Trí tuệ nhân tạo quan tâm 8 4. Các khái niêm cơ bản 10 Chương 1. Biểu diễn bài toán trong không gian trạng thái 12 1. Đặt vấn đề 12 2. Mô tả trạng thái 12 3. Toán tử chuyển trạng thái 14 4. Không gian trạng thái của bài toán 17 5. Biểu diễn không gian trạng thái dưới dạng đồ thị 18 6. Bài tập 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 23 1. Phương pháp tìm kiếm theo chiều rộng 23 2. Phương pháp tìm kiếm theo chiều sâu 30 3. Phương pháp tìm kiếm sâu dần 34 4. Phương pháp tìm kiếm tốt nhất đầu tiên 36 5. Tìm kiếm đường đi có giá thành cực tiểu - Thuật toán AT 39 6. Tìm kiếm cực tiểu sử dụng hàm đánh giá - Thuật toán A* 43 7. Phương pháp tìm kiếm leo đồi 46 8. Phương pháp sinh và thử 49 9. Phương pháp thoả mãn ràng buộc 51 10. Cài đặt một số giải thuật. 53 11. Bài tập 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 90 1. Đặt vấn đề 90 2. Đồ thị Và/Hoặc 92 3. Các phương pháp tìm kiếm lời giải trên đồ thị Và/Hoặc 94 4. Cây tìm kiếm và các đấu thủ 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 108 2. Một số giải thuật chứng minh 130 3. Ví dụ và bài tập 138 Chương 5. Tri thức và các phương pháp suy diễn 148 1. Tri thức và dữ liệu 148 2. Các dạng mô tả tri thức 149 3. Suy diễn trên luật sản xuất 152
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 2 1. Tổng quan về Khoa học Trí ruệ nhân tạo 2 2. Lịch sử phát triển của Trí tuệ nhân tạo 5 3. Một số vấn đề Trí tuệ nhân tạo quan tâm 8 4. Các khái niêm cơ bản 10 Chương 1. Biểu diễn bài toán trong không gian trạng thái 12 1. Đặt vấn đề 12 2. Mô tả trạng thái 12 3. Toán tử chuyển trạng thái 14 4. Không gian trạng thái của bài toán 17 5. Biểu diễn không gian trạng thái dưới dạng đồ thị 18 6. Bài tập 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 23 1. Phương pháp tìm kiếm theo chiều rộng 23 2. Phương pháp tìm kiếm theo chiều sâu 30 3. Phương pháp tìm kiếm sâu dần 34 4. Phương pháp tìm kiếm tốt nhất đầu tiên 36 5. Tìm kiếm đường đi có giá thành cực tiểu - Thuật toán AT 39 6. Tìm kiếm cực tiểu sử dụng hàm đánh giá - Thuật toán A* 43 7. Phương pháp tìm kiếm leo đồi 46 8. Phương pháp sinh và thử 49 9. Phương pháp thoả mãn ràng buộc 51 10. Cài đặt một số giải thuật. 53 11. Bài tập 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 90 1. Đặt vấn đề 90 2. Đồ thị Và/Hoặc 92 3. Các phương pháp tìm kiếm lời giải trên đồ thị Và/Hoặc 94 4. Cây tìm kiếm và các đấu thủ 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 108 2. Một số giải thuật chứng minh 130 3. Ví dụ và bài tập 138 Chương 5. Tri thức và các phương pháp suy diễn 148 1. Tri thức và dữ liệu 148 2. Các dạng mô tả tri thức 149 3. Suy diễn trên luật sản xuất 152 Tài liệu tham khảo 163 ĐẠI HỌC HUẾ TRƯỜNG ĐẠI HỌC KHOA HỌC Giáo trình TRÍ TUỆ NHÂN TẠO Huế, 2004 . Mục lục Chương 0. Mở đầu 2 1. Tổng quan về Khoa học Trí ruệ nhân tạo 2 2. Lịch sử phát triển của Trí tuệ nhân tạo 5 3. Một số vấn đề Trí tuệ nhân tạo quan. 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