并行推理机及其基本软件综述  

作　　者：张静 刘海燕 王献昌 

出　　处：《计算机科学》1994年第4期19-24,共6页Computer Science

摘　　要：本文简要介绍FGCS计划的总体框架、PIM机及其基本软件。FGCS原型系统的核心是并行推理系统,包括并行推理机PIM和它的操作系统PIMOS。知识库管理系统(KBMS)建立在并行推理系统上,并与PIMOS共同构成FGCS原型系统的基本软件。在此基础上,开发出约束逻辑程序设计语言的LP(Language Processor)、并行定理证明器、自然语言处理系统等高级知识程序设计软件,以支持有力的推理和知识处理。为评估PIM和探索知识处理的新领域,研制了几个实验性应用系统。总之,有关PIM的成果和基本软件远远超过了FGCS计划的初始研究目标。

关 键 词：并行处理 并行推理机 软件 

分 类 号：TP338.6[自动化与计算机技术—计算机系统结构]