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

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. | 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 đề