Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
INTRO LOGIC DAY 16 Translations in PL 2 1 Overview + + + + Exam 1: Exam 2: Exam 3: Exam 4: Exam 5: Exam 6: Sentential Logic Sentential Logic Predicate Logic Predicate Logic (finals) (finals) Translations (+) Derivations Translations Derivations very similar to Exam 3 very similar to Exam 4 When computing your final grade, I count your four highest scores. (A missed exam counts as a zero.) 2 REVIEW of DAY 1 3 Existential Quantifier original sentence paraphrase someone is happy there is someone who is happy pronoun variable there is some x (s.t.) x is happy formula x Hx 4 Universal Quantifier original sentence paraphrase pronoun variable formula everyone is happy no matter who you are you are happy no matter who x is x is happy x Hx 5 Negative-Existential Quantifier original sentence paraphrase pronoun variable formula no one is happy there is no one who is happy there is no x (s.t.) x is happy x Hx 6 Negative-Universal Quantifier original sentence paraphrase pronoun variable formula not everyone is happy not: no matter who you are you are happy not: no matter who x is x is happy x Hx 7 Equivalences xHx not-everyone is happy someone is un-happy xHx xHx no-one is happy everyone is un-happy xHx = = 8 new material for day 2 9 Quantifier Specification Generic Quantifier versus Specific Quantifier every one is H every F is H not-every one is H not-every F is H every one is un-H every F is un-H some one is H some F is H no one is H no F is H some one is un-H some F is un-H 10 Example 1 original sentence some Freshman is Happy paraphrase there is someone who … there is someone who is F and who is H there is some x x is F x ( Fx and & x is H Hx ) DON’T FORGET PARENTHESES 11 Example 2 original sentence no Freshman is Happy paraphrase there is no one who … there is no one who is F and who is H there is no x x is F x ( Fx and & x is H Hx ) DON’T FORGET PARENTHESES 12 Example 3 original sentence every Freshman is Happy paraphrase no matter who you are … you no matter who you are IF you are F THEN you are H no matter who x is IF x is F x ( Fx THEN x is H Hx ) DON’T FORGET PARENTHESES 13 Arrow versus Ampersand Rule of Thumb (not absolute) the connective immediately “beneath” a universal quantifier () is usually a conditional () ( ) the connective immediately “beneath” an existential quantifier () is usually a conjunction (&) ( & ) 14 Summary of Quantifier Specification everyone is H xHx every F is H x(Fx Hx) not-everyone is H xHx not-every F is H x(Fx Hx) everyone is un-H xHx every F is un-H x(Fx Hx) someone is H xHx some F is H x(Fx & Hx) no-one is H xHx no F is H x(Fx & Hx) someone is un-H xHx some F is un-H x(Fx & Hx) 15 Conjunctive Predicate-Combinations x is an American Biker = x is an American, and x is a Biker x is an AB = [ Ax & Bx ] every AMERICAN BIKER is CLEVER every AB is C x ( [ Ax & Bx ] Cx ) some AMERICAN BIKER is CLEVER some AB is C x ( [ Ax & Bx ] & Cx ) no AMERICAN BIKER is CLEVER no AB is C x ( [ Ax & Bx ] & Cx ) 16 Non-Conjunctive Predicates Combinations alleged criminal imitation expectant experienced small large deer racecar leather mother sailor whale shrimp hunter driver woman racecar driver baby whale killer dandruff shampoo productivity software 17 Ambiguous Examples Bostonian Bostonian cab driver attorney 18 A Pitfall Compare the following: every Bostonian Attorney is Clever every BA is C vs. every Bostonian and Attorney is Clever every B and A is C 19 Zombie Logic every x {( for any IF thing Cat and Dog Cx & Dx it is a Cat and it is a Dog ) is a Pet Px THEN } it is a Pet in other words every CAT-DOG is a PET 20 WHAT EXACTLY IS A CAT-DOG? 21 Another Candidate 22 “Distributive” Use of ‘And’ every Cat and Dog is a Pet every Cat and every Dog is a Pet every Cat is a Pet, and every Dog is a Pet x ( Cx Px ) & x ( Dx Px ) 23 “Plural” Use of ‘And’ every member of the class Cats-and-Dogs is a Pet no matter who x is if x is a member of the class Cats-and-Dogs, then x is a Pet to be a member of the class Cats-and-Dogs IS to be a Cat or a Dog x is a member of the class Cats-and-Dogs, = x is a Cat or x is a Dog = [Cx Dx] x ( [ Cx Dx ] Px ) 24 ‘Only’ as a Quantifier only are examples only Citizens are Voters only Men play NFL football employees only members only cars only right turn only only Employees are Allowed only Members are Allowed only Cars are Allowed only Right turns are Allowed 25 Recall ‘only if’ only IF not IF not IF not THEN not ‘only’ is an implicit double-negative modifier 26 One Rendering of ‘only’ only are only if you are , are you (no matter who you are) you are only if you are (no matter who you are) x is only if x is (no matter who x is) x is not if x is not (no matter who x is) if x is not , then x is not (no matter who x is) x ( x x ) 27 Alternative Rendering of ‘only’ only = no non only are no non- are no one who is not is there is no one who is not but who is there is no x ( x is not but x is ) x (x & x ) = x ( x x ) 28 THE END 29