Circumscription

Birds fly.

Tweety is a bird.

Therefore, Tweety flies.

… unless Tweety is a penguin or ostrich, Tweety broke his wing, Tweety is underwater, Tweety is a stuffed bird, ….

Inferences are circumscribed by context

Everything takes [implicit] context argument

Default reasoning, nonmonotoic reasoning

Previous slide

Next slide

Back to first slide

View graphic version