1) truth maintenance
真值维护
2) nonmonotonic truth maintenance
非单调真值维护
1.
By introducing priorities and belief degrees of justifications into ATMS, we present a nonmonotonic truth maintenance system combining priorities and belief degrees and its algorithm is given.
分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性，将论据的优先级和可信度引入ＡＴＭＳ，提出了结合优先级和可信度的非单调真值维护系统，并给出其算法。
3) TMS n. (truth maintenance system)
真实性修订系统;真值维护系统
4) assumption based truth maintenance system
基于假设的真值维护系统(ATMS)
5) Assumption-based Truth Maintenance System
基于假设的真值维护系统
6) two-dimensional truth table
二维真值表
1.
In fact, the K-map was a two-dimensional truth table.
深入分析了卡诺图的属性,讨论了卡诺图与真值表的关系,指出卡诺图就是二维真值表。
补充资料：约定真值
分子式：
CAS号：
性质：由于真值只是无法得到的理论值，所以在实际使用中就采用接近真值因而可以代替真值的值，此值称作约定真值。约定真值与真值之差可忽略不计。为简化起见，通常可用真值这个词代替约定真值。
CAS号：
性质：由于真值只是无法得到的理论值，所以在实际使用中就采用接近真值因而可以代替真值的值，此值称作约定真值。约定真值与真值之差可忽略不计。为简化起见，通常可用真值这个词代替约定真值。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条