真值维护系统

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