Artificial Intelligence--Predicate Logic

This lecture-5 is about :

1. Representation in Predicate Logic

2. Rules of Inferences
    (a)  Universal Elimination
    (b)  Existential Elimination
    (c)  Existential Introduction
3. Horn Sentences -Examples    
4. Inference using given set of Hypothesis.

5. Inference using Resolution Technique (based on Proof by Contradiction) -  Example 


Click here for  Predicate Logic Notes

Click here for  Predicate Logic & Inference --PPTS