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

Artificial Intelligence--Propositional Logic:

This lecture-4 is about :

1. Representation in Propositional Logic

2. Logical Connectives

3. Rules of Inferences
    (a)  Modus Ponen Rule
    (b)  Resolution Rule
4. Inference using Hypothesis-  Example    

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

Click here for  Propositional Logic Notes

Click here for  Propositional Logic & Predicate Logic PPTS