Propositional Inference
CSC 261 - Weinman


Answer the following questions. Record your answers in your Reading Journal.
  1. In your own words, briefly describe the resolution rule for an inference algorithm.
  2. Select a sentence from today's reading that best illustrates the relationship between CNF and resolution for inference. Briefly explain why you chose this sentence.
  3. Say your neighbor in class forgot to read the text for today. How would you begin to explain this statement to them (i.e., why it's true): "two clauses resolve to yield the empty clause, in which case KB entails a." (p. 216, immediately below Fig. 7.13)1
  4. Select the sentence from today's reading that best summarizes the benefits of Horn clauses. Briefly explain why you chose this sentence.

Footnotes:

1Naturally, you would only do this after you remind them how awesome and useful it is to prepare for class. Of course, if everyone forgets, then everyone is up a creek.

File translated from TEX by TTH, version 3.80.
On 30 Sep 2009, 14:27.