并行推理机及其基本软件综述 |
| |
引用本文: | 张静,刘海燕.并行推理机及其基本软件综述[J].计算机科学,1994,21(4):19-24. |
| |
作者姓名: | 张静 刘海燕 |
| |
作者单位: | 不详 不详 |
| |
摘 要: | 本文简要介绍FGCS计划的总体框架、PIM机及其基本软件。FGCS原型系统的核心是并行推理系统,包括并行推理机PIM和它的操作系统PIMOS。知识库管理系统(KBMS)建立在并行推理系统上,并与PIMOS共同构成FGCS原型系统的基本软件。在此基础上,开发出约束逻辑程序设计语言的LP(Language Processor)、并行定理证明器、自然语言处理系统等高级知识程序设计软件,以支持有力的推理和知识处理。为评估PIM和探索知识处理的新领域,研制了几个实验性应用系统。总之,有关PIM的成果和基本软件远远超过了FGCS计划的初始研究目标。
|
关 键 词: | 并行处理 并行推理机 软件 |
本文献已被 CNKI 维普 等数据库收录! |
|
点击此处可从《计算机科学》下载全文 |
|