Đang chuẩn bị liên kết để tải về tài liệu:
Lecture Artificial Intelligence - Chapter 9: Inference in first-order logic
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Lecture Artificial Intelligence - Chapter 9: Inference in first-order logic. The main contents of this chapter include all of the following: Reducing first-order inference to propositional inference, unification, generalized modus ponens, forward and backward chaining, logic programming, resolution. |