{"created":"2023-06-20T15:03:22.329237+00:00","id":32564,"links":{},"metadata":{"_buckets":{"deposit":"74f541a1-4fd3-4636-9b89-c58b5c2dda9c"},"_deposit":{"created_by":1,"id":"32564","owners":[1],"pid":{"revision_id":0,"type":"depid","value":"32564"},"status":"published"},"_oai":{"id":"oai:jaxa.repo.nii.ac.jp:00032564","sets":["1887:1890","1896:1898:1899:1910"]},"author_link":["410052","410054","410051","410053"],"item_9_alternative_title_2":{"attribute_name":"その他のタイトル（英）","attribute_value_mlt":[{"subitem_alternative_title":"An Implementation of KAU system"}]},"item_9_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1980-03","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"1_C","bibliographicPageEnd":"840","bibliographicPageStart":"817","bibliographicVolumeNumber":"16","bibliographic_titles":[{"bibliographic_title":"東京大学宇宙航空研究所報告"}]}]},"item_9_description_16":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"本報告は,知識取得・利用システムKAUの基本設計概念[1],[2]に基いて試作された実験システムに関する.はじめにシステムの概略がのべられ,推論機構,特に知識の探索および含意判定(TIC)のしかたが詳述される.次に,システム固有の言語形式とその表現例が与えられ,続いて,データベースアクセスのための自動プログラム生成についてのべられる.最後に3つの実験例について概略説明される.","subitem_description_type":"Abstract"}]},"item_9_description_17":{"attribute_name":"抄録（英）","attribute_value_mlt":[{"subitem_description":"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].","subitem_description_type":"Other"}]},"item_9_description_32":{"attribute_name":"資料番号","attribute_value_mlt":[{"subitem_description":"資料番号: SA0125869000","subitem_description_type":"Other"}]},"item_9_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"東京大学宇宙航空研究所"}]},"item_9_source_id_21":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0563-8100","subitem_source_identifier_type":"ISSN"}]},"item_9_source_id_24":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00161914","subitem_source_identifier_type":"NCID"}]},"item_9_text_6":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"東京大学宇宙航空所究所"},{"subitem_text_value":"東京大学宇宙航空所究所"}]},"item_9_text_7":{"attribute_name":"著者所属（英）","attribute_value_mlt":[{"subitem_text_language":"en","subitem_text_value":"Institute of Space and Aeronautical Science, University of Tokyo"},{"subitem_text_language":"en","subitem_text_value":"Institute of Space and Aeronautical Science, University of Tokyo"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"山内, 平行"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"大須賀, 節雄"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"YAMAUCHI, Hiroyuki","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"OHSUGA, Setsuo","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2020-01-24"}],"displaytype":"detail","filename":"SA0125869.pdf","filesize":[{"value":"1.2 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"SA0125869.pdf","url":"https://jaxa.repo.nii.ac.jp/record/32564/files/SA0125869.pdf"},"version_id":"04a728ca-31ec-4661-a878-0a94b33a8abb"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"<論文>KAU systemの実施","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"<論文>KAU systemの実施"}]},"item_type_id":"9","owner":"1","path":["1890","1910"],"pubdate":{"attribute_name":"公開日","attribute_value":"2015-03-26"},"publish_date":"2015-03-26","publish_status":"0","recid":"32564","relation_version_is_last":true,"title":["<論文>KAU systemの実施"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-06-21T00:29:13.854588+00:00"}