WEKO3
アイテム
{"_buckets": {"deposit": "64e28a61-458e-4ec8-b99e-f8a6ec95392b"}, "_deposit": {"id": "3052", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "3052"}, "status": "published"}, "_oai": {"id": "oai:niigata-u.repo.nii.ac.jp:00003052", "sets": ["454", "425"]}, "item_5_alternative_title_1": {"attribute_name": "その他のタイトル", "attribute_value_mlt": [{"subitem_alternative_title": "An Argumentation Framework based on Paraconsistent Logic"}]}, "item_5_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2004-11", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "2", "bibliographicPageEnd": "94", "bibliographicPageStart": "83", "bibliographicVolumeNumber": "19", "bibliographic_titles": [{"bibliographic_title": "人工知能学会論文誌"}, {"bibliographic_title": "人工知能学会論文誌", "bibliographic_titleLang": "en"}]}]}, "item_5_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "Argumentation is the most representative of intelligent activities of humans. Therefore, it is natural to think that it could have many implications for artificial intelligence and computer science as well. Specifically, argumentation may be considered a most primitive capability for interaction among computational agents.\u003cBR\u003e In this paper we present an argumentation framework based on the four-valued paraconsistent logic. Tolerance and acceptance of inconsistency that this logic has as its logical feature allow for arguments on inconsistent knowledge bases with which we are often confronted. We introduce various concepts for argumentation, such as arguments, attack relations, argument justification, preferential criteria of arguments based on social norms, and so on, in a way proper to the four-valued paraconsistent logic. Then, we provide the fixpoint semantics and dialectical proof theory for our argumentation framework. We also give the proofs of the soundness and completeness.", "subitem_description_type": "Abstract"}]}, "item_5_full_name_3": {"attribute_name": "著者別名", "attribute_value_mlt": [{"nameIdentifiers": [{"nameIdentifier": "40585", "nameIdentifierScheme": "WEKO"}], "names": [{"name": "Umeda, Yuichi"}]}, {"nameIdentifiers": [{"nameIdentifier": "40586", "nameIdentifierScheme": "WEKO"}], "names": [{"name": "Takahashi, Takehisa"}]}, {"nameIdentifiers": [{"nameIdentifier": "40587", "nameIdentifierScheme": "WEKO"}], "names": [{"name": "Sawamura, Hajime"}]}]}, "item_5_publisher_7": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "人工知能学会"}]}, "item_5_relation_31": {"attribute_name": "異版である", "attribute_value_mlt": [{"subitem_relation_type": "isVersionOf", "subitem_relation_type_id": {"subitem_relation_type_id_text": "https://www.jstage.jst.go.jp", "subitem_relation_type_select": "URI"}}]}, "item_5_rights_15": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "社団法人人工知能学会"}, {"subitem_rights": "本文データは学協会の許諾に基づきJ-Stageのサイトから複製したものである"}]}, "item_5_select_19": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_5_source_id_11": {"attribute_name": "書誌レコードID", "attribute_value_mlt": [{"subitem_source_identifier": "AA11579226", "subitem_source_identifier_type": "NCID"}]}, "item_5_source_id_9": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "13460714", "subitem_source_identifier_type": "ISSN"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "梅田, 勇一"}], "nameIdentifiers": [{"nameIdentifier": "40582", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "高橋, 武久"}], "nameIdentifiers": [{"nameIdentifier": "40583", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "沢村, 一"}], "nameIdentifiers": [{"nameIdentifier": "40584", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2019-07-30"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "19_2_83-94.pdf", "filesize": [{"value": "1.7 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 1700000.0, "url": {"label": "19_2_83-94.pdf", "url": "https://niigata-u.repo.nii.ac.jp/record/3052/files/19_2_83-94.pdf"}, "version_id": "75f81253-21b5-4cfb-9b7b-6eca39f6c989"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "paraconsistent logic programming", "subitem_subject_scheme": "Other"}, {"subitem_subject": "argument", "subitem_subject_scheme": "Other"}, {"subitem_subject": "argumentation framework", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "準無矛盾論理に基づく議論フレームワーク", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "準無矛盾論理に基づく議論フレームワーク"}, {"subitem_title": "準無矛盾論理に基づく議論フレームワーク", "subitem_title_language": "en"}]}, "item_type_id": "5", "owner": "1", "path": ["454", "425"], "permalink_uri": "http://hdl.handle.net/10191/26113", "pubdate": {"attribute_name": "公開日", "attribute_value": "2014-03-11"}, "publish_date": "2014-03-11", "publish_status": "0", "recid": "3052", "relation": {}, "relation_version_is_last": true, "title": ["準無矛盾論理に基づく議論フレームワーク"], "weko_shared_id": null}
準無矛盾論理に基づく議論フレームワーク
http://hdl.handle.net/10191/26113
http://hdl.handle.net/10191/26113c7a662f5-94f0-46bb-a146-8bee8a006764
名前 / ファイル | ライセンス | アクション |
---|---|---|
19_2_83-94.pdf (1.7 MB)
|
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2014-03-11 | |||||
タイトル | ||||||
タイトル | 準無矛盾論理に基づく議論フレームワーク | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | 準無矛盾論理に基づく議論フレームワーク | |||||
言語 | ||||||
言語 | jpn | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | paraconsistent logic programming | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | argument | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | argumentation framework | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_6501 | |||||
タイプ | journal article | |||||
その他のタイトル | ||||||
その他のタイトル | An Argumentation Framework based on Paraconsistent Logic | |||||
著者 |
梅田, 勇一
× 梅田, 勇一× 高橋, 武久× 沢村, 一 |
|||||
著者別名 | ||||||
識別子 | 40585 | |||||
識別子Scheme | WEKO | |||||
姓名 | Umeda, Yuichi | |||||
著者別名 | ||||||
識別子 | 40586 | |||||
識別子Scheme | WEKO | |||||
姓名 | Takahashi, Takehisa | |||||
著者別名 | ||||||
識別子 | 40587 | |||||
識別子Scheme | WEKO | |||||
姓名 | Sawamura, Hajime | |||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | Argumentation is the most representative of intelligent activities of humans. Therefore, it is natural to think that it could have many implications for artificial intelligence and computer science as well. Specifically, argumentation may be considered a most primitive capability for interaction among computational agents.<BR> In this paper we present an argumentation framework based on the four-valued paraconsistent logic. Tolerance and acceptance of inconsistency that this logic has as its logical feature allow for arguments on inconsistent knowledge bases with which we are often confronted. We introduce various concepts for argumentation, such as arguments, attack relations, argument justification, preferential criteria of arguments based on social norms, and so on, in a way proper to the four-valued paraconsistent logic. Then, we provide the fixpoint semantics and dialectical proof theory for our argumentation framework. We also give the proofs of the soundness and completeness. | |||||
書誌情報 |
人工知能学会論文誌 en : 人工知能学会論文誌 巻 19, 号 2, p. 83-94, 発行日 2004-11 |
|||||
出版者 | ||||||
出版者 | 人工知能学会 | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 13460714 | |||||
書誌レコードID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AA11579226 | |||||
権利 | ||||||
権利情報 | 社団法人人工知能学会 | |||||
権利 | ||||||
権利情報 | 本文データは学協会の許諾に基づきJ-Stageのサイトから複製したものである | |||||
著者版フラグ | ||||||
値 | publisher | |||||
異版である | ||||||
関連タイプ | isVersionOf | |||||
識別子タイプ | URI | |||||
関連識別子 | https://www.jstage.jst.go.jp |