并行知识库机的知识划分及其推理

并行知识库机是一种采用并行处理技术来提高大规模知识库系统性能的专用机。其中，知识的划分及并行推理模型是两个关键问题。本文以产生式系统作为并行知识库机的基本知识表示方法，重点讨论产生式系统的划分和并行推理问题。

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

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

在微机上扩展的并行知识库机

本文提出的并行知识库机ＰＫＢＭ９５的硬件结构是一台微机和四台ＴＲＡＮＳＰＵＴＥＲ组成的多机系统。这里重点讨论了ＰＫＢＭ的系统结构、操作规范和操作语言，并提出一订散式的并行推理模型有诟端机、前端机两次冲突归结策略。