第7回 第五世代コンピュータに関するシンポジウム
|
|
| 表紙 | |
| 目 次 | |
１．第五世代コンピュータプロジェクトの昭和63年度成果概要 |
1 |
| 黒住 恭司 | |
| ２．推論・知識ベース・サブシステム |
13 |
| 内田 俊一、近山 隆、瀧 和男、横田 一正 | |
| ３．基礎ソフトウェア・システム（問題解決・推論、知的プログラミング） |
37 |
| 長谷川 隆三 | |
| ４．基礎ソフトウェア・システム（自然言語処理ソフトウェア） |
45 |
| 吉岡 勉、橋田 浩一、田中 裕一 | |
| ５．基礎ソフトウェア実証システム |
57 |
| 生駒 憲治 | |
| ６．マルチPSI上へのKL1分散処理系の実装 |
65 |
| 中島 克人 | |
| ７．並列推論マシン上の実験的応用プログラム |
73 |
| 市吉 伸行 | |
| ８．Kappa実装方式と並列化について |
81 |
| 河村 元夫 | |
| ９．並列知識ベース処理実験システムMu-Xの開発 |
87 |
| 酒井 浩 | |
| １０．論理型プログラムの部分計算とその応用 |
93 |
| 藤田 博 | |
| １１．汎用論証支援システム EUODHILOS |
101 |
| 南 俊朗 | |
| １２．形態素意味解析システム LAX |
111 |
| 久保 幸弘 | |
| １３．知的情報検索実験システム IRIS |
119 |
| 秋山 幸司 | |
| １４．知識獲得支援システム EPSILON/One |
127 |
| 滝 寛和 | |
| １５．仮説推論を用いた問題解決 |
133 |
| 井上 克巳 |
