第五世代コンピュータ
ハードウェア PSI(Personal Sequential Inference Machine):シングルユーサー向けの逐次推論マシン PSI-I:最初の逐次推論マシン。30KLIPS(Logical Inference Per Second、三段論法的推論を一秒間に実行できる回数)。CPUはワンチップ化されていない。 PSI-II:PSI-I のCPUをVLSI化して小型化・高速化したバージョン。 PSI-III: CHI(Co-operative High-performance Inference machine) CHI-I:285KLIPS CHI-II:490KLIPS PIM(Parallel Inference Machine):並列推論マシン PIM/p:512プロセッサ(RISC) PIM/m:256プロセッサ(CISC) PIM/c:256プロセッサ(CISC) PIM/k:16プロセッサ(RISC) PIM/i:16プロセッサ(LIW)
プログラミング言語 KL0:PSIの機械語に相当する言語。 ESP:PSIのシステム記述言語 KL1:並列型言語
オペレーティングシステム SIMPOS:PSIのOS PIMOS:PIMのOS
応用例 並列データベースマネジメントシステム Kappa 法的推論システム 並列VLSI-CADシステム 遺伝子情報処理システム 並列定理証明システム