Defeasible logic

Non-monotonic logic of strict, defeasible rules and undercutting defeaters

Defeasible logic is a non-monotonic logic proposed by Donald Nute to formalize defeasible reasoning. In defeasible logic, there are three different types of propositions:strict rulesspecify that a fact is always a consequence of another; defeasible rulesspecify that a fact is typically a consequence of another; undercutting defeatersspecify exceptions to defeasible rules.

This keyword could refer to multiple things. Here are some suggestions: