Đang chuẩn bị liên kết để tải về tài liệu:
Lecture note Artificial Intelligence - Chapter 8: First-order logic
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Chapter 8: First-order logic. The main contents of this chapter include all of the following: First-order logic: objects and relations are semantic primitives; syntax: constants, functions, predicates, equality, quantifiers; Increased expressive power: sufficient to define wumpus world; Situation calculus: conventions for describing actions and change in FOL; situation calculus: can formulate planning as inference on a situation calculus KB. |