Propositional Inference: Resolution

CSC 261 - Artificial Intelligence - Weinman



Answer the following questions. Record your answers in your Reading Journal.
  1. Give an interpretable sentence in English (corresponding to how one might read aloud a sentence of propositional logic ) that is
    1. valid, and another sentence that is
    2. satisfiable, and one last sentence that is
    3. unsatisfiable.
    For example, "The weather is rainy and cold" is a propositional assertion phrased in English, rather than the more symbolic R ∧ C. Briefly explain why each of your sentences meets the definition of these terms.
  2. In your own words, briefly describe the resolution rule for an inference algorithm.
  3. Select a sentence from today's reading that you believe best illustrates the relationship between CNF and resolution for inference. Briefly (3-5 sentences) explain why you chose this sentence.