Các hệ thống thông minh

Dưới đây là tóm tắt các nội dung chính:

• Giới thiệu về các hệ thống thông minh:
  • Hệ thống thông minh (Intelligent Systems – IS) là các công cụ phần mềm thuộc lĩnh vực trí tuệ nhân tạo (AI), giúp giải quyết nhiều bài toán phức tạp và hiệu quả hơn.
  • Các hệ thống thông minh được chia thành ba loại chính:
    • Hệ cơ sở tri thức (Knowledge Based Systems – KBS): Sử dụng các kỹ thuật suy luận dựa trên luật, mô hình, khung, và trường hợp. Đặc điểm nổi bật là sự tách biệt rõ ràng giữa modul cơ sở tri thức và modul điều khiển (mô tơ suy diễn), giúp dễ dàng cập nhật tri thức.
    • Tính toán thông minh (Computational Intelligence Systems – CIS): Cho phép máy tính tự xây dựng mô hình dựa trên quan sát và kinh nghiệm, tri thức không được phát biểu tường minh mà được biểu diễn bằng các con số điều chỉnh độ chính xác (ví dụ: hệ nơ-ron, giải thuật tiến hóa, logic mờ).
    • Hệ lai (Hybrid System – HS): Tích hợp ưu điểm của nhiều kỹ thuật khác nhau để giải quyết các bài toán phức tạp hơn.
  • Tệp cũng cung cấp một lược sử phát triển các hệ thống thuộc lĩnh vực trí tuệ nhân tạo với các mốc quan trọng và đóng góp của các nhà khoa học nổi bật như Alan Turing, John McCarthy, Marvin Minsky.
• Biểu diễn tri thức:
  • Giới thiệu các dạng tri thức thường gặp: mô tả, thủ tục, điều khiển.
  • Trình bày các phương pháp biểu diễn tri thức phổ biến:
    • Biểu diễn tri thức trong logic: Sử dụng logic mệnh đề và logic vị từ cấp một để biểu diễn các sự kiện và quan hệ, cho phép suy diễn dựa trên các quy tắc toán học.
    • Biểu diễn tri thức bằng các luật: Dạng “Nếu – Thì” (If-Then) đơn giản, dễ sử dụng để biểu diễn nhiều loại tri thức như quan hệ, khuyên bảo, hướng dẫn, chiến lược, siêu tri thức.
    • Mạng ngữ nghĩa: Sử dụng đồ thị có hướng để biểu diễn đối tượng, khái niệm, sự kiện (nút) và mối quan hệ giữa chúng (cung). Đặc biệt nhấn mạnh quan hệ isa (là thành viên của) và ako (là tập con của) để thể hiện tính kế thừa.
    • Frame: Cấu trúc dữ liệu tổng quát hóa cấu trúc bản ghi, cho phép điền thông tin vào các rãnh (slot) với cặp thuộc tính – giá trị. Có thể biểu diễn tốt cả tri thức mô tả và tri thức thủ tục, đồng thời hỗ trợ tính kế thừa.
  • Biểu diễn tri thức không chắc chắn: Đề cập đến các cách tiếp cận để xử lý thông tin không đầy đủ và không chắc chắn:
    • Logic không đơn điệu (Nonmonotonic logic).
    • Lý thuyết xác suất: Sử dụng hệ số chắc chắn Stanford.
    • Lý thuyết tập mờ (Zadeh, 1983): Biểu diễn sự không chính xác bằng hàm thành viên, nhận giá trị từ 0 đến 1, áp dụng cho các biến ngôn ngữ mờ và luật mờ.
• Các phương pháp lập luận:
  • Định nghĩa lập luận là quá trình làm việc với tri thức, sự kiện và chiến lược để rút ra kết luận.
  • Các cách lập luận thường gặp:
    • Lập luận suy diễn (deduction): Sử dụng luật suy diễn Modus Ponens (Nếu A → B và A đúng thì B đúng), cho kết quả chính xác.
    • Lập luận quy nạp (induction): Rút ra kết luận tổng quát từ một tập sự kiện cụ thể bằng cách tổng quát hóa.
    • Lập luận giả định (abduction): Lập luận có vẻ hợp lý nhưng kết luận có thể đúng hoặc không đúng.
  • Hệ thống dựa trên luật (Rule-Based Systems, RBS):
    • Suy diễn tiến (Forward chaining): Hay suy diễn điều khiển bởi dữ liệu, bắt đầu từ các sự kiện đã có để sinh ra tất cả các sự kiện có thể.
    • Suy diễn lùi (Backward chaining): Hay suy diễn điều khiển bởi đích, bắt đầu từ một giả thuyết (đích) để tìm kiếm các sự kiện chứng minh cho đích đó.
  • Lập luận dựa trên các tình huống (Case-based reasoning, CBR): Sử dụng cơ sở dữ liệu về giải pháp cho các tình huống trong quá khứ để giải quyết tình huống mới, có khả năng học từ kinh nghiệm. CBR bao gồm các bước: trích chọn tình huống thích hợp, biến đổi tình huống đã chọn, áp dụng giải pháp và ghi nhận kết quả. Các đặc điểm để chỉ mục hóa và truy lục các trường hợp bao gồm ưu tiên hướng đích, đặc điểm nổi trội, điểm đặc biệt, tần suất, độ mới và tính dễ thích nghi.

Tóm lại, tệp cung cấp cái nhìn toàn diện về nền tảng của các hệ thống thông minh, từ cách chúng được định nghĩa và phân loại, đến các kỹ thuật biểu diễn tri thức chi tiết và các phương pháp lập luận khác nhau được sử dụng để giải quyết vấn đề.