真值维护相关论文
介绍了求解缺省假设的常用求解方法ＮＡＦ存在的局限性。无法表示否定信息；难于处理循环缺省假设和缺省假设间的依赖性，提出用分层ＡＴＭＳ求解缺省......
本文系统地论述了几类典型的ＴＭＳ系统，对它们进行分析和比较，量后简要地叙述近年来在该领域中的一些重要研究动向。......
介绍了维护系统知识库一致性的重要性,以及在各种实现真值维护的方法中,对于多解问题的基于假设的真值维护系统,研究了用于加快处......
