Nonmonotonic Logic

When Logical Conclusions Do Not Hold True. Inference rules are called nonmonotonic when they allow intelligent systems "to augment their beliefs by new ones that do not logically follow from their explicit ones" and this or another inference may have to be retracted.