Exercise 6        Name __________________        Score __/12

Rules

1. ABC
2. AD
3. CDE
4. BEFG
5. AEH
6. DEHI

Facts:    A, B, F
 

1. Using logical equivalences, modus ponens, etc. prove H.
   
   1 - using modus ponens C
   2 - using modus ponens D
   3 - using modus ponens E
   5 - using modus ponens H
    
2. Using resolution, prove H.
    
   1. ABC ABC
   2. AD AD
   3. CDE CDE
   4. BEFG BEFG
   5. AEH AEH
   6. DEHI DEHI

   Facts:    A, B, F

   Add: H
    

3. Using forward chaining, prove H.
   
   Facts                Clauses
   A,B,F                AD
   A,B,F,D             ABC
   A,B,F,D,C          CDE
   A,B,F,D,C,E       AEH
   A,B,F,D,C,E,H
    
4. Using backward chaining, prove H.

Facts            Goals            Clauses
A,B,F            H                  AEH
A,B,F            E,H               CDE
A,B,F            D,C,E,H         AD
A,B,F,D         C,E,H            ABC
A,B,F,D,C,E,H