山内, 平行, 大須賀, 節雄, YAMAUCHI, Hiroyuki, OHSUGA, Setsuo
東京大学宇宙航空研究所報告
16
(1_C),
817-840,
1980-03
本報告は,知識取得・利用システムKAUの基本設計概念[1],[2]に基いて試作された実験システムに関する.はじめにシステムの概略がのべられ,推論機構,特に知識の探索および含意判定(TIC)のしかたが詳述される.次に,システム固有の言語形式とその表現例が与えられ,続いて,データベースアクセスのための自動プログラム生成についてのべられる.最後に3つの実験例について概略説明される.
機関リポジトリ
Web Site