Logic mệnh đề ttnt logic menh de

Logic mệnh đề Trang 1 Logic mệnh đề Tô Hoài Việt Khoa Công nghệ Thông tin Đại học Khoa học Tự nhiên TPHCM thviet@fit hcmuns edu vn Trang 2 Tổng quan • Giới thiệu về logic • Logic mệnh đề • Cú pháp log[.]

Logic mệnh đề Tơ Hồi Việt Khoa Cơng nghệ Thơng tin Đại học Khoa học Tự nhiên TPHCM thviet@fit.hcmuns.edu.vn Trang Tổng quan • • • • • • Giới thiệu logic Logic mệnh đề Cú pháp logic mệnh đề Ngữ nghĩa logic mệnh đề Suy dẫn logic mệnh đề Chứng minh logic mệnh đề Trang Logic • Cần cơng cụ để biểu diễn sử dụng tri thức người • Logic: “khoa học lập luận, chứng minh, suy nghĩ hay suy diễn” • Sử dụng logic làm cơng cụ để biểu diễn xử lý tri thức Trang Logic gì? • Một ngơn ngữ hình thức – Cú pháp: Biểu thức hợp lệ – Ngữ nghĩa: Biểu thức hợp lệ có ý nghĩa – Hệ chứng minh: cách xử lý biểu thức có cú pháp để có biểu thức có cú pháp khác (cho ta biết thơng tin mới) • Chứng minh để làm gì: – Từ quan sát => kết luận giới – Trạng thái & hành động => thuộc tính trạng thái • Hai loại logic : logic mệnh đề (đơn giản) logic vị từ (phức tạp hơn) Trang Cú pháp Logic Mệnh đề • Cú pháp: Là cho phép viết – (C++): for (int i=0; i< n; i++)… – (Tiếng Việt): Cơm ăn ngon • Câu (sentence) logic mệnh đề: – true false câu – Các biến mệnh đề câu: P, Q, R, Z – Nếu α, β câu α, α  β, α  β, α  β, α  β câu – Ngồi ra, khơng có câu Trang Độ ưu tiên      Cao Thấp ABC A  (B  C) ABCD (A  B)  (C  D) ABCD (A  (B  C))  D • Luật ưu tiên cho phép dạng viết tắt câu, thức có dạng đầy đủ dấu ngoặc hợp lệ • Các dạng nhập nhằng cú pháp cho phép viết tắt chúng tương đương ngữ nghĩa: A  B  C tương đương với (A  B)  C A  (B  C) Trang Ngữ nghĩa • Nghĩa câu chân trị {t, f} • Thể việc gán chân trị cho biến mệnh đề – holds(α,i) – fails(α,i) [câu α t thể i] [câu α thể i] [câu α f thể i] [câu α sai thể i] Trang Các luật ngữ nghĩa • • • • holds(true, i) fails(false, i) holds(α, i) holds(αβ,i) • holds(αβ,i) với i với i (iff) fails(α,i) iff holds(α,i) holds(β,i) nối liền iff holds(α,i) hay holds(β,i) nối rời Thể i dạng bảng tra, P biến mệnh đề: • holds(P,i) iff i(P) = t • fails(P,i) iff i(P) = f Trang Một số dạng viết tắt quan trọng • α  β  α  β (điều kiện, kéo theo) tiền đề  kết luận • α  β  (α  β)  (β  α) (tương đương) Trang Bảng chân trị P Q P PQ PQ PQ QP PQ f f t f f t t t f t t f t t f f t f f f t f t f t t f t t t t t Trang 10 Suy dẫn (Entailment) • Một sở tri thức (KB) suy dẫn (entails) câu α thể làm cho KB làm cho α Ký hiệu: KB╞ α KB Thể Tập Thể Đúng α Đúng Suy dẫn Trang 20 ... Giới thiệu logic Logic mệnh đề Cú pháp logic mệnh đề Ngữ nghĩa logic mệnh đề Suy dẫn logic mệnh đề Chứng minh logic mệnh đề Trang Logic • Cần công cụ để biểu diễn sử dụng tri thức người • Logic: ... thái & hành động => thuộc tính trạng thái • Hai loại logic : logic mệnh đề (đơn giản) logic vị từ (phức tạp hơn) Trang Cú pháp Logic Mệnh đề • Cú pháp: Là cho phép viết – (C++): for (int i=0;... for (int i=0; i< n; i++)… – (Tiếng Việt): Cơm ăn ngon • Câu (sentence) logic mệnh đề: – true false câu – Các biến mệnh đề câu: P, Q, R, Z – Nếu α, β câu α, α  β, α  β, α  β, α  β câu – Ngồi