{"id":51402,"created":"2025-01-18T23:15:57.369152+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00051402","sets":["1164:4402:4522:4528"]},"path":["4528"],"owner":"1","recid":"51402","title":["知識ベースの結合の意味論モデル"],"pubdate":{"attribute_name":"公開日","attribute_value":"1987-01-16"},"_buckets":{"deposit":"d9a19ced-da83-467a-82b0-c29900e4b788"},"_deposit":{"id":"51402","pid":{"type":"depid","value":"51402","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"知識ベースの結合の意味論モデル","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"知識ベースの結合の意味論モデル"},{"subitem_title":"On the Semantics of Joins of Knowledge Bases","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1987-01-16","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"名古屋大学工学部"},{"subitem_text_value":"名古屋大学工学部"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"School of Engineering, Nagoya University","subitem_text_language":"en"},{"subitem_text_value":"School of Engineering, Nagoya University","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"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/51402/files/IPSJ-ICS86050009.pdf"},"date":[{"dateType":"Available","dateValue":"1989-01-16"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-ICS86050009.pdf","filesize":[{"value":"629.8 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":"25"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"2831c624-e7f6-4b80-8c1b-b81262916a9a","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1987 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"外山, 勝彦"},{"creatorName":"稲垣, 康善"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Katsuhiko, Toyama","creatorNameLang":"en"},{"creatorName":"Yasuyoshi, Inagaki","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11135936","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本論文では，知識を一階述語論理の閉じた論理式で表現し，知識ベースをtheoryと考えて，知識ベース更新のより自然なモデルを与える．すなわち，Faginらが与えたtheoryの更新のモデルを拡張し，theoryの結合を定義する．さらに，Faginらが用いたlogical databaseの結合を定義して，Faginらの知識の挿入の概念がlogical databaseの結合の特別な場合であることを示す．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"In this paper we propose a more natural model of updates of knowledge bases, where we represent a knowledge as a closed formula of first-order logic and consider a knowledge base as a theory. To do this we extend the model of updates of theories proposed by Fagin et al., and define joins of theories. Furthermore we extend the concept of join to treat logical databases of Fagin et al. and show that we can formulate the insertion of theories of Fagin et al. as a special case of the join of logical databases.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告知能と複雑系（ICS）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"1987-01-16","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"3(1986-ICS-050)","bibliographicVolumeNumber":"1987"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"updated":"2025-01-22T07:13:24.442238+00:00","links":{}}