Truth Maintenance System
Truth Maintenance System
复制标题
真相维护系统
DOI：
10.1007/978-3-642-96868-6_250
复制
发表时间：
1984
期刊：
影响因子：
--
通讯作者：
L. Wallen
中科院分区：
文献类型：
--
作者：
A. Bundy;L. Wallen
真相维护系统（TMS）用于记录断言的理由。这些理由可用于生成解释并追踪断言背后的假设。在RUP<219>中，每个论证都是句子（命题）原子的析取子句，并且任何这样的子句都可以被视为论证。 RUP 的 TMS 采用一组这样的命题子句并执行命题约束传播<39>，以确保系统相信每个具有有效理由的断言（从而确保演绎不变）。 RUP 的 TMS 还确保对于所有原子都为假的每个命题子句，在矛盾队列上都有一个条目。
A truth maintenance system (TMS) is used to record justifications for assertions. Such justifications can be used to generate explanations and to track down the assumptions underlying assertions. InRUP <219>every justification is a disjunctive clause of sentential (propositional) atoms and any such clause can be treated as a justification. RUP’s TMS takes a set of such propositional clauses and performs propositionalconstraint propagation <39>to ensure that every assertion with a valid justification is in fact believed by the system (thus ensuring a deductioninvariant). RUP’s TMS aiso ensures that there is an entry on a contradiction queue for every propositional clause all of whose atoms are false.