| 概要 | .... 2 | |
| 1 | はじめに | .... 2 |
| 2 | 逐次推論マシンを拡張した知識ベースサブシステム | .... 4 |
| 2.1 | システムの概要 | .... 4 |
| 2.2 | 多重・多重名前空間機能 | .... 6 |
| 2.3 | 階層型知識ベース | .... 7 |
| 3 | 分散知識ベースサブシステム | .... 9 |
| 3.1 | システムの概要 | .... 9 |
| 3.2 | 分散演繹データベース | .... 10 |
| 3.3 | 演繹データベース用の重ね合せ符号法 | .... 14 |
| 4 | 並列知識ベースサブシステム | .... 15 |
| 4.1 | システムの概要 | .... 15 |
| 4.2 | ハードウェア構成 | .... 15 |
| 4.3 | 制御ソフトウェアの特徴 | .... 16 |
| 4.4 | 並列処理 | .... 17 |
| 4.5 | 評価 | .... 19 |
| 5 | GHCと並列知識ベースサブシステム間のインタフェース | .... 20 |
| 5.1 | システムの概要 | .... 20 |
| 5.2 | 並列検索 | .... 21 |
| 5.3 | GHCインタフェース | .... 21 |
| 5.4 | RBUの実現 | .... 23 |
| 6 | 結論 | .... 25 |
| 謝辞 | .... 26 | |
| 参考文献 | .... 26 | |
| End | .... 29 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports