{"created":"2023-05-15T10:28:34.519320+00:00","id":24264,"links":{},"metadata":{"_buckets":{"deposit":"33ba2b90-8814-4d48-bedd-8f39f4f2081a"},"_deposit":{"created_by":1,"id":"24264","owners":[1],"pid":{"revision_id":0,"type":"depid","value":"24264"},"status":"published"},"_oai":{"id":"oai:u-fukui.repo.nii.ac.jp:00024264","sets":["2403:2226:2238:2272"]},"author_link":["70314","70313"],"item_10002_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1986-03","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"1","bibliographicPageEnd":"153","bibliographicPageStart":"139","bibliographicVolumeNumber":"34","bibliographic_titles":[{"bibliographic_title":"福井大学工学部研究報告"}]}]},"item_10002_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"To combine the logic programming system and the conventional procedural programming system, we intend to introduce the production rules as a data type in Pascal. Then, the compiler system should have the ability to accept this type of data and the inference mechanism to respond the questions in the program. As a method of inferences, we pick out one method of automated theorem proving. In this paper, we describe how to prove the theorems in propositional logic and predicate logic, and to apply the method to the inference mechanism. We propose to transform the rules given as data into internal form to perform inference efficiently, and denote the role of rule-compiler.","subitem_description_type":"Abstract"}]},"item_10002_relation_11":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_relation_type_id":{"subitem_relation_type_id_text":"TD00004258","subitem_relation_type_select":"NCID"}}]},"item_10002_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"4298373","subitem_source_identifier_type":"ISSN"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"WATANABE, Katsumasa"}],"nameIdentifiers":[{"nameIdentifier":"70313","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"TSUJI, Tatsuo"}],"nameIdentifiers":[{"nameIdentifier":"70314","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2020-08-05"}],"displaytype":"detail","filename":"AN00215401-034-01-013.pdf","filesize":[{"value":"600.4 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"AN00215401-034-01-013.pdf","url":"https://u-fukui.repo.nii.ac.jp/record/24264/files/AN00215401-034-01-013.pdf"},"version_id":"5ef8d42b-6057-4a57-9aed-082cb8c9c630"}]},"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":"One Inference Mechanism based on Automated Theorem Proving","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"One Inference Mechanism based on Automated Theorem Proving"}]},"item_type_id":"10002","owner":"1","path":["2272"],"pubdate":{"attribute_name":"公開日","attribute_value":"2011-08-31"},"publish_date":"2011-08-31","publish_status":"0","recid":"24264","relation_version_is_last":true,"title":["One Inference Mechanism based on Automated Theorem Proving"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-05-15T12:36:08.530066+00:00"}