Tổng quan về giáo trình

Giáo trình Trí tuệ nhân tạo (Artificial Intelligence) do Đỗ Trung Tuấn biên soạn, Quách Tuấn Ngọc hiệu đính và biên tập nội dung, được Nhà xuất bản Giáo dục phát hành năm 1998 (mã số xuất bản D1018B7). Về mặt tổ chức xuất bản, công trình chịu trách nhiệm bởi Giám đốc Phạm Văn An, Tổng biên tập Nguyễn Như Ý, cùng sự hỗ trợ chuyên môn từ Giáo sư Nguyễn Thúc Hải và Trung tâm Công nghệ thông tin thuộc Bộ Giáo dục và Đào tạo.

Trong chương trình đào tạo ngành Công nghệ thông tin, tài liệu được biên soạn phục vụ học phần Trí tuệ nhân tạo ở bậc đại học, đồng thời làm tài liệu tham khảo cho bậc cao học và các kỹ sư, cử nhân chuyên ngành. Giáo trình được xây dựng trên cơ sở các bài giảng đã triển khai tại một số trường đại học và kết quả từ các đề tài nghiên cứu về giáo dục - đào tạo giai đoạn 1996–1997.

Mục tiêu học tập của giáo trình tập trung vào hai hướng tiếp cận nền tảng:

  • Cung cấp cơ sở lý thuyết để xây dựng các chương trình máy tính có khả năng mô phỏng hành vi thông minh và hỗ trợ con người ra quyết định.
  • Nghiên cứu mô hình hóa nhận thức, giúp người học hiểu cách thức lưu trữ, biểu diễn và suy lý tri thức của con người để chuyển hóa thành các giải thuật tính toán.

Về cấu trúc, toàn bộ tài liệu dày 473 trang, gồm Lời mở đầu, 23 chương chia thành 3 phần chính và danh mục Tài liệu tham khảo:

  • Chương 1: Giới thiệu tổng quan về lịch sử, khái niệm và các kỹ thuật phát triển trí tuệ nhân tạo.
  • Phần I: Thể hiện tri thức và giải các bài toán (từ Chương 2 đến Chương 9).
  • Phần II: Hệ thống giải bài toán (Chương 10 và Chương 11).
  • Phần III: Học và nhận dạng quy luật (từ Chương 12 đến Chương 22).
  • Chương 23: Tổng kết các vấn đề nghiên cứu.

Điểm đặc sắc của giáo trình là sự phân định rõ ràng giữa tin học cổ điển (xử lý dữ liệu số theo thuật toán tất định) và công nghệ nhận thức (xử lý tri thức ký hiệu, sự kiện và kỹ thuật heuristic). Nội dung sách đi sâu vào các cấu trúc hình thức hóa tri thức và các giải thuật tìm kiếm giải pháp có sử dụng tri thức bổ trợ.


Nội dung kiến thức cốt lõi

Các chương/chủ đề chính

