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

Parallel Assumption-Based Truth Maintenance Simulation System

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

Maintaining consistency of the knowledge base of the knowledge-based system is very important performance for measuring the effectiveness of the system. Truth maintenance system (TMS) is effective tool for maintaining the consistensy, Assumption- based TMS technique is the best method for the multisolution problems among the TMS techniques. In order to improve processing speed, the mechanism of parallel processing is in- troduced into the knowledge system. Problem solver and ATMS can run in parallel. The Par- allel Assumption-based Truth Maintenance Simulation System(PATMSS) is implemented .