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.
Nội dung trích xuất từ tài liệu:
Bài giảng Trí tuệ nhân tạo - Chương 5: Sử dụng logic mệnh đề và vị từ Chương 5:Sử dụng logic mệnh ñề và vị từ 1Biể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. 2Nộ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 3Phép toán mệnh ñề Mệnh ñề: là các câu khẳng ñịnh về thế giới. Mệnh ñề có thể ñúng (true) hoặc sai (false). Mệnh ñề ñơn giản: ðồng là một kim loại => ðúng Gỗ là một kim loại => Sai Hôm nay là thứ Hai => Sai Ký hiệu trong phép tính mệnh ñề: Ký hiệu mệnh ñề: P, Q, R, S,... Ký hiệu chân lý: true, false Các phép toán logic: ∧ (hội), ∨ (tuyển), ¬ (phủ ñịnh), ⇒ (kéo theo) , = (tương ñương) 4Phép toán mệnh ñề … ðịnh nghĩa câu trong phép tính mệnh ñề: Mỗi ký hiệu mệnh ñề, ký hiệu chân lý là một câu. Phủ ñịnh của một câu là một câu. Hội, tuyển, kéo theo, tương ñương của hai câu là một câu. Ký hiệu ( ), [ ] ñược dùng ñể nhóm các ký hiệu vào các biểu thức con. Một biểu thức mệnh ñề ñược gọi là một câu (hay công thức dạng chuẩn- WFF:Well-Formed Formula) ⇔ nó có thể ñược tạo thành từ những ký hiệu hợp lệ thông qua một dãy các luật trên. Ví dụ: ( (P∧Q) ⇒ R) = ¬P ∨ ¬Q ∨ R 5Phép toán mệnh ñề … Mệnh ñề tương ñương Dạng hấp thu Dạng khác A ∧ (A ∨ B) = A A⇒B = ¬A ∨ B A ∨ (A ∧ B) = A ¬ (A ⇒ B) = A ∧ ¬B A ∧ (¬ ¬A ∨ B)= A∧B A ⇒ B = A ∧ ¬B⇒ FALSE A ∨ (¬ ¬A ∧ B)= A∨B Dạng De Morgan ¬ (A ∧ B) = ¬A ∨ ¬B ¬ (A ∨ B) = ¬A ∧ ¬B 6Phép toán mệnh ñề … Các luật suy diễn Luật Modus Ponens (MP) Luật Cộng A, A⇒ B ∴ B A ∴ AvB Luật Modus Tollens (MT) Luật tam ñoạn luận tuyển A⇒ B, ¬B ∴ ¬A Av B, ¬A ∴ B Luật Hội Luật tam ñoạn luận giả thiết A,B ∴ A^B A⇒ B,B⇒ C∴ A⇒ C Luật ñơn giản A^B ∴ A 7Biểu diễn sự kiện ñơn giản: VD1 8Biểu diễn sự kiện ñơn giản: VD2 9Biểu diễn sự kiện ñơn giản… Sử dụng logic vị từ cấp 1 (PC) Ví dụ 10Biểu diễn sự kiện ñơn giản… Suy diễn 11Biểu diễn sự kiện ñơn giản… Biểu diễn vị từ cho các câu sau ñây: Marcus was a man. Macus was a Pompeian. All Pompians were Romans. Caesar was a ruler. All Romans were either loyal to Caesar or hated hime. Everyone is loyal to someone. People only try to assassinate rulers they are not loyal to. Marcus tried to assassinate Caesar. 12Biểu diễn: isa và instance Biểu diễn instance: a1 là thanh viên của A 13Biểu diễn: isa và instance… 5 câu ñầu của ví dụ trên có thể biểu diễn: 1. man(Marcus) 2. Pompeian(Marcus) 3. ∀X: Pompeian(X) → Roman(X) 4. ruler(Caesar) 5. ∀ X: Roman(X) → loyalto(X, Caesar) v hate(X, Caesar) Hoặc: 1.instance(Marcus, man) 2. instance(Marcus, Pompeian) 3. ∀ X: instance(X, Pompeian) → instance(X, Roman) 4. instance(Caesar, ruler) 5. ∀ X: instance(X, Roman) → loyalto(X, Caesar) v hate(X, Caesar) 14Các hàm và vị từ khả tính toán Các trường hợp có thể khai báo ñược, như: tryassassinate(Marcus, Ceasar). loyalto(Marcus ...