Bài giảng Trí tuệ nhân tạo: Bài 9 Tri thức và lập luận cung cấp cho người học những kiến thức như: Các khái niệm cơ bản; Logic mệnh đề; Cơ sở tri thức; Suy diễn; Chứng minh bằng bác bỏ 6. Suy diễn lùi. Mời các bạn cùng tham khảo! | TRÍ TUỆ NHÂN TẠO Bài 9 Tri thức và Lập luận Nội dung 1. Các khái niệm cơ bản 2. Logic mệnh đề 3. Cơ sở tri thức 4. Suy diễn 5. Chứng minh bằng bác bỏ 6. Suy diễn lùi Trương Xuân Nam - Khoa CNTT 2 Phần 1 Các khái niệm cơ bản TRƯƠNG XUÂN NAM 3 Các khái niệm cơ bản Ngữ nghĩa Thành phần cơ bản nhất cung cấp các ý nghĩa cho một hệ thống tri thức Có thể có nhiều loại Cơ bản không thể định nghĩa thông qua các ngữ nghĩa khác Hệ quả suy ra từ các ngữ nghĩa khác thông qua quá trình lập luận Có thể chia theo mức độ phản ảnh chân lý Khẳng định Đúng Sai Xác suất Đúng theo tỉ lệ nào đó Mờ Cú pháp quy tắc liên hệ các kí hiệu giúp cho việc xây dựng những ngữ nghĩa mới từ ngữ nghĩa đã có Trương Xuân Nam - Khoa CNTT 4 Các khái niệm cơ bản Cơ chế lập luận Quá trình tính toán thuật toán Sử dụng ngữ nghĩa và cú pháp để tạo ra tri thức mới Quan điểm về AI Bài toán Tập ngữ nghĩa và cú pháp cho trước Giải bài toán Tìm quá trình áp dụng cú pháp trên các ngữ nghĩa để ra được mục tiêu cũng là một ngữ nghĩa Đây là quan điểm theo trường phái suy nghĩ hợp lý Các phương pháp của trường phái này chịu ảnh hưởng lớn từ việc nghiên cứu ngôn ngữ hình thức đầu TK20 Gần như mỗi môn khoa học cũng là một hệ thống tri thức và suy diễn Trương Xuân Nam - Khoa CNTT 5 Phần 2 Logic mệnh đề TRƯƠNG XUÂN NAM 6 Logic mệnh đề Ngữ nghĩa tập các mệnh đề các khẳng định hoặc phủ định và các kí hiệu logic Hằng số True False Biến P Q Phép toán logic và hoặc phủ định kéo theo tương đương Các cặp ngoặc tròn dùng kết hợp để thay đổi thứ tự tính toán Trương Xuân Nam - Khoa CNTT 7 Logic mệnh đề Cú pháp Các biến mệnh đề là các công thức Nếu A và B là công thức thì A B A B A A B A B cũng là các công thức Trương Xuân Nam - Khoa CNTT 8 Logic mệnh đề A B A B A B A A B A B False False False False True True True False True False True True False True False False True False False False True True True True True True Trương Xuân Nam - Khoa CNTT 9 Logic mệnh đề Dạng chuẩn tắc Chuẩn tắc tuyển hoặc Chuẩn tắc hội và Định lý mọi công thức .