Artificial intelligence - Lecture 10: First order logic (Le Thanh Huong)

Artificial intelligence - Lecture 10: First order logic. This lecture provides students with content including: first order logic (FOL); syntax; semantic; inference; resolution; transform sentences to FOL; Robinson’s resolution for FOL;... Please refer to the detailed content of the lecture!