真值维护系统是大型推理系统的一个子系统，实现知识库中信念的修改与维护。其基本问题有：必须在不完全的、有限的信息基础上作出假设的决策，使得该假设成为知识库的信念；当这些决策的结论被以后的事实证明为错误时，如何对其信念进行修正。