Trí tuệ nhân tạo

Chương 5: Logic và suy diễn

Nguyễn Tấn Phú

ntanphu@ctuet.edu.vn

Bộ môn Khoa học máy tính

Khoa CNTT - Đai hoc Kỹ Thuật Công Nghệ Cần Thơ

1
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Lý thuyết cơ bản

2
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Lý thuyết cơ bản (tt)

3
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Lý thuyết cơ bản (tt)

4
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Lý thuyết cơ bản (tt)

5
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Lý thuyết cơ bản (tt)

6
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Tương đương logic

7
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Lý thuyết cơ bản

8
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Lý thuyết cơ bản – ví dụ

9
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Hằng đúng (tautology) và mâu thuẫn (contradiction)

10
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Lập luận logic

11
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Lập luận logic

12
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Lập luận logic

13
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Lập luận logic – ví dụ

14
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Các dạng chuẩn (Normal Forms)

15
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Các dạng chuẩn (Normal Forms)

16
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Dẫn xuất sử dụng hợp giải

17
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Bài tập 1

1
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Bài tập 2

 Không lập bảng chân trị, sử dụng các tương đương logic
để chứng minh rằng 𝑙à ℎằ𝑛𝑔 đú𝑛𝑔:

 𝑃 ∧𝑄 →𝑄

 𝑃∧𝑄 →𝑃

 𝑃 → (𝑄 → 𝑃 ∧ 𝑄 )

1
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Bài tập 3

 Dùng quy tắc suy luận chứng minh rằng:

 (𝑃 ∧ 𝑄 → 𝑅 ) ∧ 𝑆 ∧ 𝑇 ∧ 𝑃 ∧ (𝑃 → U → 𝑄 ) ∧ (𝑆 → 𝑅 ∨ 𝑇 ) ⇒ 𝑈

2
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Bài tập 4

 Viết biểu thức mệnh đề sau:

 Bạn không được phép lái xe máy nếu bạn chưa cao đến
1,5m, trừ khi bạn đủ 18 tuổi và có giấy phép lái xe.

2
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Ưu và nhược điểm Logic mệnh đề

2
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Ví dụ hạn chế của Logic mệnh đề

2
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Logic vị từ: Cú pháp - Syntax

2
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Logic vị từ: Cú pháp - Syntax

2
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Logic vị từ: Cú pháp - Syntax

2
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Logic vị từ: Cú pháp - Syntax

2
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Logic vị từ: Cú pháp - Syntax

2
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Logic vị từ: Cú pháp - Syntax

2
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Logic vị từ: Ngữ nghĩa- Semantics

3
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Logic vị từ: Ngữ nghĩa - Semantics

3
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Logic vị từ: Ngữ nghĩa - Semantics

3
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Đúng (validity) và suy diễn logic (logical implication)

3
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Đúng (validity) và suy diễn logic (logical implication)

3
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Đúng (validity) và suy diễn logic (logical implication)

3
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Ví dụ 1:

 Cho hàm mệnh đề P(x) = X2 + X + 41 là nguyên tố. Xác

định giá trị chân lý của mệnh đề ∀P x với x thuộc không
gian bao gồm các số tự nhiên [0…39]

 Giải:

 Vì P(x) đúng với mọi giá trị của 𝑥 ∈ 0 … 39 ⇒ ∀P x

là đúng

3
Nguyễn Tấn Phú
 Trí tuệ nhân tạo

Bài tập:

 Biết rằng mệnh đề P x, y được phát biểu là “x + y = 0”,

với x, y là các số thực. Hãy cho biết chân trị của các mệnh
đề dưới đây và giải thích tại sao?

 ∀𝑥 ∃𝑦𝑃(𝑥, 𝑦)

 ∃𝑥 ∀𝑦 𝑃(𝑥, 𝑦)

3
Nguyễn Tấn Phú