Next: 並列推論マシン PIM
Up: 無題
Previous: 無題
第五世代コンピュータ・プロトタイプ・システムは、主として以下の要素シス
テムからなる。
- 並列推論マシン
並列論理型言語 KL1 の実行のために最適化したアーキテクチャを持つ、並列
計算機システム
- 並列論理型言語 KL1 処理系
並列論理型言語 KL1 を効率的に並列に実行するための、プログラム言語シス
テム
- 基本ソフトウェア
並列推論マシン上での KL1 プログラムの実行を司る、もっとも基本的なソフ
トウェア。以下のふたつのシステムからなる。
- 並列推論マシン・オペレーティング・システム PIMOS
並列推論マシンのハードウェアを効率的に管理し、並列プログラムの開発に適
したソフトウェア開発環境を提供するオペレーティング・システム
- 並列非正規データベース・システム Kappa-P
並列推論マシン上に知識情報処理に必要なデータベース機能を提供するシステム
- 知識プログラミング・ソフトウェア
知識処理応用ソフトウェアで共通に利用できる基礎的な知識情報処理技術を提
供するシステム群。代表的なものに以下の3システムがある。
- 並列定理証明システム MGTP
モデル生成型の並列自動定理証明システム
- 並列制約処理言語システム GDCC
制約論理型言語の並列処理システム
- 知識表現言語システム Quixote
大量で複雑な知識を計算機上で効率良く扱うための知識表現言語システム
- 機能実証ソフトウェア
並列推論マシンに構築した応用ソフトウェア・システム群。KL1 言語処理系や
知識プログラミング・ソフトウェアの諸機能を利用して構築されており、これ
らのシステムの機能を実証するものである。代表的なものとしては以下の
5システムが挙げられる。
- 法的推論システム HELIC-II
新しい事件を対して、判例を用いてさまざま法律適用の可能性を提示する
システム
- 遺伝子情報処理システム
タンパク質配列の類似性解析行なうシステム
- 大規模集積回路設計支援システム
LSI-CADの工程中、論理シミュレーション、LSIセル配置、およびLSI配線の工
程を並列に実行するシステム
- 自然言語処理システム
日本語処理システムの研究開発のベースとなる汎用日本語処理系のツール群を
提供するシステム
- プログラム自動合成システム MENDELS ZONE
宣言的記述から KL1 プログラムを自動合成するシステム
- 棋士システム 碁世代
囲碁の対局を行なう棋士システム
以下、それぞれについてやや詳しく述べる。