%0 Journal Article
%T 并行推理机及其基本软件综述
%A 张静
%A 刘海燕
%J 计算机科学
%D 1994
%I 
%X 本文简要介绍FGCS计划的总体框架、PIM机及其基本软件。FGCS原型系统的核心是并行推理系统,包括并行推理机PIM和它的操作系统PIMOS。知识库管理系统(KBMS)建立在并行推理系统上,并与PIMOS共同构成FGCS原型系统的基本软件。在此基础上,开发出约束逻辑程序设计语言的LP(Language Processor)、并行定理证明器、自然语言处理系统等高级知识程序设计软件,以支持有力的推理和知识处理。为评估PIM和探索知识处理的新领域,研制了几个实验性应用系统。总之,有关PIM的成果和基本软件远远超过了FGCS计划的初始研究目标。
%K 并行处理
%K 并行推理机
%K 软件
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=1BDF636340115F63F491001FF22EB900&yid=3EBE383EEA0A6494&vid=659D3B06EBF534A7&iid=E158A972A605785F&sid=2A8D03AD8076A2E3&eid=B91E8C6D6FE990DB&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0