exercise2sol - CSE541 Exercise 2 SOLUTIONS QUESTION 1 Give...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: CSE541 Exercise 2 SOLUTIONS QUESTION 1 Give a definition and an example of a default reasoning. Default reasoning is a reasoning in which it is allowed to draw plausible inferences from less-then- conclusive evidence in the absence of information to the contrary. Example : Consider a statement Birds fly . Tweety, we are told, is a bird. From this, and the fact that birds fly, we conclude that Tweety can fly. This conclusion, however is defeasible : Tweety may be an ostrich, a penguin, a bird with a broken wing, or a bird whose feet have been set in concrete. But as long as we don’t have the evidence to the contrary ( Tweedy has a broken wing ) we accept the conclusion that Tweety can fly . QUESTION 2 Write the following natural language statement: From the fact that it is not necessary that an elephant is not a bird we deduce that: it is not possible that an elephant is a bird or, if it is possible that an elephant is a bird, then it is not necessary that a bird flies. as a formula (i) A 1 ∈ F 1 of a language L {¬ , C , I , ∩ , ∪ , ⇒} , and as a formula (ii) A 2 ∈ F 2 of a language L {¬ , ∩ , ∪ , ⇒} . Solution (i) We translate our statement into a formula A 1 ∈ F 1 of a language L {¬ , C , I , ∩ , ∪ , ⇒} as follows. Propositional Variables: a,b . a denotes statement: an elephant is a bird , b denotes a statement: a bird flies ....
View Full Document

This note was uploaded on 02/12/2011 for the course CSE 541 taught by Professor Bachmair,l during the Spring '08 term at SUNY Stony Brook.

Page1 / 4

exercise2sol - CSE541 Exercise 2 SOLUTIONS QUESTION 1 Give...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online