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

Transactions of the Japanese Society for Artificial Intelligence 19:83-94 (2004)
  Copy   BIBTEX

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. 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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,119

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Abduction in argumentation frameworks.Chiaki Sakama - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):218-239.
Sequent-based logical argumentation.Ofer Arieli & Christian Straßer - 2015 - Argument and Computation 6 (1):73-99.
セマンティック Web 推論と議論エージェント推論の統合.Sawamura Hajime Wakaki Toshiko - 2007 - Transactions of the Japanese Society for Artificial Intelligence 22 (3):322-331.
Partial and paraconsistent three-valued logics.Vincent Degauquier - 2016 - Logic and Logical Philosophy 25 (2):143-171.

Analytics

Added to PP
2014-03-21

Downloads
19 (#925,286)

6 months
5 (#1,302,817)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references