Chương 2 biểu diễn và xử lý tri thức

15 Biểu diễn tri thức logic Logic mệnh đề IF Xe không khởi động (A) AND Khoảng cách từ nhà đến chỗ làm xa (B) THEN Sẽ trễ làm (C) •Luật biểu diễn lại sau: A∧B⇒C Logic vị từ •Logic vị từ, giống logic mệnh đề, dùng ký hiệu để thể tri thức Những ký hiệu gồm số, vị từ hàm 16 AI & Phép toán logic ´ Tại AI phải nghiên cứu phép tốn logic? § AI è Phát triển chương trình có khả suy luận § Suy luận giúp chương trình AI biết tính đúng/sai vấn đề ´ Phép tốn logic è cung cấp khả triển khai trình suy diễn máy tính ´ Phát triển chương trình AI cần phép toán logic ´ Phép toán logic thực ngơn ngữ lập trình máy tính PROLOG, PYTHON 17 AI & Phép toán logic: Minh họa Mệnh đề logic Mệnh đề thực tế ´ “Nếu trời mưa bầu trời có mây” ´ A=“Trời mưa” ´ Trời mưa ´ B= “Bầu trời có mây” Vậy è Bầu trời có mây Ta có hai phát biểu sau đúng: ´ Aè B ´A Vậy theo luật suy diễn è B Nghĩa là: “Bầu trời có mây” 18 AI & Phép toán logic: Minh họa Mệnh đề thực tế ´ “Nếu Hoa có nhiều tiền Hoa mua sắm” ´ “Hoa KHƠNG mua sắm” Vậy è Hoa KHƠNG có nhiều tiền Mệnh đề logic ´ A=“Hoa có nhiều tiền” ´ B= “Hoa mua sắm” Ta có hai phát biểu sau đúng: ´ Aè B ´¬B Vậy theo luật suy diễn è ¬ A Nghĩa là: “Hoa KHƠNG có nhiều tiền” 19 Phép toán mệnh đề: Định nghĩa Mệnh đề: ´ Mệnh đề phát biểu khai báo ´ Mệnh đề nhận hai giá trị: ĐÚNG (True) SAI (False) Ví dụ: ´ Ngày 01 tháng giêng ngày tết cổ truyền ´ Môn bạn học AI ´ Hôm quốc khánh Mệnh đề: Các phép toán 20 ´ Biểu thức mệnh đề: kết hợp mệnh đề phép toán mệnh đề ´ Các phép toán: Phủ định ngơi Ù Hội hai ngơi Ú Tuyển hai ngơi Þ,→ Suy hai ngơi Ưu tiên ¬ =, ↔,ó Tương đương hai Cách đánh giá giá trị phép toán: dựa vào bảng chân trị Bảng chân trị A T T F F B T F T F ¬A F F T T A^B T F F F AvB T T T F AÞB T F T T A=B T F F T 21 Mệnh đề: Các phép toán – ví dụ A=“Nam học giỏi” ; B=“Nam thơng minh” ; C=“Nam đẹp trai” Mệnh đề thực tế Biểu thức mệnh đề ´ “Nam học giỏi, thông minh, đẹp trai” ´ A Ù B Ù C (Và) ´ “Nam học giỏi thông minh” ´ A Ú B (A tuyển B) ´ “Nam học giỏi, đẹp trai” ´ (A Ù ¬C)Ú (¬A Ù C) ´ “Nam thơng minh học giỏi” ´BÞA 22 Mệnh đề: Ngữ nghĩa, tương đương ´ Ngữ nghĩa biểu thức mệnh đề giá trị biểu thức mệnh đề ´ Giá trị biểu thức mệnh đề có khả tính tốn Trong đó: § Mỗi mệnh đề gán giá trị true hay false § Mỗi toán tử đánh giá theo bảng chân trị thứ tự ưu tiên tốn tử § Giá trị biểu thức mệnh đề tính cách: § Dùng bảng chân trị § Đánh giá ngược từ node biểu thức mệnh đề biểu diễn dạng ´ Các tương đương sử dụng thường xuyên trình biến đổi biểu thức từ dạng sang dạng khác ´ Khả biến đổi tương đương máy tính làm tự động 23 Mệnh đề: Các tương đương Tuyển A Ú TRUE = TRUE A Ú FALSE = A AÚA=A A Ú ¬A = TRUE Hội A Ù TRUE = A A Ù FALSE = FALSE ÁA=A A Ù ¬A = FALSE Suy A Þ TRUE = TRUE A Þ FALSE = ơA TRUE ị A = A FALSE ị A = TRUE A Þ A = TRUE A Þ B = ơA B AB = ơA ị B Phủ định kép: ¬¬A=A Hấp thu A Ù (A Ú B) = A A Ú (A Ù B) = A A Ù (¬A Ú B) = ÁB A Ú (¬A Ù B) = ẲB De Morgan ¬(A Ù B) = ¬A Ú ¬B ¬(A Ú B) = ¬A Ù ¬B Tng phn A ị B = ơB ị ơA Giao hốn ÁB =B ÙA A Ú B)= B Ú A Kết hợp (A Ù B) Ù C = A Ù (B Ù C) (A Ú B) Ú C = A Ú (B Ú C) Phân phối: A Ú (B Ù C) = (A Ú B) Ù (A Ú C) A Ù (B Ú C) = (A Ù B) Ú (A Ù C) ... (¬A Ù C) ´ “Nam thơng minh học giỏi” ´BÞA 22 Mệnh đề: Ngữ nghĩa, tương đương ´ Ngữ nghĩa biểu thức mệnh đề giá trị biểu thức mệnh đề ´ Giá trị biểu thức mệnh đề có khả tính tốn Trong đó: § Mỗi... tử § Giá trị biểu thức mệnh đề tính cách: § Dùng bảng chân trị § Đánh giá ngược từ node biểu thức mệnh đề biểu diễn dạng ´ Các tương đương sử dụng thường xuyên trình biến đổi biểu thức từ dạng... AI è Phát tri? ??n chương trình có khả suy luận § Suy luận giúp chương trình AI biết tính đúng/sai vấn đề ´ Phép tốn logic è cung cấp khả tri? ??n khai trình suy diễn máy tính ´ Phát tri? ??n chương trình