{"updated":"2025-01-20T06:34:01.727102+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00015957","sets":["581:892:897"]},"path":["897"],"owner":"11","recid":"15957","title":["知識表現用言語としてのProlog/KR"],"pubdate":{"attribute_name":"公開日","attribute_value":"1984-03-15"},"_buckets":{"deposit":"93381d95-e5f6-409f-8c3d-8b72c96539c7"},"_deposit":{"id":"15957","pid":{"type":"depid","value":"15957","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"知識表現用言語としてのProlog/KR","author_link":["361318","361319"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"知識表現用言語としてのProlog/KR"},{"subitem_title":"Prolog/KR as a Knowledge Representation Language","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"論文（論文賞受賞）","subitem_subject_scheme":"Other"}]},"item_type_id":"2","publish_date":"1984-03-15","item_2_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"東京大学大学院情報工学専門課程"}]},"item_2_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Information Engineering Course, University of Tokyo, Graduate School","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/15957/files/IPSJ-JNL2502002.pdf","label":"IPSJ-JNL2502002"},"date":[{"dateType":"Available","dateValue":"1986-03-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-JNL2502002.pdf","filesize":[{"value":"493.2 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"8"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"3350e843-2f19-4eea-ab96-8402d6ba67e3","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1984 by the Information Processing Society of Japan"}]},"item_2_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"中島, 秀之"}],"nameIdentifiers":[{}]}]},"item_2_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Hideyuki, Nakashima","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_2_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00116647","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_2_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7764","subitem_source_identifier_type":"ISSN"}]},"item_2_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"Prolog/KR は知識表現用言語として フレーム理論と述語論理を統合し 統一的な視点のもとに見なおすために設計・開発した言語である.また 総合的なプログラミング・システムとしての機能も備えている.フレーム理論に基づいた言語は 知識表現に必要なさまざまの概念を実現する機能をもっている反面 手続き的記述の面が弱い.一方 述語論理に基づいたPrologは 後者は申し分ない(セマンティクスが述語論理で与えられている)が 前者の機能に欠ける.Prolog/KR は Prologを基本とし その弱点を補強するとともに フレームを実現する機能として多重世界を導入した.これにより 概念の階層構造やそれらの間の述語の引き継ぎ等が記述できるようになった.","subitem_description_type":"Other"}]},"item_2_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"186","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌"}],"bibliographicPageStart":"180","bibliographicIssueDates":{"bibliographicIssueDate":"1984-03-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2","bibliographicVolumeNumber":"25"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"created":"2025-01-18T22:49:21.786353+00:00","id":15957,"links":{}}