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ở đầu2
1. Tổng quan về Khoa học Trí ruệ nhân tạo2
2. Lịch sử phát triển của Trí tuệ nhân tạo5
3. Một số vấn đề Trí tuệ nhân tạo quan tâm8
4. Các khái niêm cơ bản10

Chương 1. Biểu diễn bài toán trong không gian trạng thái12
1. Đặt vấn đề12
2. Mô tả trạng thái12
3. Toán tử chuyển trạng thái14
4. Không gian trạng thái của bài toán17
5. Biểu diễn không gian trạng thái dưới dạng đồ thị18
6. Bài tập21

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ộng23
2. Phương pháp tìm kiếm theo chiều sâu30
3. Phương pháp tìm kiếm sâu dần34
4. Phương pháp tìm kiếm tốt nhất đầu tiên36
5. Tìm kiếm đường đi có giá thành cực tiểu - Thuật toán AT39
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 đồi46
8. Phương pháp sinh và thử49
9. Phương pháp thoả mãn ràng buộc51
10. Cài đặt một số giải thuật.53
11. Bài tập72

Chương 3
Phân rã bài toán – Tìm kiếm lời giải trên đồ thị Và/Hoặc90
1. Đặt vấn đề90
2. Đồ thị Và/Hoặc92
3. Các phương pháp tìm kiếm lời giải trên đồ thị Và/Hoặc94
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 minh107
1. Biểu diễn vấn đề hờ logic hình thức108
2. Một số giải thuật chứng minh130
3. Ví dụ và bài tập138

Chương 5. Tri thức và các phương pháp suy diễn148
1. Tri thức và dữ liệu148
2. Các dạng mô tả tri thức149
3. Suy diễn trên luật sản xuất152

Tài liệu tham khảo163

Download:
[You must be registered and logged in to see this link.]