» Từ khóa: logic vị từ

Bài giảng Trí tuệ nhân tạo (Artificial Intelligence) - Chương 6 cung cấp kiến thức về chứng minh trong logic mệnh đề. Những nội dung chính trong chương gồm có: Biểu diễn tri thức nhờ logic vị từ, phép toán mệnh đề, biểu diễn sự kiện đơn giản, dạng hội chuẩn CNF, thuật toán hợp giải, suy diễn tiến, suy diễn lùi. Mời các bạn cùng tham khảo để biết...

 30 p actvn 31/12/2024 16 0 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Artificial Intelligence, Chứng minh trong logic mệnh đề, Logic mệnh đề, Logic vị từ

Bài giảng Trí tuệ nhân tạo (Artificial Intelligence) - Chương 7 cung cấp kiến thức về logic vị từ. Những nội dung chính trong chương gồm có: Logic bậc nhất (First Order Logic – FOL), cú pháp và ngữ nghĩa, các lượng từ, hợp giải với logic vị từ, dạng mệnh đề, lập trình logic turbo prolog. Mời các bạn cùng tham khảo để biết thêm nội dung chi tiết!

 41 p actvn 31/12/2024 17 0 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Artificial Intelligence, Logic vị từ, Logic bậc nhất, Dạng mệnh đề, Lập trình logic turbo prolog

Với kết cấu gồm 2 phần "Bài giảng Trí tuệ nhân tạo - ĐH Hàng Hải" giới thiệu đến bạn đọc những nội dung: Phương pháp biểu diễn và giải quyết vấn đề, tri thức và lập luận. Mời các bạn cùng tham khảo.

 60 p actvn 22/07/2022 141 1 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Chiến lược tìm kiếm mù, Chiến lược tìm kiếm tối ưu, Logic mệnh đề, Logic vị từ cấp 1

Tập bài giảng Nhập môn trí tuệ nhân tạo gồm có 5 chương với nội dung cụ thể của từng chương như sau: Chương 1 - tổng quan về trí tuệ nhân tạo, chương 2 - các chiến lược tìm kiếm, chương 3 - logic mệnh đề, chương 4 - logic vị từ, chương 5 - biểu diễn tri thức. Mời các bạn cùng tham khảo.

 259 p actvn 28/11/2021 286 2 Download

Từ khóa: Bài giảng công nghệ thông tin, Tập bài giảng Nhập môn trí tuệ nhân tạo, Trí tuệ nhân tạo, Logic mệnh đề, Logic vị từ, Biểu diễn tri thức

Bài giảng Trí tuệ nhân tạo cung cấp cho người học những kiến thức như: Giới thiệu, thuật toán, thuật giải, giải thuật di truyền, biểu diễn và suy luận tri thức, logic mệnh đề logic vị từ, máy học, mạng neural. Mời các bạn cùng tham khảo!

 136 p actvn 29/08/2021 244 0 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Công nghệ phần mềm, Giải thuật di truyền, Suy luận tri thức, Mệnh đề logic vị từ

Chương 4 - Các phương pháp học có giám sát (Học quy nạp luật - Rule induction). Chương này trình bày những nội dung chính sau: Phương pháp học quy nạp luật, các bài toán ví dụ, phân loại, chiến lược bao phủ gia tăng, Learn - one - Rule, đánh giá hiệu quản của một luật, các luật logic vị từ,... Mời các bạn cùng tham khảo nội dung chi tiết.

 30 p actvn 26/05/2020 311 3 Download

Từ khóa: Các luật logic vị từ, Chiến lược bao phủ gia tăng, Bài giảng Học máy, Phương pháp học có giám sát, Học quy nạp luật, Phân loại học quy nạp luật

Bài giảng "Trí tuệ nhân tạo: Các phương pháp biểu diễn tri thức trên máy tính" cung cấp cho người học các kiến thức: Logic mệnh đề, logic vị từ, một số thuật giải liên quan đến logic mệnh đề, biểu diễn tri thức sử dụng luật dẫn xuất, biễu diễn tri thức sử dụng mạng ngữ nghĩa,... Mời các bạn cùng tham khảo.

 86 p actvn 31/01/2020 466 2 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Phương pháp biểu diễn tri thức, Biểu diễn tri thức, Biểu diễn tri thức trên máy tính, Logic mệnh đề, Logic vị từ

Bài giảng Hệ chuyên gia (Expert System) - Chương 2.2 đề cập đến lôgic mệnh đề. Trong chương này sẽ trình bày 2 nội dung chính, đó là các khái niệm lôgic và lôgic mệnh đề. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

 67 p actvn 29/07/2019 433 3 Download

Từ khóa: Hệ chuyên gia, Bài giảng Hệ chuyên gia, Logic mệnh đề, Biểu diễn tri thức, Lôgic vị từ bậc một, Arguments in Logic

Chương 2.3 của bài giảng Hệ chuyên gia trang bị cho người học những hiểu biết về lôgic vị từ bậc một. Sau khi học xong chương này người học có thể biết cách biểu diễn tri thức nhờ logic vị từ bậc một. Mời các bạn cùng tham khảo.

 69 p actvn 29/07/2019 397 2 Download

Từ khóa: Hệ chuyên gia, Bài giảng Hệ chuyên gia, Biểu diễn tri thức, Lôgic vị từ, Lôgic vị từ bậc một, Biểu diễn tri thức nhờ logic vị từ

Chương 7: Toán tử – Toán hạng - các phép định địa chỉ – Tập lệnh. Sau khi học xong chương này người học có thể: Hiểu cách dùng toán tử trong ASM, nắm được tập lệnh của CPU 8086/8088, biết cách định địa chỉ thông qua toán hạng, biết vận dụng các kỹ năng trên vào vấn đề cần giải quyết và hiện thực thành chương trình. Mời các bạn cùng...

 40 p actvn 20/11/2016 592 6 Download

Từ khóa: Cấu trúc máy tính, Lập trình hợp ngữ, Toán tử logic, Toán tử số học, Các phép định địa chỉ, Cơ chế định vị địa chỉ