
Bài giảng Trí tuệ nhân tạo - Chương 5: Sử dụng logic mệnh đề và vị từ
lượt xem 11
download

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.
Bình luận(0) Đăng nhập để gửi bình luận!
Nội dung Text: 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ừ 1
- Biể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. 2
- Nộ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 3
- Phé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) 4
- Phé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 5
- Phé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 6
- Phé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 7
- Biểu diễn sự kiện ñơn giản: VD1 8
- Biểu diễn sự kiện ñơn giản: VD2 9
- Biểu diễn sự kiện ñơn giản… Sử dụng logic vị từ cấp 1 (PC) Ví dụ 10
- Biểu diễn sự kiện ñơn giản… Suy diễn 11
- Biể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. 12
- Biểu diễn: isa và instance Biểu diễn instance: a1 là thanh viên của A 13
- Biể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) 14
- Cá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, Caesar) … Trong trường hợp như quan hệ trên các số, như: 1
- Các hàm và vị từ khả tính toán … Dùng hàm và vị từ tính toán ñược (VD): 1. Marcus was a man. man(Marcus) 2. Marcus was a Pompeian. Pompeian(Marcus) 3. Marcus was born in 40 A.D born(Marcus,40) 4. All men are mortal. ∀ X: man(X) → mortal(X) 16
- Các hàm và vị từ khả tính toán … Dùng hàm và vị từ tính toán ñược (VD) 5. All Pompeian died when the vocano erupted in 79 AD. erupted(vocano, 79) ^ ∀ X: [Pompeian(X) → died(X, 79)] 6. No mortal lives longer then 150 years. ∀ X: ∀ T1: ∀ T2 : mortal(X) ^ born(X, T1) ^ gt(T2 – T1, 150) → dead(X, T2) 7. It is now 1991 now = 1991 Question: Is Marcus alive ? Hay: alive(Marcus, now) OR: ¬alive(Marcus, now) 17
- Các hàm và vị từ khả tính toán … Dùng hàm và vị từ tính toán ñược (VD): → Cơ sở tri thức không chứa mối quan hệ giữa alive và dead → Bổ sung: 8. Alive means not dead. ∀ X: ∀ T: [alive(X,T) → ¬dead(X,T)] ^ [¬dead(X,T) → alive(X,T)] 9. Is someone dies, the he is dead at all later times ∀ X: ∀ T1: ∀ T2: died(X,T1) ^ gt(T2, T1) → dead(X, T2) 18
- Các hàm và vị từ khả tính toán … 19
- Luật phân giải Thủ tục chứng minh chỉ dựa trên 1 phép toán – phân giải. Dạng chứng minh: phản chứng. Chứng minh P bằng cách giả thiết ¬P rồi cố gắng ñưa ra mâu thuẩn. Yêu cầu: các biểu thức phải ñược chuẩn hoá trước ở dạng clause (clause form) Clause Form = clause ^ clause ^ clause ^ … Clause = term v term v term Ví dụ clause: P v ¬Q v R. ¬P v Q v ¬R ¬Roman(X) v hate(X, Ceaser) Luật phân giải: Mệnh ñề Vị từ 20

CÓ THỂ BẠN MUỐN DOWNLOAD
-
Bài giảng Trí tuệ nhân tạo - ĐH Kinh tế Kỹ thuật Công nghiệp
234 p |
369 |
62
-
Bài giảng Trí tuệ nhân tạo - Chương 3: Các kỹ thuật tìm kiếm Heuristics
35 p |
231 |
37
-
Bài giảng Trí tuệ nhân tạo - Chương 1: Tổng quan về trí tuệ nhân tạo
36 p |
274 |
36
-
Bài giảng Trí tuệ nhân tạo - Nguyễn Ngọc Hiếu
236 p |
121 |
21
-
Bài giảng Trí tuệ nhân tạo - Bài 1, 2: Giới thiệu về Trí tuệ nhân tạo - Agen thông minh
26 p |
145 |
8
-
Bài giảng Trí tuệ nhân tạo: Giới thiệu về trí tuệ nhân tạo - Nguyễn Nhật Quang
21 p |
113 |
7
-
Bài giảng Trí tuệ nhân tạo: Giới thiệu trí tuệ nhân tạo - TS. Đào Anh Nam
64 p |
92 |
7
-
Bài giảng Trí tuệ nhân tạo: Chương 1 - PGS.TS. Lê Thanh Hương
11 p |
99 |
6
-
Bài giảng Trí tuệ nhân tạo - Chương 2: Biểu diễn bài toán & tìm lời giải
35 p |
79 |
6
-
Bài giảng Trí tuệ nhân tạo - Lê Thanh Hương
44 p |
18 |
5
-
Bài giảng Trí tuệ nhân tạo: Giải quyết vấn đề bằng tìm kiếm - Trường Đại học Thủy Lợi
34 p |
28 |
5
-
Bài giảng Trí tuệ nhân tạo: Suy diễn trong logic vị từ - Trường Đại học Thủy Lợi
26 p |
22 |
3
-
Bài giảng Trí tuệ nhân tạo: Logic vị từ - Trường Đại học Thủy Lợi
18 p |
18 |
3
-
Bài giảng Trí tuệ nhân tạo: Logic - Trường Đại học Thủy Lợi
60 p |
25 |
3
-
Bài giảng Trí tuệ nhân tạo: Chương 1 - Lý Anh Tuấn
31 p |
55 |
3
-
Bài giảng Trí tuệ nhân tạo: Giới thiệu và Tác nhân thông minh - Trường Đại học Thủy Lợi
31 p |
18 |
2
-
Bài giảng Trí tuệ nhân tạo - ĐH Nha Trang
137 p |
17 |
2
-
Bài giảng Trí tuệ nhân tạo: Các chiến lược tìm kiếm - Trường Đại học Thủy Lợi
86 p |
19 |
2


intNumView=127
Chịu trách nhiệm nội dung:
Nguyễn Công Hà - Giám đốc Công ty TNHH TÀI LIỆU TRỰC TUYẾN VI NA
LIÊN HỆ
Địa chỉ: P402, 54A Nơ Trang Long, Phường 14, Q.Bình Thạnh, TP.HCM
Hotline: 093 303 0098
Email: support@tailieu.vn
