{"created":"2023-06-19T10:28:40.475651+00:00","id":8168,"links":{},"metadata":{"_buckets":{"deposit":"2e5dbcd7-db36-4343-bf3e-07c005a6345d"},"_deposit":{"created_by":18,"id":"8168","owners":[18],"pid":{"revision_id":0,"type":"depid","value":"8168"},"status":"published"},"_oai":{"id":"oai:muroran-it.repo.nii.ac.jp:00008168","sets":["35:159"]},"author_link":["7679","37499"],"item_77_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1991-11-11","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"106","bibliographicPageStart":"87","bibliographicVolumeNumber":"41","bibliographic_titles":[{"bibliographic_title":"室蘭工業大学研究報告. 理工編","bibliographic_titleLang":"ja"},{"bibliographic_title":"Memoirs of the Muroran Institute of Technology. Science and engineering","bibliographic_titleLang":"en"}]}]},"item_77_description_23":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_77_description_7":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"The objective of this research is analyzing and understanding the deep mechanism of a declarative language, for example Prolog, by adopting time-state, hypothetical and multi-universe inferences in such a symbolic processing. We coded the analysis system in Automated Reasoning Tool (ART) and LISP. The main part of the system is separated into three parts, namely, the first part is ‘syntax tree construction’, the second part is ‘attribute evaluation’ and the final part is ‘viewpoint network simulation’. The input to the system is source codes of Prolog. Then, after passing through inside the system, the result of processing is outputted. The result means the simulated variable at each stage, that are temporary, hypothetically and hierarchy. This paper describes the peculiarity of declarative language, the methodologies for representing incomplete knowledge that related to the programming of our system. Then, about the implementation of the syntax and semantic analyzer, some considerations regarding the system are described.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_77_publisher_11":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"室蘭工業大学","subitem_publisher_language":"ja"}]},"item_77_relation_15":{"attribute_name":"論文ID（NAID）","attribute_value_mlt":[{"subitem_relation_type":"isIdenticalTo","subitem_relation_type_id":{"subitem_relation_type_id_text":"40003627712","subitem_relation_type_select":"NAID"}}]},"item_77_rights_19":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"copyright© 1991 室蘭工業大学","subitem_rights_language":"ja"}]},"item_77_source_id_12":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"05802415","subitem_source_identifier_type":"PISSN"}]},"item_77_source_id_14":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00238225","subitem_source_identifier_type":"NCID"}]},"item_77_version_type_21":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorAffiliations":[{"affiliationNameIdentifiers":[],"affiliationNames":[{"affiliationName":""}]}],"creatorNames":[{"creatorName":"BABA, Hiroyoshi","creatorNameLang":"en"},{"creatorName":"馬場, 啓好","creatorNameLang":"ja"},{"creatorName":"ババ, ヒロヨシ","creatorNameLang":"ja-Kana"}],"familyNames":[{},{},{}],"givenNames":[{},{},{}],"nameIdentifiers":[{}]},{"creatorAffiliations":[{"affiliationNameIdentifiers":[{"affiliationNameIdentifier":""}],"affiliationNames":[{"affiliationName":""}]}],"creatorNames":[{"creatorName":"杉岡,  一郎","creatorNameLang":"ja"},{"creatorName":"スギオカ, イチロウ","creatorNameLang":"ja-Kana"},{"creatorName":"SUGIOKA, Ichiro","creatorNameLang":"en"}],"familyNames":[{},{},{}],"givenNames":[{},{},{}],"nameIdentifiers":[{},{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-02-16"}],"displaytype":"detail","filename":"kiyo41_rikou_pp87-106.pdf","filesize":[{"value":"1.7 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"kiyo41_rikou_pp87-106.pdf","objectType":"fulltext","url":"https://muroran-it.repo.nii.ac.jp/record/8168/files/kiyo41_rikou_pp87-106.pdf"},"version_id":"5d20df68-5305-4051-91ed-3d286630e521"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Semantic Analysis of a Declarative Language Based on Knowledge Representation","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Semantic Analysis of a Declarative Language Based on Knowledge Representation","subitem_title_language":"en"}]},"item_type_id":"77","owner":"18","path":["159"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2014-03-04"},"publish_date":"2014-03-04","publish_status":"0","recid":"8168","relation_version_is_last":true,"title":["Semantic Analysis of a Declarative Language Based on Knowledge Representation"],"weko_creator_id":"18","weko_shared_id":-1},"updated":"2024-01-24T00:30:17.684741+00:00"}