a mathematical reasoning system wherein data formerly thought to be accurate can be amended and removed in the light of new data. This means that any other data believed to be accurate, based upon the removed data, must also be reassessed. The system is claimed to be nonmonotonic
NONMONOTONIC LOGIC: “Nonmonotonic logic is not introduced until one achieves an in depth knowledge of mathematics.”