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 the reading that you believe best illustrates the utility of Generalized Modus Ponens. Briefly (3-5 sentences) explain why you chose this sentence.
  2. Briefly (3-5 sentences) explain 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.
  3. Briefly (3-5 sentences) explain the first-order logic forward-chaining algorithm ( FOL-FC-ASK) as you would to someone who has just taken a geometry class (and is therefore familiar with basic proof ideas). Make sure you incorporate the elements that distinguish it from propositional forward-chaining ( PL-FC-ENTAILS?).