基于假设的并行真值维护模拟系统

摘要

介绍了维护系统知识库一致性的重要性,以及在各种实现真值维护的方法中,对于多解问题的基于假设的真值维护系统,研究了用于加快处理速度而引入的并行处理机制,使问题求解器与基于假设的真值维护系统ATMS并行运行,实现了并行真值维护系统PATMSS。