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 illustrates1 the relationship between CNF and resolution for inference. Briefly (3-5 sentences) explain why you chose this sentence.

Footnotes:

1Recall that to illustrate means to serve as an example of (i.e., the commonality) or to explain or make something clear by use of an example. It does not mean to explain or assert directly.