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.

• 分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性，将论据的优先级和可信度引入ATMS，提出了结合优先级和可信度的非单调真值维护系统，并给出其算法。