论文部分内容阅读
并行知识库机是一种用于提高知识库系统推理效率的多机系统。本文利用ＰＯＳＴ模型来形式化它的并行推理模型和操作规范；为保证系统的正确性和可靠性，还重点讨论它的通讯一同步机制。
Parallel knowledge base machine is a kind of multi-machine system used to improve the reasoning efficiency of knowledge base system. This paper uses the POST model to formalize its parallel reasoning model and operating specifications. To ensure the correctness and reliability of the system, it also focuses on its communication-synchronization mechanism.