(資料2: 第五世代コンピュータ・プロトタイプ・システムの概要を参照)
第五世代コンピュータ・プロトタイプ・システムは、並列論理型パラダイムに
基づく、ハードウェアから機能実証のための応用ソフトウェアにいたるまで、
一貫性のあるコンピュータシステムになっている。
その概要を以下の表に示す.
ハードウェア | PIM |
KL1 の実行に適したアーキテクチャ 総計1,000プロセサ以上の5モデルを試作・評価 大規模モデルでは1秒間1億回以上の推論性能 |
言語処理系 | KL1 言語 分散処理系 |
KL1 言語の並列/分散実行 分散データ管理、分散実行管理に多数の新手法 全モデル共通の言語仕様、各モデルごとの最適化 |
基本ソフト
並列記号処理の 基本システム群 |
PIMOS |
PIMの各モデルに共通のOS 徹底した分散管理により管理ボトルネック解消 並列ソフトウェア向きの快適な開発環境 |
Kappa-P |
並列データベース・システム 非正規関係モデルによる多様なデータの扱い 分散並列処理による高速処理 |
|
知識プログラミ ング・ソフト 並列知識情報処 理の基本システ ム群 |
MGTP |
並列定理証明システム データベース的応用指向と数学指向の2システム 並列処理により世界最高速を達成 |
GDCC |
並列制約処理言語システム 世界初の非線形代数方程式の取り扱い 容易なプログラム記述と、並列処理による高性能 |
|
Quixote |
演繹オブジェクト指向の知識表現言語システム 仮説に基づく推論、不足知識の推論などの高機能 データベースと並列処理による大容量処理能力 |
|
・・・ | ・・・ | |
機能実証ソフト
技術を実証する 応用ソフト群 |
HELIC-II |
与えられた事件に対して法律適用の可能性を提示 判例データベースの類似検索と法律に基づく推論 |
遺伝子 情報処理 |
多数のタンパク質配列間の類似性を解析 独自開発の並列反復改善法による高い性能 |
|
LSI-CAD |
論理シミュレーション、セル配置、自動配線 並列処理でスーパーコンピュータ並の性能を実現 |
|
自然言語処理 |
文脈レベルの文法構造を整備 日本語処理研究開発のための汎用ツール群を提供 |
|
MENDELS ZONE |
宣言的記述から KL1 プログラムを自動合成 手書きと同等以上の品質のコードを高速に生成 |
|
碁世代 | 囲碁の対局を行なう棋士システム | |
・・・ | ・・・ |