Nonmonotonic Reasoning

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A class of inferential processes in which adding new premises can invalidate previously drawn conclusions; inference is defeasible rather than strictly monotonic.