Truth Maintenance System

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. A truth maintenance system, or TMS, is a knowledge representation method for representing both beliefs and their dependencies. The name truth maintenance is due to the ability of these systems to restore consistency. It is also termed as a belief revision system, a truth maintenance system maintains consistency between old believed knowledge and current believed knowledge in the knowledge base (KB) through revision. If the current believed statements contradict the knowledge in KB, then the KB is updated with the new knowledge. It may happen that the same data will again come into existence, the previous knowledge will be required in KB. If the previous data is not present, it is required for new inference. But if the previous knowledge was with KB, then no retracing of the same knowledge was needed.