Nonmonotonic Reasoning (Logic): The term “non-monotonic logic” covers a family of formal frameworks devised to capture and represent defeasible inference — that kind of everyday inference in which reasoners draw conclusions tentatively, reserving the right to retract them in the light of further information. Such inferences are called “non-monotonic” because the set of conclusions warranted on the basis of a given knowledge base does not increase (in fact, it can shrink) with the size of the knowledge-base itself. This is in contrast to classical (first-order) logic, whose inferences, being deductively valid, can never be “undone” by new information. (Stanford Online Encyclopedia)
New to the Commons?
Begin gently with Start Here, or use Recommended Pathways to find the route that fits your concern.
Practical Tools
Use the Tools for Life-Coherent Repair page to apply the framework to real situations.
Project Hubs
Enter major works through curated rooms for civilization, health, economy, peace, wisdom, and Caribbean / SIDS applications.