Timtailieu.net 
Phân tích tư tưởng của nhân dân qua đoạn thơ: Những người vợ nhớ chồng… Những cuộc đời đã hóa sông núi ta trong Đất nước của Nguyễn Khoa Điềm
3407
1
0
9 trang
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.
Nội dung trích xuất từ tài liệu:
Lecture note Artificial Intelligence - Chapter 9: Inference in first-order logic
