Truth maintenance systems (TMS) are also called reason maintenance systems. They are used as a means to solve problems in the domain of Artificial Intelligence when using rule-based inference systems. A TMS is used to build and manage the dependency network that an inference engine uses to solve problems. There are many goals that a TMS needs to satisfy. IT has to have the ability to justify the conclusions it reaches. It has to recognize the inconsistencies in the result and determine the cause. It has to remember all of the derivations that it had previously computed and more. The premise, contradiction, and assumption architecture form to be the fundamental entity in the working of a truth maintenance system.
If you are looking for an online course to learn Artificial Intelligence, check out this Artificial Intelligence Training program by Intellipaat.