Propositional Logic

CSC 261 - Artificial Intelligence - Weinman



Answer the following questions. Record your answers in your Reading Journal.
  1. Give an example of a sentence from a domain of your own experience (i.e., the book uses arithmetic; you should appeal to something else) and identify a model that satisfies your sentence.
  2. Explain the correctness (truthfulness) of the proposition "Grinnell College is in Davenport implies it is the best all-around college" as you would to a roommate who hasn't taken any formal logic.
  3. One might consider the algorithm TT-CHECK-ALL to be yet another search algorithm (Y.A.S.A.?) wearing a "logic"al mask. Among those we have studied, which search algorithm do you find it to be most similar to? Briefly explain why you chose that particular search algorithm, identifying at least two similarities you see.