Formalised non-monotonic logic
Formalised non-monotonic logic is a development of formal logic that allows for the introduction of new axioms to validate old theorems. In this way, it accounts for the human ability to revise assumptions in light of new observations.
John McCarthy, 1977.
Note: this definition is adapted from McDermott & Doyle (1990).