WEKO3
アイテム
{"_buckets": {"deposit": "db40b136-0cd1-4de2-b2ef-2a0118b030a6"}, "_deposit": {"created_by": 3, "id": "12083", "owners": [3], "pid": {"revision_id": 0, "type": "depid", "value": "12083"}, "status": "published"}, "_oai": {"id": "oai:sucra.repo.nii.ac.jp:00012083", "sets": ["99"]}, "author_link": ["16418"], "item_119_biblio_info_8": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2002", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "145", "bibliographicPageStart": "141", "bibliographic_titles": [{"bibliographic_title": "Proceedings of Ninth International Symposium on Temporal Representation and Reasoning:TIME-02"}]}]}, "item_119_date_31": {"attribute_name": "作成日", "attribute_value_mlt": [{"subitem_date_issued_datetime": "2009-09-28", "subitem_date_issued_type": "Created"}]}, "item_119_description_19": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare that way with other two ways based on ÃLukasiewicz’s threevalued logic and branching temporal logic.", "subitem_description_type": "Abstract"}]}, "item_119_description_29": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"subitem_description": "text", "subitem_description_type": "Other"}]}, "item_119_description_30": {"attribute_name": "フォーマット", "attribute_value_mlt": [{"subitem_description": "application/pdf", "subitem_description_type": "Other"}]}, "item_119_publisher_11": {"attribute_name": "出版者名", "attribute_value_mlt": [{"subitem_publisher": "IEEE"}]}, "item_119_relation_7": {"attribute_name": "著者 外部リンク", "attribute_value_mlt": [{"subitem_relation_name": [{"subitem_relation_name_text": "http://s-read.saitama-u.ac.jp/researchers/pages/researcher/suwVsVBx"}], "subitem_relation_type_id": {"subitem_relation_type_id_text": "http://s-read.saitama-u.ac.jp/researchers/pages/researcher/suwVsVBx", "subitem_relation_type_select": "URI"}}]}, "item_119_text_27": {"attribute_name": "版", "attribute_value_mlt": [{"subitem_text_value": "[著者版]"}]}, "item_119_text_3": {"attribute_name": "著者 ローマ字", "attribute_value_mlt": [{"subitem_text_value": "Kachi, Daisuke"}]}, "item_119_text_32": {"attribute_name": "アイテムID", "attribute_value_mlt": [{"subitem_text_value": "A1003159"}]}, "item_119_text_35": {"attribute_name": "公開日(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "Sep 28, 2009 15:48:20"}]}, "item_119_text_36": {"attribute_name": "最終更新日(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "Sep 30, 2009 17:38:40"}]}, "item_119_text_37": {"attribute_name": "更新履歴(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "Sep 30, 2009 インデックス, 抄録 を変更"}, {"subitem_text_value": "Sep 28, 2009 インデックス, 抄録 を変更"}]}, "item_119_text_38": {"attribute_name": "登録者(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "sucra_jim4"}]}, "item_119_text_39": {"attribute_name": "閲覧数(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "1051"}]}, "item_119_text_4": {"attribute_name": "著者 所属", "attribute_value_mlt": [{"subitem_text_value": "埼玉大学教養学部"}]}, "item_119_text_40": {"attribute_name": "ダウンロード数(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "573"}]}, "item_119_text_41": {"attribute_name": "XooNIps_インデックス", "attribute_value_mlt": [{"subitem_text_value": "sucra_jim4|Public/埼玉大学/教養学部|Public/ジャンル別/会議発表論文/埼玉大学|Public/主題別/人文学/哲学"}]}, "item_119_text_42": {"attribute_name": "XooNIps_ITEM_KEY", "attribute_value_mlt": [{"subitem_text_value": "7109"}]}, "item_119_text_5": {"attribute_name": "著者 所属(別言語)", "attribute_value_mlt": [{"subitem_text_value": "Faculty of Liberal Arts, Saitama University"}]}, "item_119_text_9": {"attribute_name": "年月次", "attribute_value_mlt": [{"subitem_text_value": "2002"}]}, "item_119_version_type_28": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_ab4af688f83e57aa", "subitem_version_type": "AM"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "加地, 大介"}, {"creatorName": "カチ, ダイスケ", "creatorNameLang": "ja-Kana"}], "nameIdentifiers": [{"nameIdentifier": "16418", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "suwVsVBx", "nameIdentifierScheme": "研究者総覧", "nameIdentifierURI": "http://s-read.saitama-u.ac.jp/researchers/pages/researcher/suwVsVBx"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-01-24"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "A1003159.pdf", "filesize": [{"value": "78.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 78500.0, "url": {"label": "A1003159.pdf", "url": "https://sucra.repo.nii.ac.jp/record/12083/files/A1003159.pdf"}, "version_id": "3b6d5781-41b4-407f-b497-667c0a9b7b4b"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "Tensed Ontology based on Simple Partial Logic", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Tensed Ontology based on Simple Partial Logic"}]}, "item_type_id": "119", "owner": "3", "path": ["99"], "permalink_uri": "https://sucra.repo.nii.ac.jp/records/12083", "pubdate": {"attribute_name": "公開日", "attribute_value": "2009-09-28"}, "publish_date": "2009-09-28", "publish_status": "0", "recid": "12083", "relation": {}, "relation_version_is_last": true, "title": ["Tensed Ontology based on Simple Partial Logic"], "weko_shared_id": -1}
Tensed Ontology based on Simple Partial Logic
https://sucra.repo.nii.ac.jp/records/12083
https://sucra.repo.nii.ac.jp/records/120837a1b3120-522b-410d-acab-547b31c4fcf5
名前 / ファイル | ライセンス | アクション |
---|---|---|
A1003159.pdf (78.5 kB)
|
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2009-09-28 | |||||
タイトル | ||||||
タイトル | Tensed Ontology based on Simple Partial Logic | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | journal article | |||||
著者 |
加地, 大介
× 加地, 大介 |
|||||
著者 ローマ字 | ||||||
Kachi, Daisuke | ||||||
著者 所属 | ||||||
埼玉大学教養学部 | ||||||
著者 所属(別言語) | ||||||
Faculty of Liberal Arts, Saitama University | ||||||
書誌情報 |
Proceedings of Ninth International Symposium on Temporal Representation and Reasoning:TIME-02 p. 141-145, 発行日 2002 |
|||||
年月次 | ||||||
2002 | ||||||
出版者名 | ||||||
出版者 | IEEE | |||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare that way with other two ways based on ÃLukasiewicz’s threevalued logic and branching temporal logic. | |||||
版 | ||||||
[著者版] | ||||||
著者版フラグ | ||||||
出版タイプ | AM | |||||
出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa | |||||
資源タイプ | ||||||
内容記述タイプ | Other | |||||
内容記述 | text | |||||
フォーマット | ||||||
内容記述タイプ | Other | |||||
内容記述 | application/pdf | |||||
作成日 | ||||||
日付 | 2009-09-28 | |||||
日付タイプ | Created | |||||
アイテムID | ||||||
A1003159 |