Nội dung 23 chương của giáo trình được thiết kế theo tiến trình phát triển từ biểu diễn hình thức, cơ chế suy luận đến các hệ thống tự động học:

  • Chương 1 – Tổng quan và các tiếp cận trí tuệ nhân tạo: Hệ thống hóa định nghĩa trí tuệ nhân tạo theo 4 tiếp cận chính (suy nghĩ giống con người, suy nghĩ có lý, hành động giống con người qua Thí nghiệm Turing 1950, và hành động có lý theo tác nhân lý trí).
  • Chương 2 – Thể hiện tri thức: Trình bày 5 kỹ thuật biểu diễn cơ bản: bộ ba Đối tượng - Thuộc tính - Giá trị (O-A-V), sự kiện không chắc chắn, mạng ngữ nghĩa, logic mệnh đề và khung (Frame). Giới thiệu cấu trúc hệ thống dựa trên luật (Rule-based systems) và mô hình Bảng đen (Blackboard).
  • Chương 4 & 5 – Kỹ thuật và phương pháp giải bài toán: Trình bày các cơ chế suy diễn tiến (forward chaining), suy diễn lùi (backward chaining), quay lui (backtracking), lan truyền ràng buộc, kỹ thuật so sánh khớp (pattern matching), cùng các giải pháp tìm kiếm heuristic như thuật toán leo núi (hill-climbing), tạo sinh và thử (generate-and-test), tìm kiếm đường đi tối ưu trên đồ thị.
  • Chương 6 & 7 – Logic và thể hiện tri thức không chắc chắn: Trình bày việc sử dụng logic vị từ bậc một, thuật toán hợp nhất (unification algorithm) để chứng minh định lý, các cơ chế suy diễn không đơn điệu (non-monotonic reasoning), xử lý xác suất thống kê và nhân tố chắc chắn (Certainty Factor - CF).
  • Chương 8 & 9 – Biểu diễn cấu trúc tri thức và mạng ngữ nghĩa: Phân tích mô hình mạng ngữ nghĩa có cấu trúc kế thừa qua quan hệ IS-A, cơ chế xử lý ngoại lệ, cấu trúc phụ thuộc khái niệm (conceptual dependency) của Schank và kịch bản (scripts).
  • Chương 10 & 11 – Hệ thống giải bài toán và Perceptron: Giới thiệu bài toán lập kế hoạch bằng toán tử if-add-delete (STRIPS), hệ chuyên gia, trí tuệ nhân tạo phân tán, kiến trúc Blackboard (hệ HEARSAY-II của Erman 1980) và phân tích các hạn chế của mô hình Perceptron.
  • Chương 12 đến 22 – Học và nhận dạng quy luật: Khảo sát toàn diện các mô hình học máy: học quy nạp qua các ví dụ, học dựa trên giải thích (EBL), sửa lỗi sai, thuật toán người láng giềng gần nhất ($k$-NN), không gian các thế hệ (Version Space), cây định tên (Decision Tree) dùng độ lộn xộn thông tin và kiểm định Fisher, mạng nơ-ron nhân tạo với giải thuật lan truyền ngược (Backpropagation), mạng xấp xỉ Gauss, và thuật toán di truyền (Genetic Algorithms).

Kiến thức nền tảng được xây dựng

Giáo trình cung cấp ba khối kiến thức lý thuyết nền tảng:

  • Lý thuyết biểu diễn hình thức (Symbolic AI): Sử dụng logic mệnh đề, logic vị từ bậc nhất, thuật toán hợp nhất mệnh đề dạng chuẩn câu (clausal form) phục vụ bài toán chứng minh tự động và trả lời câu hỏi.
  • Lý thuyết xử lý sự không chắc chắn: Hệ thống hóa lý thuyết chắc chắn thông qua hệ số tin cậy CF (nhân tố chắc chắn nhận giá trị từ -1.0 đến +1.0 khởi nguồn từ hệ MYCIN), và logic mờ của Lotfi Zadeh (1965) sử dụng hàm liên thuộc (membership values từ 0 đến 1) để định lượng các khái niệm nhập nhằng trong ngôn ngữ tự nhiên.
  • Lý thuyết tìm kiếm trạng thái và Heuristic: Xây dựng trên các công trình của Judea Pearl (1984), mô hình hóa không gian trạng thái, cây bài toán AND/OR, và các hàm đánh giá nhằm giảm thiểu độ phức tạp tính toán trong các bài toán tổ hợp.

Kỹ năng phát triển

