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. In your own words, distinguish between the properties of soundness and completeness in propositional logic.
  3. How would you explain the correctness (truthfulness) of the proposition "Grinnell College is in Davenport implies it is the best all-around college" to your roommate?
  4. One might consider the algorithm TT-CHECK 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 (3-5 sentences) explain your choice.