Motivation: More Accurate and General Representations of Knowledge

“If Willy is a bird, then Willie can fly.”

Propositional calculus:

P: Willy is a bird

Q: Willy can fly

P -> Q

“Any bird can fly.”

Predicate calculus

Forall x (Bird(x) -> CanFly(x) )

Previous slide

Next slide

Back to first slide

View graphic version