信值修正系统及其实现

在许多基于知识的问题求解系统中，随着知识的不断积累可能会检测到某些新的结论和原有的知识产生矛盾，而维持该类系统中知识库的一致性是衡量该类系统是否有效的十分重要的标志，信值修正系统是解决类问题有效工具。

Truth Maintenance Systems and Its Implementation

In most Knowledge-based problem solving systems, the contradictions would be detected as reasoning made, the ability of how to change the old beliefs and maintain the system consistency is very important. Truth maintenance systems is one of the methods that allow the problem solver to make nonmonotonic inference. In this paper, a brief introduction deals with the concepts of truth maintenance systems and three of typical TMS systems. Mainly method of how to implement De Kleer's assumption-based truth maintenance system is given in this paper.