In this course we will understand how predicate logic helps in building AI systems. We will start by looking at knowledge representation and prepositional logic. We shall understand the syntax of propositional logic and the semantics behind it. Then we shall extend our understanding to predicate logic. We shall see how predicate logic a generalized form of prepositional logic is. Like prepositional logic we shall also see the syntax and semantics of predicate logic.

Next, we shall work towards developing a reasoning mechanism for predicate logic and will also see what reasoning (inference) rules can be applied on predicate and how they differ in their functionality. We shall see how universal and existential elimination methods differ from each other. Why do we need to be extra cautious about existential elimination and what different types of existential elimination techniques are there.

Then we shall look at how we can convert a predicate expression into canonical form. We will see what are the steps followed in converting a predicate expression into either conjunctive normal form or disjunctive normal form. Then we shall apply resolution onto the normalized predicates. Here we shall understand how reasoning can be applied through refutation and what are its implications.