Bài giảng trí tuệ nhân tạo logic

Logic Tác nhân logic: Thế giới Wumpus Thế giới Wumpus  Đo lường hiệu suất □ □ vàng: +1000, chết: -1000 -1 cho 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 vng kề với hố: gió nhẹ Lấp lánh (glitter) có vàng Bắn (shoot) giết chết wumpus bạn đối diện với Bắn (shoot) sử dụng mũi tên Gắp (grab) lấy vàng vàng ô  Cảm biến: Stench, Breeze, Glitter, Bump, Scream  Truy suất: Left turn, Right turn, Forward, Grab, Release, Shoot Môi trường giới Wumpus      Quan sát đầy đủ? Không quan sát cục Định trước? Đúng kết xác định xác Tĩnh? Đúng, Wumpus hố không di chuyển Rời rạc? Đúng Đơn tác nhân? Đúng Khám phá giới Wumpus Trạng thái ban đầu Khám phá giới Wumpus Sau bước Gió nhẹ bên cạnh hố Vậy đâu hố? Khám phá giới Wumpus Ở có mùi Nghĩa Wumpus Sau bước Khám phá giới Wumpus Đã tìm thấy vàng, Và tránh Wumpus Sau bước Logic mệnh đề • Cơ sở tri thức • Tổng quan logic • Logic mệnh đề • Các dạng chuẩn • Các luật suy diễn Cơ sở tri thức Cơ sở tri thức = tập câu ngơn ngữ hình thức Cho phép tác tử suy luận giới, tìm tính chất ẩn xác định 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 Trung tới; Nếu Lan khơng tới An khơng tới dự bữa tiệc} Tác tử phải rút Trung tới dự bữa tiệc 10 Ví dụ lập luận tiến Lập luận tiến tin cậy đầy đủ với KB Horn 46 Lập luận lùi Lập luận hướng mục tiêu Ý tưởng: làm việc quay lui từ truy vấn q: kiểm tra q biết rồi, chứng minh việc suy luận quay lui tất giả thiết luận có kết luận q Tránh lặp: kiểm tra mục tiêu có ngăn xếp mục tiêu chưa 47 Ví dụ lập luận lùi 48 Ví dụ lập luận lùi 49 Ví dụ lập luận lùi 50 Ví dụ lập luận lùi 51 Ví dụ lập luận lùi 52 Ví dụ lập luận lùi 53 Ví dụ lập luận lùi 54 Ví dụ lập luận lùi 55 Ví dụ lập luận lùi 56 Ví dụ lập luận lùi 57 So sánh lập luận tiến lập luận lùi  FC hướng liệu  Có thể phải làm nhiều việc khơng liên quan đến đích  BC hướng mục tiêu, phù hợp cho việc giải vấn đề, □ Ví dụ, Các cua học tơi cần tham gia để tốt nghiệp? Làm tơi nhận vào khóa học PhD?  Độ phức tạp BC nhỏ tuyến tính so với kích thước KB 58 Những hạn chế logic mệnh đề Logic mệnh đề đơn giản, có khả diễn đạt hạn chế khó diễn tả phát biểu liên quan tới đối tượng mối quan hệ Ví dụ: Làm sử dụng logic mệnh đề để diễn tả {Tất người yêu thích hoa hồng} Để làm cần có mệnh đề riêng biệt cho người trái đất để khẳng định chị ta yêu thích hoa hồng {Lan yêu thích hoa hồng, An yêu thích hoa hồng, Mai yêu thích hoa hồng, vân vân} Điều dẫn đến số lượng khổng lồ mệnh đề gây nhiều vấn đề cho việc suy diễn Chúng ta xem xét logic diễn cảm hơn: logic vị từ logic cấp Logic cho phép suy luận đối tượng, tính 59 chất mối quan hệ chúng Tổng kết Các tác tử logic áp dụng suy diễn với sở tri thức để rút thông tin tạo định Các khái niệm logic: • cú pháp: cấu trúc chuẩn câu • ngữ nghĩa: tính đắn câu mơ hình • rút ra: tính đắn tất yếu câu có từ câu khác • suy diễn: nhận câu từ câu khác • tính tin cậy: suy diễn tạo câu rút • tính đầy đủ: suy diễn tạo tất câu rút Logic mệnh đề đáp ứng số công việc Phương pháp bảng chân lý tin cậy đầy đủ với logic mệnh đề Luật phân giải (với CNF) tin cậy đầy đủ với logic mệnh đề Luật Modus Ponens tin cậy đầy đủ với với sở tri thức Horn 60 ... Trung tới dự bữa tiệc 10 Tổng quan logic Logic ngơn ngữ hình thức dùng để biểu diễn thơng tin cho từ rút kết luận Các thành phần logic: Cú pháp định nghĩa cách tạo câu ngôn ngữ Ngữ nghĩa định nghĩa... Sau bước Khám phá giới Wumpus Đã tìm thấy vàng, Và tránh Wumpus Sau bước Logic mệnh đề • Cơ sở tri thức • Tổng quan logic • Logic mệnh đề • Các dạng chuẩn • Các luật suy diễn Cơ sở tri thức Cơ sở...Tác nhân logic: Thế giới Wumpus Thế giới Wumpus  Đo lường hiệu suất □ □ vàng: +1000, chết: -1000 -1 cho