tailieunhanh - Bài giảng Trí tuệ nhân tạo - Chương 5: Sử dụng logic mệnh đề và vị từ

Bài giảng Trí tuệ nhân tạo - Chương 5: Sử dụng logic mệnh đề và vị từ giới thiệu đến bạn đọc những nội dung về phép toán mệnh đề, biểu diễn sự kiện đơn giản, biểu diễn isa và instance, các hàm và vị từ khả tính toán, luật phân giải, phân giải mệnh đề, đưa về clause form. | Chương 5 Sử dụng logic mệnh đề và vị từ 1 Biểu diễn tri thức nhờ logic vị từ Tri thức được thể hiện dưới dạng lớp của các biểu thức logic và cơ sở tri thức giải bài tóan được thiêt lập trên cơ sở lớp của các biểu thức logic này. Luật suy diễn và thủ tục chứng minh tri thức được lập luận trên cơ sở tóan học logic với các yêu câu đặt ra của bài tóan. Với phương pháp biểu diễn này cung cấp ý tưởng để tiêp cận với ngôn ngữ lập trình Prolog trong lĩnh vực trí tuệ nhân tạo. Biểu diễn tri thức nhờ logic vị từ còn được gọi là một ngôn ngữ biểu diễn dùng để mã hóa tri thức dưới dạng sao cho dễ lập trình với ngôn ngữ lập trình Prolog. 2 Nội dung Phép toán mệnh đề Biểu diễn sự kiện đơn giản Biểu diễn isa và instance Các hàm và vị từ khả tính toán Luật phân giải Phân giải mệnh đề Đưa về clause form

TỪ KHÓA LIÊN QUAN
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.