Non-monotonic logic is a type of logic system where the introduction of new information can invalidate previous conclusions, unlike traditional monotonic logic systems where conclusions are always preserved. It is particularly useful in areas like artificial intelligence and knowledge representation, where assumptions and beliefs may need to be revised as new information becomes available.