ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_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}
  1. 060 工学部
  2. 10 学術雑誌論文
  3. 10 査読済論文
  1. 0 資料タイプ別
  2. 01 学術雑誌論文

準無矛盾論理に基づく議論フレームワーク

http://hdl.handle.net/10191/26113
http://hdl.handle.net/10191/26113
c7a662f5-94f0-46bb-a146-8bee8a006764
名前 / ファイル ライセンス アクション
19_2_83-94.pdf 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
著者 梅田, 勇一

× 梅田, 勇一

WEKO 40582

梅田, 勇一

Search repository
高橋, 武久

× 高橋, 武久

WEKO 40583

高橋, 武久

Search repository
沢村, 一

× 沢村, 一

WEKO 40584

沢村, 一

Search repository
著者別名
識別子 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
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 20:18:19.631479
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3