# Lect5 - Announcement Homework 1 due Thursday 1 More...

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

Announcement Homework 1 due Thursday 1

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

View Full Document
More Examples Birds fly. Some birds fly. Room 1404 Siebel is empty. Some Ford is better than any Buick. Someone on the basketball team is taller than anyone on the football team. 2
“Birds Fly” x [Bird(x) Flies(x)] x [B(x) F(x)] where B means “is a bird” and F means “can fly” We can also think about the meaning as “There is no bird that cannot fly”  x [Bird(x)   Flies(x)] These are equivalent: the two predicate calculus sentences have the same meaning although they look quite different. 3

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

View Full Document
Some birds fly. x [Bird(x) Flies(x)] Note: in logic “some” traditionally means “at least one” Room 1404 Siebel is empty. [taken to mean empty of people] Really Bad: P Poor: Empty(Room1404SC) Better: x [Person(x) Different(Location-of(x), Room1404SC)] Still Better: x y [(Person(x) Location(y) At(x,y)) Different(y, Room1404SC)] Completely Wrong: (why?) x [Person(x) At(x, Room1404SC)] NOTE: functions (like Location- of) are partial… 4
Some Ford is better than any Buick. x [Ford(x)

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

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 10/13/2011 for the course CS 440 taught by Professor Levinson,s during the Fall '08 term at University of Illinois, Urbana Champaign.

### Page1 / 12

Lect5 - Announcement Homework 1 due Thursday 1 More...

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

View Full Document
Ask a homework question - tutors are online