Non-Monotonic Reasoning

Monotonic Reasoning will give one conclusion for the knowledge even if we add the knowledge. The conclusion will be change if we add the knowledge in Non-Monotonic Logic.

Truth Maintenance System (TMS) is computational model for Non-Monotonic Reasoning,