WEKO3
アイテム
{"_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": ["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_text_4": {"attribute_name": "著者ID(非表示)", "attribute_value_mlt": [{"subitem_text_value": "1000050002936"}]}, "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": "", "affiliationNameLang": "ja"}]}], "creatorNames": [{"creatorName": "BABA, Hiroyoshi", "creatorNameLang": "en"}, {"creatorName": "馬場, 啓好", "creatorNameLang": "ja"}, {"creatorName": "ババ, ヒロヨシ", "creatorNameLang": "ja-Kana"}], "familyNames": [{"familyName": "BABA", "familyNameLang": "en"}, {"familyName": "馬場", "familyNameLang": "ja"}, {"familyName": "ババ", "familyNameLang": "ja-Kana"}], "givenNames": [{"givenName": "Hiroyoshi", "givenNameLang": "en"}, {"givenName": "啓好", "givenNameLang": "ja"}, {"givenName": "ヒロヨシ", "givenNameLang": "ja-Kana"}], "nameIdentifiers": [{"nameIdentifier": "37499", "nameIdentifierScheme": "WEKO"}]}, {"creatorAffiliations": [{"affiliationNameIdentifiers": [{"affiliationNameIdentifier": "", "affiliationNameIdentifierScheme": "ISNI", "affiliationNameIdentifierURI": "http://www.isni.org/isni/"}], "affiliationNames": [{"affiliationName": "", "affiliationNameLang": "ja"}]}], "creatorNames": [{"creatorName": "杉岡, 一郎", "creatorNameLang": "ja"}, {"creatorName": "スギオカ, イチロウ", "creatorNameLang": "ja-Kana"}, {"creatorName": "SUGIOKA, Ichiro", "creatorNameLang": "en"}], "familyNames": [{"familyName": "杉岡", "familyNameLang": "ja"}, {"familyName": "スギオカ", "familyNameLang": "ja-Kana"}, {"familyName": "SUGIOKA", "familyNameLang": "en"}], "givenNames": [{"givenName": " 一郎", "givenNameLang": "ja"}, {"givenName": "イチロウ", "givenNameLang": "ja-Kana"}, {"givenName": "Ichiro", "givenNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "7679", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "1000050002936", "nameIdentifierScheme": "NRID", "nameIdentifierURI": "https://nrid.nii.ac.jp/ja/nrid/1000050002936"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-02-16"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "kiyo41_rikou_pp87-106.pdf", "filesize": [{"value": "1.7 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 1700000.0, "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"], "permalink_uri": "http://hdl.handle.net/10258/788", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2014-03-04"}, "publish_date": "2014-03-04", "publish_status": "0", "recid": "8168", "relation": {}, "relation_version_is_last": true, "title": ["Semantic Analysis of a Declarative Language Based on Knowledge Representation"], "weko_shared_id": -1}
Semantic Analysis of a Declarative Language Based on Knowledge Representation
http://hdl.handle.net/10258/788
http://hdl.handle.net/10258/788e50f6bde-7f46-4543-b7a5-31e9a40735ee
名前 / ファイル | ライセンス | アクション |
---|---|---|
kiyo41_rikou_pp87-106.pdf (1.7 MB)
|
|
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2014-03-04 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Semantic Analysis of a Declarative Language Based on Knowledge Representation | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | departmental bulletin paper | |||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
著者 |
馬場, 啓好
× 馬場, 啓好× 杉岡, 一郎 |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | 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. | |||||
言語 | en | |||||
書誌情報 |
ja : 室蘭工業大学研究報告. 理工編 en : Memoirs of the Muroran Institute of Technology. Science and engineering 巻 41, p. 87-106, 発行日 1991-11-11 |
|||||
出版者 | ||||||
言語 | ja | |||||
出版者 | 室蘭工業大学 | |||||
論文ID(NAID) | ||||||
関連タイプ | isIdenticalTo | |||||
識別子タイプ | NAID | |||||
関連識別子 | 40003627712 | |||||
ISSN | ||||||
収録物識別子タイプ | PISSN | |||||
収録物識別子 | 05802415 | |||||
書誌レコードID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AN00238225 | |||||
権利 | ||||||
言語 | ja | |||||
権利情報 | copyright© 1991 室蘭工業大学 | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
フォーマット | ||||||
内容記述タイプ | Other | |||||
内容記述 | application/pdf |