Non-monotonic reasoning
Redirect to:
Non-monotonic logic