WEKO3
アイテム
{"_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": ["1890", "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\u0027s 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_34": {"attribute_name": "メタデータ提供者", "attribute_value_mlt": [{"subitem_text_value": "メタデータ提供者: ISASNII"}]}, "item_9_text_35": {"attribute_name": "JAXAカテゴリ", "attribute_value_mlt": [{"subitem_text_value": "JAXAカテゴリ: 宇宙科学研究所"}]}, "item_9_text_43": {"attribute_name": "DSpaceコレクション番号", "attribute_value_mlt": [{"subitem_text_value": "DSpaceコレクション番号: 6"}]}, "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": [{"nameIdentifier": "410051", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "大須賀, 節雄"}], "nameIdentifiers": [{"nameIdentifier": "410052", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "YAMAUCHI, Hiroyuki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "410053", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "OHSUGA, Setsuo", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "410054", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2020-01-24"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "SA0125869.pdf", "filesize": [{"value": "1.2 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 1200000.0, "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": "\u003c論文\u003eKAU systemの実施", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "\u003c論文\u003eKAU systemの実施"}]}, "item_type_id": "9", "owner": "1", "path": ["1890", "1910"], "permalink_uri": "https://jaxa.repo.nii.ac.jp/records/32564", "pubdate": {"attribute_name": "公開日", "attribute_value": "2015-03-26"}, "publish_date": "2015-03-26", "publish_status": "0", "recid": "32564", "relation": {}, "relation_version_is_last": true, "title": ["\u003c論文\u003eKAU systemの実施"], "weko_shared_id": -1}
<論文>KAU systemの実施
https://jaxa.repo.nii.ac.jp/records/32564
https://jaxa.repo.nii.ac.jp/records/3256445665ee3-83f4-4ab9-8d60-b91e28dbf735
名前 / ファイル | ライセンス | アクション |
---|---|---|
SA0125869.pdf (1.2 MB)
|
|
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2015-03-26 | |||||
タイトル | ||||||
タイトル | <論文>KAU systemの実施 | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | departmental bulletin paper | |||||
その他のタイトル(英) | ||||||
その他のタイトル | An Implementation of KAU system | |||||
著者 |
山内, 平行
× 山内, 平行× 大須賀, 節雄× YAMAUCHI, Hiroyuki× OHSUGA, Setsuo |
|||||
著者所属 | ||||||
東京大学宇宙航空所究所 | ||||||
著者所属 | ||||||
東京大学宇宙航空所究所 | ||||||
著者所属(英) | ||||||
en | ||||||
Institute of Space and Aeronautical Science, University of Tokyo | ||||||
著者所属(英) | ||||||
en | ||||||
Institute of Space and Aeronautical Science, University of Tokyo | ||||||
出版者 | ||||||
出版者 | 東京大学宇宙航空研究所 | |||||
書誌情報 |
東京大学宇宙航空研究所報告 巻 16, 号 1_C, p. 817-840, 発行日 1980-03 |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | 本報告は,知識取得・利用システムKAUの基本設計概念[1],[2]に基いて試作された実験システムに関する.はじめにシステムの概略がのべられ,推論機構,特に知識の探索および含意判定(TIC)のしかたが詳述される.次に,システム固有の言語形式とその表現例が与えられ,続いて,データベースアクセスのための自動プログラム生成についてのべられる.最後に3つの実験例について概略説明される. | |||||
抄録(英) | ||||||
内容記述タイプ | Other | |||||
内容記述 | 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]. | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 0563-8100 | |||||
書誌レコードID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AN00161914 | |||||
資料番号 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 資料番号: SA0125869000 |