... trên ngữ nghĩa.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 ... ô [i, j].Bi,j nhận giá trị đúng nếu có tiếng gió trong ô [i, j].¬ P1,1¬B1,1B2,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 ... 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óLập Luận•KB ├i α = mệnh đề α dẫn được từ KB bằng thủ tục (cơ chế lập luận)...