NHẬP MÔN TRÍ TUỆ NHÂN TẠO @copyrights by Dr Nguyễn Xuân Hoài Biểu Diễn Tri Thức và Lập Luận dựa trên Logic mệnh đề Nội Dung • Lựa chọn hành động dựa trên tri thức. • Hang Wumpus . • Logic. • Logic Mệnh đề. • Tính tương đương, tính thoả được. • Lập luận & chứng minh tự động trên Logic Mệnh đề lập luận tiến lập luận lùi phép giải 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 nào đó • Giải quyết vấn đề bằng đặc tả – Cơ sở tri thức (KB) biểu diễn điều mà agent cần biết • Sau đó để giải quyết vấn đề chỉ cần ra lệnh “what to do?”. Cơ sở tri thức và cơ chế lập luận sẽ giúp agent tự giải quyết vấn đề. • Do đó agent có thể được dùng tuỳ thuộc vào cấp độ tri thức chứ không phụ thuộc vào cài đặt. (cấu trúc dữ liệu, thuật toán, .). Khung mẫu cho Agent tựa tri thức • Agent phải có khả năng: – biểu diễn trạng thái, hành động etc. – Tiếp nạp dữ liệu mới từ bên ngoài. – Thay đổi nhận thức (biểu diễn) thê giới bên ngoài. – Suy diễn những sự kiện ẩn (không thấy) của thế giới bên ngoài – Dẫn đến hành động thích hợp trên cơ sở suy diễn. Hang Wumpus • Điểm hiệu quả – gold +1000, death -1000 – -1 / 1 bước, -10 nếu dùng cung • Môi Trường – ô cạnh ô có Wumpus có mùi thối. – Ô cạnh bẫy có tiếng gió thổi. – Ô bên cạnh ô đựng vàng có ánh kim – Bắn Wumpus nếu đối diện với nó. – Chỉ được dùng một mũi tên – Chộp lấy vàng nếu ở cùng ô – Thả vàng rơi trong cùng ô • Sensors: mùi, tiếng gió, ánh kim, xóc, tiếng rên la. • Actuators: quay trái, phải, tiến, chộp, thả, bắn. Đặc Điểm bài toán Hang Wumpus • Quan sát tất cả các trạng thái? không – chỉ quan sát được cục bộ • Đơn định? Có • Lời giải? Dãy các hành động để đạt được điểm thưởng cao nhất. • Tính động? Tĩnh – Wumpus và bẫy ở nguyên vị trí. • Rời rạc Có Ví dụ Ví dụ Ví dụ [...]...Ví dụ Ví dụ Ví dụ Ví dụ Ví dụ Logic • Logics ngôn ngữ hình thức biểu diễn thông tin như các kết luận có thể trích rút, suy diễn từ tri thức và quan sát môi trường xung quanh • Cú pháp định nghĩa cấu trúc câu cho Logic • Ngữ nghĩa xác định nghĩa của câu – i.e xác lập tính đúng đắn của một mệnh đề trong hoàn cảnh... P3,1) = true ∧ (true ∨ false) = true ∧ true = true Bảng giá trị luận lý Ví dụ Pi,j nhận giá trị đúng nếu có hố trong ô [i, j] Bi,j nhận giá trị đúng nếu có tiếng gió trong ô [i, j] ¬ P1,1 ¬B1,1 B2,1 • “Hố tạo nên tiếng gió ở các ô xung quanh" B1,1 ⇔ (P1,2 ∨ P2,1) B2,1 ⇔ (P1,1 ∨ P2,2 ∨ P3,1) Lập Luận Dựa Trên Bảng Luận Lý Lập Luận Bằng Liệt Kê Models • Tìm kiếm (theo chiều sâu) và liệt kê các mô hình Quan . NHẬP MÔN TRÍ TUỆ NHÂN TẠO @copyrights by Dr Nguyễn Xuân Hoài Biểu Diễn Tri Thức và Lập. đạt được điểm thưởng cao nhất. • Tính động? Tĩnh – Wumpus và bẫy ở nguyên vị trí. • Rời rạc Có Ví dụ Ví dụ Ví dụ Ví dụ Ví dụ Ví dụ Ví dụ Ví dụ Logic