Giao trinh Giao trinh Giao trinh TRÍ TUỆ NHÂN TẠO chương gioi thieu

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