Thông qua nội dung các chương, tài liệu rèn luyện cho người học:

  • Kỹ năng kỹ thuật (Technical skills): Cài đặt và mã hóa tri thức thành các tập luật IF-THEN có sử dụng biến; xây dựng mạng ngữ nghĩa có cơ chế thừa kế và loại trừ ngoại lệ; thiết lập cây quyết định; cài đặt thuật toán đạo hàm cục bộ trong lan truyền ngược (Backpropagation) và cấu hình các toán tử lai ghép, đột biến trong giải thuật di truyền.
  • Kỹ năng phân tích (Analytical skills): Khả năng phân rã bài toán phức tạp thành các bài toán con độc lập; đánh giá chi phí tính toán giữa suy diễn tiến và suy diễn lùi; phân tích tính ổn định của các thuật toán tối ưu hóa khi gặp điểm cực trị địa phương (local maxima).
  • Năng lực ứng dụng thực tiễn (Practical competencies): Thiết kế kiến trúc tổng thể cho hệ chuyên gia chẩn đoán hoặc tư vấn; xây dựng các bộ phân lớp dữ liệu thực nghiệm dựa trên mô hình học có giám sát và thuật toán tìm kiếm láng giềng.

Phương pháp giảng dạy và học tập

Giáo trình Trí tuệ nhân tạo của Đỗ Trung Tuấn áp dụng phương pháp sư phạm tiếp cận từ trừu tượng hóa hình thức đến cài đặt thuật toán cụ thể. Tác giả sử dụng nguyên tắc định nghĩa hình thức (Definition) đi kèm lược đồ minh họa và ví dụ số học thực tế để làm rõ các khái niệm trừu tượng.

Tài liệu sử dụng nhiều bài toán mẫu và trường hợp điển hình đã được chuẩn hóa trong lịch sử nghiên cứu trí tuệ nhân tạo:

  • Mô hình lập luận chẩn đoán: Phân tích quy trình suy luận của hệ chuyên gia y học MYCIN (Shortliffe 1975) với cách xử lý trọng số niềm tin CF; bài toán chẩn đoán hỏng hóc hệ thống khởi động ô tô nhằm phân biệt giữa luật quan hệ, luật khuyến cáo, luật hướng dẫn và luật meta.
  • Hệ thống phân tán Blackboard: Phân tích hệ thống nhận dạng tiếng nói liên tục HEARSAY-II (Erman 1980) với từ điển 1.000 từ, vận hành dựa trên 12 mô-đun chuyên gia độc lập trao đổi thông tin dị bộ qua bộ nhớ chung.
  • Bài toán nhận thức và phân loại: Sử dụng bài toán phân loại đối tượng "chim" - "chim cánh cụt" - "chip chip" để kiểm tra tính kế thừa và xử lý ngoại lệ trong mạng ngữ nghĩa và khung (Frame của Minsky 1970); bài toán thế giới các khối hộp trong lập kế hoạch hành động.

