@article{oai:jaxa.repo.nii.ac.jp:00032564,
 author = {山内, 平行 and 大須賀, 節雄 and YAMAUCHI, Hiroyuki and OHSUGA, Setsuo},
 issue = {1_C},
 journal = {東京大学宇宙航空研究所報告},
 month = {Mar},
 note = {本報告は,知識取得・利用システムKAUの基本設計概念[1],[2]に基いて試作された実験システムに関する.はじめにシステムの概略がのべられ,推論機構,特に知識の探索および含意判定(TIC)のしかたが詳述される.次に,システム固有の言語形式とその表現例が与えられ,続いて,データベースアクセスのための自動プログラム生成についてのべられる.最後に3つの実験例について概略説明される., In this paper, we concern the expeimental KAU (Knowledge Acquisition and Utilization) system which was realized in accordance with the design philosophy presented in the paper [1] and [2]. In the first, the outline of the system is described, where the deductive inference mechanisms, especially, the search method of information contained in the knowledge base and the algorithm of the test of implicative conditions (TIC) are mainly concerned. Then, the formalization of the system's own external language features and their uses for knowledge representations and database definitions are given. Finally, we give the method of the automatic program generation for database accesses and three examples are illustrated with Appendix [A] and [B]., 資料番号: SA0125869000},
 pages = {817--840},
 title = {<論文>KAU systemの実施},
 volume = {16},
 year = {1980}
}