Bài giảng Trí tuệ nhân tạo: Logic - Trường Đại học Thủy Lợi

Chia sẻ: _ _ | Ngày: | Loại File: PDF | Số trang:60

Thêm vào BST

Báo xấu

49
lượt xem 5
download

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

Bài giảng “Trí tuệ nhân tạo”, một môn cơ sở chuyên ngành trong chương trình đào tạo cử nhân tin học, ngoài mục đích xây dựng nhiều bài giảng trên một khung chương trình đào tạo, mà còn giúp cho sinh viên có tài liệu học tập phù hợp với hoàn cảnh thực tế của Đại học Thủy Lợi. Nội dung Chương 3a của tài liệu giới thiệu về Tri thức và suy luận.

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: Logic - Trường Đại học Thủy Lợi

Logic 1
Tác nhân logic: Thế giới Wumpus 2
Thế giới Wumpus  Đo lường hiệu suất □ vàng: +1000, chết: -1000 □ -1 cho mỗi bước, -10 cho việc sử dụng tên  Môi trường □ Các ô vuông kề với wumpus: mùi hôi □ Các ô vuông kề với hố: gió nhẹ □ Lấp lánh (glitter) nếu có vàng ở trong cùng ô □ Bắn (shoot) sẽ giết chết wumpus bạn đang đối diện với nó □ Bắn (shoot) sử dụng duy nhất một mũi tên □ Gắp (grab) sẽ lấy được vàng nếu vàng ở trong cùng ô  Cảm biến: Stench, Breeze, Glitter, Bump, Scream  Truy suất: Left turn, Right turn, Forward, Grab, Release, Shoot 3
Môi trường thế giới Wumpus  Quan sát đầy đủ? Không chỉ quan sát cục bộ  Định trước? Đúng kết quả được xác định chính xác  Tĩnh? Đúng, Wumpus và các hố không di chuyển  Rời rạc? Đúng  Đơn tác nhân? Đúng 4
Khám phá thế giới Wumpus Trạng thái ban đầu 5
Khám phá thế giới Wumpus Sau 1 bước Gió nhẹ bên cạnh các hố. Vậy đâu là hố? 6
Khám phá thế giới Wumpus Ở đây có mùi hôi Nghĩa là Wumpus ở đây Sau 3 bước 7
Khám phá thế giới Wumpus Đã tìm thấy vàng, Và tránh được Wumpus Sau 5 bước 8
Logic mệnh đề • Cơ sở tri thức • Tổng quan về logic • Logic mệnh đề • Các dạng chuẩn • Các luật suy diễn 9
Cơ sở tri thức Cơ sở tri thức = tập các câu trong một ngôn ngữ hình thức Cho phép một tác tử suy luận về thế giới, tìm ra các tính chất ẩn và xác định các hành động phù hợp Ví dụ: KB = {An tới dự bữa tiệc; Nếu Lan tới dự bữa tiệc thì Trung cũng tới; Nếu Lan không tới thì An cũng không tới dự bữa tiệc} Tác tử phải có thể rút ra rằng Trung tới dự bữa tiệc. 10
Tổng quan về logic Logic là các ngôn ngữ hình thức dùng để biểu diễn thông tin sao cho từ đó chúng ta có thể rút ra được các kết luận Các thành phần của logic: Cú pháp định nghĩa cách chúng ta tạo ra các câu trong ngôn ngữ Ngữ nghĩa định nghĩa cách các câu phản ánh ngữ nghĩa trong thế giới thực Các thủ tục suy diễn chỉ ra cách chúng ta có thể nhận được các câu mới từ các câu hiện có 11
Logic mệnh đề: Cú pháp Các ký hiệu: • Các hằng logic: True, False • Các ký hiệu mệnh đề: P, Q, R, • Các liên kết: ٨ (và), ٧ (hoặc), (phủ định),  (kéo theo),  (tương đương) • Dấu ngoặc đơn: ( ) 12
Cú pháp (tiếp) Các ký hiệu mệnh đề P, Q, R, vân vân, là các câu Nếu S là một câu, S là một câu Nếu S1 và S2 là một câu, S1 ٨ S2 là một câu Nếu S1 và S2 là một câu, S1 ٧ S2 là một câu Nếu S1 và S2 là một câu, S1  S2 là một câu Nếu S1 và S2 là một câu, S1 S2 là một câu 13
Logic mệnh đề: Ngữ nghĩa Mỗi câu mệnh đề là một sự việc có thể là đúng hoặc sai. Ví dụ: • A có nghĩa là “Trời nóng" • B có nghĩa là “Trời nắng" • C có nghĩa là “Trời mưa" Người sử dụng định nghĩa ngữ nghĩa cho các ký hiệu mệnh đề. Một minh họa là một cách gán các giá trị true/false cho mỗi ký hiệu mệnh đề. Thí dụ. A B C thế giới True True False Trời nắng và nóng nhưng không mưa False False True Trời mưa và không nắng hoặc nóng 14
Logic mệnh đề: Ngữ nghĩa Các luật dùng để xác định giá trị chân lý cho một minh họa m: S đúng nếu S sai S1 ٨ S2 đúng nếu S1 đúng và S2 đúng S1 ٧ S2 đúng nếu S1 đúng hoặc S2 đúng S1  S2 đúng nếu S1 sai hoặc S2 đúng tức là, sai nếu S1 đúng và S2 sai S1  S2 đúng nếu S1  S2 đúng và S2  S1 đúng Thứ tự của các toán tử: , , , ,  15
Bảng chân lý Chúng ta có thể định nghĩa ngữ nghĩa của các kết nối logic rõ ràng hơn trong một bảng chân lý: 16
Ngữ nghĩa của phép kéo theo P  Q nghĩa là gì ? Nếu P đúng thì có thể khẳng định rằng Q đúng. Nếu P sai thì không khẳng định gì. Còn được biết đến như là các luật if-then Ví dụ: if trời mưa then tôi sẽ bị ướt R  W Quan trọng: P  Q tương đương với P ٧ Q 17
Biểu diễn tri thức trong logic mệnh đề Ví dụ: KB = {An tới dự bữa tiệc; Nếu Lan tới dự bữa tiệc thì Trung cũng tới; Nếu Lan không tới thì An cũng không tới dự bữa tiệc} Giả dụ: A biểu diễn An tới dự bữa tiệc. L biểu diễn Lan tới dự bữa tiệc. T biểu diễn Trung tới dự bữa tiệc. KB  {A, L  T , L  A} 18
Sự rút ra KB ╞ α Cơ sở tri thức KB rút ra câu α nếu và chỉ nếu α là đúng khi tất cả các câu trong KB đúng. Nói cách khác: Nếu KB đúng thì α cũng phải đúng. Thí dụ, KB bao gồm “Lan là sinh viên” và “An là sinh viên” rút ra “Hoặc Lan là sinh viên hoặc An là sinh viên” Thí dụ, cơ sở tri thức của chúng ta KB  {A, L  T , L  A} rút ra T Tại sao? 19
Mô hình Trong logic mệnh đề các mô hình có thể được hiểu là một cách gán giá trị chân lý cho các chữ để tạo ra các câu đúng, thí dụ, hãy tìm các mô hình của câu L T ? Giả sử M(α) là tập tất cả các mô hình của α Khi đó KB ╞ α nếu và chỉ nếu M (KB)  M ( ) Thí dụ, KB = Lan là sinh viên và An là sinh viên α = Lan là sinh viên 20