一台并行知识库机的推理模型和通讯同步机制

摘要

并行知识库机是一种用于提高知识库来统推理效率的多机系统。本文利用POST模型来形式化它的并行推理模型和操作规范7 为保证系统的正确性和可靠性,还重点讨论它的通讯一同步机制。