第五世代コンピュータに関するシンポジウム
（主なスライド・資料）

第五世代コンピュータ研究開発プロジェクトの昭和60年度成果の概要
表紙

目次
1. 研究開発の進め方 1
　
2. 研究開発体制 2
　
3. 研究開発方針及び成果の概要 4
　　● 推論サブシステム
　　● 知識ベースサブシステム
　　● 基礎ソフトウェアシステム
　　● 開発支援システム
　
4. 基礎ソフトウェア・システム 12
　　　ICOT第1研究室　　　　　　　　　　　　　　　　　　　　　　　　　　　　　室長　古川 康一
　
5. 知的インタフェース(自然言語処理etc.）、知的プログラミング（記号計算etc.） 26
6. 知識ベースサブシステムの研究開発　- 概要 - 31
　　　ICOT研究所
　
7. 並列推論マシンと開発支援システム 39
　　　ICOT第4研究室　　　　　　　　　　　　　　　　　　　　　　　　　　　　　内田 俊一
　
8. 第五研究室担当課題 49
　　● 知識システム構築技術の研究開発
　　● 第五世代コンピュータ・プロジェクト成果の実験的アプリケーション分野への適用と検証
　
9. KL1言語系（Guarded Horn Clauses） 58
　
10. KL1言語系（KL1-b） 63
　
11. メタ推論と部分計算 66
　
12. 自然言語処理と単一化 72
　　　ICOT第2研究室　自然言語処理グループ　　　　　　　　　　　　　　　向井 国昭
　
13. 項書換えシステム　証明支援システム 79
　　　ICOT第2研究室　問題解決とプログラミングの研究グループ
　
14. 第4回シンポジウム　分散KBM 86
　　　ICOT第3研究室　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　大場 雅博
　
15. 大規模KBM 94
　　　ICOT第3研究室　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　物井 秀俊
　
16. 並列推論マシンPIMの中期構想 102
　　　ICOT第4研究室　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　後藤 厚宏
　
17. 並列ソフトウェア開発用マシン　マルチPSIシステム 111
　　　ICOT第4研究室　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　瀧　和男
　
18. Kappa (Knowledge Applications Oriented Advanced Database Management System) 120
　
19. PSI上のエキスパート・システム開発支援ツール 125
　
20. PSI上のプロトタイプ版ツール 128