文章基本信息

标题：An Argumentation Framework based on Paraconsistent Logic
本地全文：下载
作者：Yuichi Umeda ; Takehisa Takahashi ; Hajime Sawamura 等
期刊名称：人工知能学会論文誌
印刷版ISSN：1346-0714
电子版ISSN：1346-8030
出版年度：2004
卷号：19
期号：2
页码：83-94
DOI：10.1527/tjsai.19.83
出版社：The Japanese Society for Artificial Intelligence
摘要：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. 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.
关键词：paraconsistent logic programming ; argument ; argumentation framework ; agent