Lecture Artificial Intelligence - 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.
Nội dung trích xuất từ tài liệu:
Lecture Artificial Intelligence - Chapter 8: First-order logic
Lecture Artificial Intelligence - Chapter 8: First-order logic
Số trang: 32
Loại file: pdf
Dung lượng: 102.86 KB
Lượt xem: 29
Lượt tải: 0
Thông tin tài liệu:
Tìm kiếm theo từ khóa liên quan:
Artificial Intelligence Lecture Artificial Intelligence Trí tuệ nhân tạo First-order logic Semantics of FOL Fun with sentences Wumpus world in FOLTài liệu có liên quan:
-
Đề cương chi tiết học phần Trí tuệ nhân tạo
12 trang 482 0 0 -
7 trang 286 0 0
-
Ebook Managing risk and information security: Protect to enable - Part 2
102 trang 284 0 0 -
6 trang 215 0 0
-
Kết quả bước đầu của ứng dụng trí tuệ nhân tạo trong phát hiện polyp đại tràng tại Việt Nam
10 trang 207 0 0 -
9 trang 172 0 0
-
Xu hướng và tác động của cách mạng công nghiệp lần thứ tư đến môi trường thông tin số
9 trang 170 0 0 -
Xác lập tư cách pháp lý cho trí tuệ nhân tạo
6 trang 157 1 0 -
Tìm hiểu về Luật An ninh mạng (hiện hành): Phần 1
93 trang 155 0 0 -
Luận văn tốt nghiệp: Ứng dụng trí tuệ nhân tạo trong xây dựng GAME
120 trang 151 0 0
