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

• Kỹ thuật lập trình
• Bài giảng Trí tuệ nhân tạo
• Trí tuệ nhân tạo
• Kỹ năng lập trình
• Khoa học về trí não
• Nghiên cứu trí tuệ nhân tạo
• Công nghệ thông tin
• Kỹ thuật lập trình
• Trí tuệ nhân tạo chương 1
• Tổng quan về trí tuệ nhân tạo
• Nền tảng của trí tuệ nhân tạo
• Bài giảng Trí tuệ nhân tạo chương 1
• Nền tảng trí tuệ nhân tạo
• Định nghĩa trí tuệ nhân tạo
• Thành tự trí tuệ nhân tạo
• Lịch sử trí tuệ nhân tạo
• Thành tựu trí tuệ nhân tạo
• Thách thức trí tuệ nhân tạo
• Cơ sở Trí tuệ nhân tạo‎
• Bài giảng Cơ sở Trí tuệ nhân tạo‎
• Đối tượng nghiên cứu trí tuệ nhân tạo
• Lĩnh vực áp dụng trí tuệ nhân tạo
• Trí tuệ nhân tạo chương 2
• Bài giảng Trí tuệ nhân tạo chương 2
• Biểu diễn bài toán
• Agen thông minh
• Đặc điểm của trí tuệ nhân tạo
• Ứng dụng của trí tuệ nhân tạo
• Tác nhân thông minh
• Khái niệm Trí tuệ nhân tạo
• Thành tựu của khoa học Trí tuệ nhân tạo
• Xu hướng mới Trí tuệ nhân tạo
• kinh tế chính trị học
• học thuyết kinh tế
• sách kinh tế học
• tài liệu học đại học
• giáo trình trí tuệ nhân tạo
• tài liệu trí tuệ nhân tạo
• đề cương bài giảng
• sách trí tuệ nhân tạo
• xử lý ngôn ngữ tự nhiên
• ứng dụng trí tuệ nhân tạo
• sản phẩm trí tuệ nhân tạo
• đề cương Trí tuệ Nhân tạo
• lý thuyết Trí tuệ Nhân tạo
• Tri tuệ nhân tạo
• nghiên cứu Tri tuệ nhân tạo
• hệ thống Tri tuệ nhân tạo
• thiết kế Tri tuệ nhân tạo
• tìm hiểu Tri tuệ nhân tạo
• phương pháp giải quyết vấn đề cơ bản
• Bài giảng Nhập môn trí tuệ nhân tạo
• Nhập môn trí tuệ nhân tạo
• Vai trò trí tuệ nhân tạo
• Tính chất của một thuật toán
• Kỹ thuật tìm kiếm