= Non-monotonic logic
{wiki=Non-monotonic_logic}
Non-monotonic logic is a type of logic in which the introduction of new information can invalidate previously drawn conclusions. In contrast to classical logic, where the addition of new premises cannot undo previously valid inferences (hence it is called monotonic), non-monotonic logic allows for reasoning that can evolve and change based on the addition of new knowledge. This characteristic makes non-monotonic logic particularly useful in situations where information is incomplete, uncertain, or can be updated as new data becomes available.
Back to article page