tailieunhanh - Lecture Artificial intelligence - Lesson 8: Inference in first-order logic

Lecture "Artificial intelligence - Lesson 8: Inference in first-order logic" presents the following contents: reducing first-order inference to propositional inference; unificatio; generalized modus ponens; forward chaining; backward chaining; resolution. We invite you to take a look at the content of the lecture. |

TỪ KHÓA LIÊN QUAN