» Công Nghệ Thông Tin

» Kỹ thuật lập trình

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

Chia sẻ: Đinh Gấu | Ngày: | Loại File: PDF | Số trang:35

0

Báo xấu

53
lượt xem 8
download

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

Mô tả tài liệu

Download Vui lòng tải xuống để xem tài liệu đầy đủ

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.

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

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

CEO.13: Bộ Tài Liệu Hệ Thống Mô Tả Công Việc Dành Cho Nhân Viên IT

121 tài liệu

2005 lượt tải

THÔNG TIN

TRỢ GIÚP

HỖ TRỢ KHÁCH HÀNG

Theo dõi chúng tôi

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:0933030098

Email: support@vdoc.com.vn

Giấy phép Mạng Xã Hội số: 670/GP-BTTTT cấp ngày 30/11/2015 Copyright © 2009-2019 TaiLieu.VN. All rights reserved.