Circumscription—A form of non-monotonic reasoning

Circumscription—A form of non-monotonic reasoning