non-monotonic logic
formal logic whose conclusion relation is not monotonic
Circumscription
non-monotonic logic created by John McCarthy
defeasible logic
non-monotonic logic of strict rules, defeasible rules, and undercutting defeaters
default logic
type of non-monotonic logic