tailieunhanh - Lecture Artificial Intelligence - Chapter 9: Inference in first-order logic

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. |

TỪ KHÓA LIÊN QUAN