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

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