First-Order Logic Inference

CSC 261 - Artificial Intelligence - 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 you feel best illustrates the utility of Generalized Modus Ponens. Briefly explain why you chose this sentence.
  3. Give an example from your own experience that required some sort of "pattern matching" where a most general unifier was preferred. If this is a stretch, strive for the closest analogy you can find.
  4. How would you begin to explain the first-order logic forward-chaining algorithm ( FOL-FC-ASK) to someone who has just taken a geometry class (and is therefore familiar with basic proof ideas)?