Về phương pháp thực hành, sách yêu cầu sinh viên tiến hành các bài tập tính toán từng bước:

  • Thực hiện thủ tục quay lui phụ thuộc và lan truyền ràng buộc trên mạng số liệu.
  • Tính toán đạo hàm sai số và điều chỉnh ma trận trọng số trong thuật toán huấn luyện mạng nơ-ron nhiều lớp.
  • Tính toán độ lệch và áp dụng phép thử chính xác Fisher (Fisher's exact test) để tỉa nhánh các luật thừa trong cây định tên.

Về phương pháp đánh giá và tự học, giáo trình đưa ra chỉ dẫn rõ ràng tại Lời giới thiệu: các nội dung được biên soạn linh hoạt nhằm phù hợp với số giờ giảng dạy có hạn của từng cơ sở đào tạo. Giảng viên có thể lựa chọn giảng dạy trọng tâm Phần I (Thể hiện tri thức và giải bài toán) làm kiến thức cốt lõi, hoặc mở rộng Phần III (Học máy) cho các chuyên đề nâng cao. Sinh viên tự học cần bám sát các định nghĩa hình thức, thực hiện lại các bước dò trạng thái trên sơ đồ thuật toán trước khi chuyển đổi sang mã nguồn lập trình.


Điểm nổi bật và cập nhật

Tại thời điểm xuất bản (1998), cuốn sách phản ánh đầy đủ tiến trình phát triển và các xu hướng nghiên cứu lớn của trí tuệ nhân tạo thế giới trong giai đoạn nửa cuối thế kỷ XX:

  • Hệ thống hóa lịch sử theo các mốc phát triển quốc tế: Giáo trình ghi nhận sự hình thành từ phép thử Turing (1950), hội thảo Dartmouth (1956) với các đóng góp của Newell, Simon, Shannon, McCarthy; sự ra đời của ngôn ngữ LISP, IPL-V và hệ GPS (1969); các bước tiến về hệ chuyên gia trong thập niên 1970–1980, và xu hướng tích hợp thành phần thông minh vào hệ thống thông tin quản lý trong thập niên 1990.
  • Cân bằng giữa hai trường phái tính toán: Thay vì chỉ tập trung vào trí tuệ nhân tạo biểu tượng (Symbolic AI) truyền thống vốn chiếm ưu thế trong các tài liệu trước đó, giáo trình dành riêng 11 chương của Phần III để trình bày trường phái kết nối (Connectionism) và tính toán mềm. Điều này thể hiện qua việc phân tích sâu cấu trúc nơ-ron sinh học mô phỏng, thuật toán lan truyền ngược, mạng xấp xỉ dùng hàm Gauss và giải thuật tối ưu hóa tiến hóa phỏng sinh học.
  • Liên kết kỹ thuật phần mềm doanh nghiệp: Sách không cô lập trí tuệ nhân tạo như một ngành thuần lý thuyết, mà chỉ rõ phương pháp tích hợp cơ sở tri thức với các phần mềm tin học cổ điển. Chương 2 minh họa cụ thể việc luật IF-THEN gọi các chương trình viết bằng ngôn ngữ C, truy vấn cơ sở dữ liệu quan hệ bên ngoài và trích xuất dữ liệu từ các tệp bảng tính (spreadsheet).

Đối tượng sử dụng giáo trình

Giáo trình được thiết kế cho các nhóm độc giả sau:

  • Sinh viên đại học chuyên ngành Công nghệ thông tin: Dùng làm tài liệu học tập chính thức cho môn học Trí tuệ nhân tạo, thường được bố trí ở năm thứ ba hoặc năm thứ tư.
  • Học viên cao học và cán bộ nghiên cứu: Dùng để tham khảo các chuyên đề sâu về suy diễn không chắc chắn, tối ưu hóa tổ hợp, thuật toán di truyền và lý thuyết học máy.
  • Kỹ sư và lập trình viên: Khai thác các mô hình giải thuật để xây dựng hệ thống hỗ trợ ra quyết định, phân tích dữ liệu, hoặc cài đặt các mô-đun phân loại thông minh trong các ứng dụng công nghiệp.

Yêu cầu kiến thức nền tảng (Prerequisites): Để tiếp thu trọn vẹn nội dung giáo trình, người học cần có kiến thức tiên quyết về:

  • Toán học rời rạc và Logic toán: Nắm vững logic mệnh đề, logic vị từ bậc nhất, các phép toán đại số Boole và lý thuyết đồ thị (cây, đường đi tối ưu).
  • Giải tích và Xác suất thống kê: Cần thiết để hiểu đạo hàm từng phần trong giải thuật lan truyền ngược, phân phối chuẩn trong hàm Gauss, kiểm định Fisher và công thức xác suất Bayes.
  • Cấu trúc dữ liệu và giải thuật: Thành thạo các giải thuật đệ quy, duyệt đồ thị theo chiều rộng (BFS), duyệt theo chiều sâu (DFS), cấu trúc cây và danh sách liên kết.
  • Kỹ thuật lập trình: Hiểu biết về cơ chế hoạt động của các ngôn ngữ lập trình xử lý ký hiệu (như LISP) hoặc các ngôn ngữ bậc cao (như C) để cài đặt các cấu trúc tri thức.

Đối với giảng viên, tài liệu đóng vai trò là đề cương khung chuẩn mực, cho phép phân bổ thời lượng thành các học phần 45 đến 60 tiết tùy theo mục tiêu của từng chương trình đào tạo.


Câu hỏi thường gặp

1. Giáo trình này phù hợp với ai?

Giáo trình phù hợp với sinh viên năm thứ ba, năm thứ tư đại học, học viên cao học chuyên ngành Công nghệ thông tin, Toán - Tin ứng dụng, cũng như các kỹ sư phần mềm cần tài liệu nghiên cứu chuẩn mực về cơ chế biểu diễn tri thức và giải thuật tối ưu.

2. Cần kiến thức nền nào để học giáo trình này?

Người học cần hoàn thành các học phần nền tảng: Toán rời rạc (logic hình thức, lý thuyết đồ thị), Cấu trúc dữ liệu và giải thuật (tìm kiếm, cây, đồ thị), Giải tích cơ bản (đạo hàm phục vụ huấn luyện mạng nơ-ron), Xác suất thống kê và kỹ năng lập trình bằng một ngôn ngữ bậc cao.

3. Điểm khác biệt của tài liệu so với các giáo trình khác cùng thời kỳ là gì?

Tài liệu có tính bao quát cao khi kết hợp hoàn chỉnh giữa biểu diễn tri thức ký hiệu (mạng ngữ nghĩa, khung, hệ dựa trên luật, logic vị từ) với các kỹ thuật học máy hiện đại (mạng nơ-ron lan truyền ngược, mạng xấp xỉ Gauss, giải thuật di truyền) trong một cấu trúc sư phạm chặt chẽ gồm 23 chương.

4. Làm sao để tự học giáo trình này hiệu quả?

Người học nên tiếp cận tuần tự theo 3 giai đoạn:

  • Giai đoạn 1: Nắm vững Chương 1 đến Chương 6 để hiểu bản chất của biểu diễn tri thức O-A-V, cơ chế suy diễn tiến/lùi và các giải thuật tìm kiếm heuristic.
  • Giai đoạn 2: Cài đặt thử nghiệm các cấu trúc luật IF-THEN và mạng ngữ nghĩa trên máy tính.
  • Giai đoạn 3: Chọn lọc các chương thuộc Phần III (như Chương 17 về Cây định tên hoặc Chương 19 về Mạng thần kinh) để giải các bài toán nhận dạng mẫu cụ thể.

5. Có tài liệu bổ trợ nào kèm theo giáo trình không?

Cuối mỗi chương và tại trang 473 của giáo trình có danh mục tài liệu tham khảo chi tiết bằng tiếng Việt và tiếng nước ngoài. Tài liệu cũng giới thiệu các môi trường lập trình chuyên dụng cho trí tuệ nhân tạo như LISP, IPL-V và PLANNER để người học tra cứu và cài đặt thuật toán.


Kết luận

Giáo trình Trí tuệ nhân tạo của tác giả Đỗ Trung Tuấn là tài liệu học thuật mang tính nền tảng trong hệ thống đào tạo ngành Công nghệ thông tin tại Việt Nam cuối thập niên 1990. Công trình đã chuẩn hóa hệ thống thuật ngữ chuyên ngành tiếng Việt và xây dựng khung lý thuyết toàn diện về kỹ thuật biểu diễn tri thức, phương pháp giải quyết bài toán và các giải thuật học máy tự động.

Lộ trình học tập đề xuất từ tài liệu là đi từ việc hình thức hóa tri thức bằng logic và cấu trúc ký hiệu (Phần I), tiếp cận các mô hình tổ chức hệ thống thông minh phức tạp (Phần II), và tiến tới làm chủ các giải thuật học máy và mô hình phỏng sinh học (Phần III). Để nâng cao hiệu quả nghiên cứu, người học nên kết hợp nội dung giáo trình với các tài liệu tham khảo chuyên khảo được trích dẫn tại trang 473 và thực hành cài đặt thuật toán trên các hệ thống tính toán hiện đại.