Logic và suy luận nhập môn trí tuệ nhân tạo

➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạm

Loại tài liệu: PDF

Số trang: 42 Trang

Tài liệu: ✅ ĐÃ ĐƯỢC PHÊ DUYỆT

TẢI VỀ

Nội dung chi tiết: Logic và suy luận nhập môn trí tuệ nhân tạo

Logic và suy luận nhập môn trí tuệ nhân tạo

TPVONG OAI HỌC BÀCH KHOA HÀ HỘIOiA>o XCMtóiC-i ếIT3160Nhập môn Trí tuệ nhân tạoArtificial IntelligencePGS.TS. Lẽ Thanh HưongTrường Cõng nghệ thõng tin

Logic và suy luận nhập môn trí tuệ nhân tạo n vá Truyền thõng Đại Học Bach Khoa Hã NộiONE LOVE ONE FUTURE.Nội dung môn học•Chương 1 - Giới thiệu vè Trí tuệ nhân tạo•Chương 2 - Tác tứ•Chương 3 -

Giải quyết vấn đề•Chương 4 - Logic và suy diễn•Chương 5 - Học máytnvcno CAJ BỘC ÍÀCH 040» HÀ NỘI WM >K6ST< V Ktvt •» noacír -------------------------- Logic và suy luận nhập môn trí tuệ nhân tạo

------------------ỉ1Giới thiệu về logic•Logic là ngôn ngữ hình'th ức cho phép biểu diễn thông tin dưới dạng các kết luận có thể được đưa ra•Logic = Sy

Logic và suy luận nhập môn trí tuệ nhân tạo

ntax + Semantics•Cú pháp (syntax): đề xác định các mệnh đề (sentences) trong một ngôn ngữ.•Ngữ nghĩa (semantics): đề xác định “ý nghĩa ■ cúa các mệnh

TPVONG OAI HỌC BÀCH KHOA HÀ HỘIOiA>o XCMtóiC-i ếIT3160Nhập môn Trí tuệ nhân tạoArtificial IntelligencePGS.TS. Lẽ Thanh HưongTrường Cõng nghệ thõng tin

Logic và suy luận nhập môn trí tuệ nhân tạo là một mệnh đề•(x+2 > y) lã đùng nổu và chí nểu giá tri (Xt2) không nhó hơn giá trị y•(x+2 > y) là đúng khi X = 7. y = 1•(x+2 > y) là sai khi X - 0.

y - 6ETÍlráHGCAlHOCaÁCHltHOAHÁMÍI two Jt-.TOT ơ ỈCÍXI MĐ TOwoccrCú pháp (syntax]•Cú pháp = Ngôn ngũ- + Lý thuyết chứng minh•Ngôn ngữ (Language)•Các ký Logic và suy luận nhập môn trí tuệ nhân tạo

hiệu (symbols), biểu thức (expressions), thuât ngừ (terms), cõng thửc (formulas) hợp lệ•Ví dụ: one plus one equal two•Lý thuyết chứng minh (Proof the

Logic và suy luận nhập môn trí tuệ nhân tạo

ory)•Tập hơp các luật suy diẻn cho phép chửng minh (suy luận ra) các biếu thúc

TPVONG OAI HỌC BÀCH KHOA HÀ HỘIOiA>o XCMtóiC-i ếIT3160Nhập môn Trí tuệ nhân tạoArtificial IntelligencePGS.TS. Lẽ Thanh HưongTrường Cõng nghệ thõng tin