摘要
介绍了维护系统知识库一致性的重要性,以及在各种实现真值维护的方法中,对于多解问题的基于假设的真值维护系统,研究了用于加快处理速度而引入的并行处理机制,使问题求解器与基于假设的真值维护系统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 .
出处
《沈阳理工大学学报》
CAS
1993年第2期39-44,共6页
Journal of Shenyang Ligong University
关键词
问题求解
真值维护
并行处理
知识系统
problem solving
truth maintenance
parallel execution
knowledge system