{"created":"2023-06-19T07:38:59.048905+00:00","id":432,"links":{},"metadata":{"_buckets":{"deposit":"3ff44c48-79aa-4964-95db-8a2577e8c42a"},"_deposit":{"created_by":2,"id":"432","owners":[2],"pid":{"revision_id":0,"type":"depid","value":"432"},"status":"published"},"_oai":{"id":"oai:tsuru.repo.nii.ac.jp:00000432","sets":["17:56"]},"author_link":["9572","9571","9573","9570"],"item_10002_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2018-03-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"87","bibliographicPageEnd":"42","bibliographicPageStart":"29","bibliographic_titles":[{"bibliographic_title":"都留文科大学研究紀要"},{"bibliographic_title":"都留文科大学研究紀要","bibliographic_titleLang":"en"}]}]},"item_10002_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"　In the field of artificial intelligence, order-sorted logics, that have subsumption relations between sorts, are widely utilized for structural knowledge representations. Among them, dual hierarchical systems, that have subsumption relations also in events (predicates) as well as sorts (terms), can realize superb efficiency in logical reasoning. In ordinary cases, such subsumption relations organizes a lattice, the operations of ‘join’ and ‘meet’ being assumed. However, in dual systems, the description of two different lattices of predicates and sorts, makes us hard to find reasonability between atomic formulae. In this paper, we propose a representation of cellular table for the dual hierarchies, assigning a Gödel number to each node to identify its spacial position. Thus, we can describe two lattices in one table, and in addition, the reasonability between two atomic formulae is reduced to simple numerical calculation. Therefore, (i) the reasonability between two distant atomic formulae and (ii) the scope of partial negation are easily displayed, and in addition, (iii) that the whole table is adequately maintained even in case new subsumption relations are added. We implemented a deduction system on a computer, and showed its efficiency.","subitem_description_type":"Abstract"}]},"item_10002_full_name_3":{"attribute_name":"著者別名","attribute_value_mlt":[{"nameIdentifiers":[{"nameIdentifier":"9572","nameIdentifierScheme":"WEKO"}],"names":[{"name":"TERAKAWA, Hiroyuki"}]},{"nameIdentifiers":[{"nameIdentifier":"9573","nameIdentifierScheme":"WEKO"}],"names":[{"name":"YOSHIOKA, Suguru"}]}]},"item_10002_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.34356/00000426","subitem_identifier_reg_type":"JaLC"}]},"item_10002_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"都留文科大学"}]},"item_10002_source_id_11":{"attribute_name":"NCID","attribute_value_mlt":[{"subitem_source_identifier":"AN00149431","subitem_source_identifier_type":"NCID"}]},"item_10002_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0286-3774","subitem_source_identifier_type":"ISSN"}]},"item_10002_version_type_20":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"寺川, 宏之"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"吉岡, 卓"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2021-03-01"}],"displaytype":"detail","filename":"Y0870029.pdf","filesize":[{"value":"507.9 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"Diagrammatic Calculus for Order-sorted Logic","url":"https://tsuru.repo.nii.ac.jp/record/432/files/Y0870029.pdf"},"version_id":"6d41b5e3-5b98-4afd-a226-00208ec3bed6"}]},"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":"Diagrammatic Calculus for Order-sorted Logic","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Diagrammatic Calculus for Order-sorted Logic"}]},"item_type_id":"10002","owner":"2","path":["56"],"pubdate":{"attribute_name":"公開日","attribute_value":"2018-03-23"},"publish_date":"2018-03-23","publish_status":"0","recid":"432","relation_version_is_last":true,"title":["Diagrammatic Calculus for Order-sorted Logic"],"weko_creator_id":"2","weko_shared_id":-1},"updated":"2023-06-19T08:01:07.781128+00:00"}