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
Trang 1Lờ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ả
Trang 2Tà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
Trang 3
Mục lục
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
Chương 1 Biểu diễn bài toán trong không gian trạng thái 12
5 Biểu diễn không gian trạng thái dưới dạng đồ thị 18
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
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
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
3 Các phương pháp tìm kiếm lời giải trên đồ thị Và/Hoặc 94
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
Trang 41 Biểu diễn vấn đề hờ logic hình thức 108
Chương 5 Tri thức và các phương pháp suy diễn 148
Trang 5ĐẠI HỌC HUẾ TRƯỜNG ĐẠI HỌC KHOA HỌC
Giáo trình
TRÍ TUỆ NHÂN TẠO
Huế, 2004