If a knowledge base uses default assumptions or stores tentative conclusions then, as a result of inference, it may produce new facts that conflict with existing facts; it is then said to be inconsistent. This can occur in nonmonotonic reasoning and systems that use inheritance and must be either avoided or handled by special treatment if the integrity of the system is to be maintained. See default rules.