2024-03-28T23:13:53Z
https://niigata-u.repo.nii.ac.jp/oai
oai:niigata-u.repo.nii.ac.jp:00003052
2022-12-15T03:36:14Z
423:424:425
453:454
An Argumentation Framework based on Paraconsistent Logic
準無矛盾論理に基づく議論フレームワーク
準無矛盾論理に基づく議論フレームワーク
梅田, 勇一
40582
高橋, 武久
40583
沢村, 一
40584
paraconsistent logic programming
argument
argumentation framework
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.
journal article
人工知能学会
2004-11
application/pdf
人工知能学会論文誌
2
19
83
94
人工知能学会論文誌
AA11579226
13460714
https://niigata-u.repo.nii.ac.jp/record/3052/files/19_2_83-94.pdf
jpn
https://www.jstage.jst.go.jp
社団法人人工知能学会
本文データは学協会の許諾に基づきJ-Stageのサイトから複製したものである