ai-prolog3

# ai-prolog3 - Knowledge Representation More Logic Semantic...

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

1 Knowledge Representation More Logic Semantic Networks and Frames

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

View Full Document
2 From lecture 2.. Need formal notation to represent knowledge, allowing automated inference and problem solving. One popular choice is use of logic. Propositional logic is the simplest. Symbols represent facts: P, Q, etc.. These are joined by logical connectives (and, or, implication) e.g., P Q; Q R Given some statements in the logic we can deduce new facts (e.g., from above deduce R)
3 Predicate Logic Propositional logic isn’t powerful enough as a general knowledge representation language. Impossible to make general statements. E.g., “all students sit exams” or “if any student sits an exam they either pass or fail”. So we need predicate logic..

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

View Full Document
4 Predicate Logic In predicate logic the basic unit is a predicate/ argument structure called an atomic sentence: likes(alison, chocolate) tall(fred) Arguments can be any of: constant symbol, such as ‘alison’ variable symbol, such as X function expression, e.g., motherof(fred) So we can have: likes(X, richard) friends(motherof(joe), motherof(jim))
5 Predicate logic: Syntax These atomic sentences can be combined using logic connectives likes(john, mary) 2 tall(mary) tall(john) 2 nice(john) Sentences can also be formed using quantifiers 2 (forall) and 2 (there exists) to indicate how to treat variables: 2 2 X lovely(X) Everything is lovely. 2 2 X lovely(X) Something is lovely. 2 2 X in(X, garden) 2lovely(X) Everything in the garden is lovely.

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

View Full Document
6 Predicate Logic Can have several quantifiers, e.g., 2 2 X 2 Y loves(X, Y) 2 2 X handsome(X) 2 2 Y loves(Y, X) So we can represent things like: All men are mortal.
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