FOL Inference
CSC 261 - Weinman


Answer the following questions. Record your answers in your Reading Journal.
  1. Select the sentence from today's reading that you feel makes the best distinction between universal instantiation and existential instantiation. Briefly explain why you chose this sentence.
  2. Select the sentence from the reading that best illustrates the utility of Generalized Modus Ponens. Briefly explain why you chose this sentence.
  3. Select the sentence from the reading that best illustrates the relationship between unification and Generalized Modus Ponens. Briefly explain why you chose this sentence.
  4. How would you begin to explain the Forward-Chaining algorithm to someone who has just taken a geometry class (and is therefore familiar with basic proof ideas)?


File translated from TEX by TTH, version 3.80.
On 2 Oct 2009, 17:41.