{"_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}