Illinois State University - CS 404Answers COMPUTER SCIENCE ( ALL ANSWERS CORRECT )

Document Content and Description Below

Answers 1. Convert the following knowledge base to conjunctive normal form: 2. A AND B 3. B => (A OR C) Answer: A B (NOT B) OR A OR C 4. Consider the following knowledge base: 5. A 6. B 7. N... OT A Does this knowledge base entail the following sentence: B OR C Justify your answer. Answer: The knowledge base given in this question is not satisfiable, since it contains both A and NOT A. Since it is not satisfiable it entails every possible statement, including B OR C. 8. Given a propositional-logic vocabulary with only four symbols, A, B, C, D, how many models are there for the following sentences? In other words, for each of those statements, determine how many models that statement is true in. Note that each model is defined by assigning boolean values to all four symbols A, B, C, D. (a) (A and B) or (B and C) (b) A or B (c) A <=> B <=>C Answer: For each case, the number of possible models that entail the given logical sentence are: (a): The following 3: (A AND B AND C) ((NOT A) AND B AND C) (A AND B AND (NOT C)) (b): The following 3: [Show More]

Last updated: 1 year ago

Preview 1 out of 5 pages