16_FirstOrderLogic

# 16_FirstOrderLogic - Beyond Propositional logic...

This preview shows pages 1–3. Sign up to view the full content.

11/16/2009 1 First Order Logic Beyond Propositional logic Propositional logic not expressive enough In Wumpus world we needed to explicitly write every case of Breeze & Pit relation “All squares next to pits are breezy” “Regular” programming languages mix facts (data) and procedures (algorithms) World[2,2]=Pit Cannot deduce/compose facts automatically Declarative vs. Procedural Natural Language Natural language probably not used for representation Used for communication “Look!” Look! Visual Thinking One time, we were discussing something – we must have been eleven or twelve at the time – and I said, “But thinking is nothing but talking to yourself.” – “Oh, yeah?”, Bennie said, “Do you know the crazy shape of the crankshaft in a car?” – “Yeah, what of it?” – “Good. Now tell me: how did you describe it when you were talking to yourself?” (Feynman, 1988) First Order Logic Idea: Don’t treat propositions as “atomic” entities. First Order Logic: Objects: cs4701, fred, ph219, emptylist … Relations/Predicates: is_Man(fred), Located(cs4701, ph219) … Note: Relations typically correspond to verbs Functions: Best_friend(), beginning_of() Connectives: , , , , Quantifiers: Universal: x: ( is_Man(x) ) is_Mortal(x) ) Existential: y: ( is_Father(y, fred) )

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

View Full Document
11/16/2009 2 Wumpus Squares neighboring the wumpus are smelly Objects: Wumpus, squares Property: Smelly Relation: neighboring Evil king john rules England in 1200 Objects: John, England, 1200 Property: evil, king Relation: ruled Example: Representing Facts in First Order Logic 1. Lucy* is a professor 2. All professors are people. 3. Ober is the dean. 4. Deans are professors. 5. All professors consider the dean a friend or don’t know him. 6. Everyone is a friend of someone. 7. People only criticize people that are not their friends. 8. Lucy criticized Ober. * Name changed for privacy reasons. Example: Proof Knowledge base: is prof(lucy) x ( is prof(x) is person(x) ) is dean(Ober) x (is dean(x) is prof(x)) x ( y ( is prof(x) is dean(y) is friend of(y,x)   knows(x, y) ) ) x ( y ( is friend of (y, x) ) ) x ( y (is person(x) is person(y) criticize (x,y) is friend of (y,x))) criticize(lucy, Ober) Question: Is Ober no friend of Lucy? is friend of(Ober ,lucy) Other logics Temporal logic Truths and relationships change and depend on time Fuzzy logic Uncertainty contradictions Uncertainty, contradictions High order logic Where relationships are themselves objects Knowledge Engineering 1. Identify the task.
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### What students are saying

• As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

Kiran Temple University Fox School of Business ‘17, Course Hero Intern

• I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

Dana University of Pennsylvania ‘17, Course Hero Intern

• The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

Jill Tulane University ‘16, Course Hero Intern