Non-monotonic logic

Is focused on the idea of reasoning with incomplete or uncertain information.