This video is about How to represent knowledge using Predicate Logic or First Order Logic (FOL) in Artificial Intelligence. Here we will discuss about Knowledge Representation using Predicate Logic through some examples. Here we will use Basic Symbols in FOL, Universal Quantifiers and Existential Quantifiers, Free and Bounded Variables.
