How Agents Should Exploit Tetralemma with an Eastern Mind in Argumentation

Abstract

AbstractArgumentation is a ubiquitous but effective mode of interaction and dialogue in the human society. It has come to be known that argumentation has many implications to interaction among computational agents as well. After observing and discussing the tetralemma, which is said to characterize the Eastern thought, in this paper we propose an argumentation framework with the paraconsistent logic programming based on the tetralemma. It allows us to represent typical eastern modes of truth: \(\top, \bot\) which are considered epistemic states of propositions. We introduce various notions for our argumentation framework, such as attack relations in terms of differences as a momentum of argumentation, argument justification, preferential criteria of arguments based on social norms, and so on, in a way proper to the four-valued paraconsistent logic programming. Finally, we provide the fixpoint semantics and dialectical proof theory for the argumentation framework. We illustrate our ideas with various argument examples.KeywordsLogic ProgramLogic ProgrammingEpistemic StateMultiple TheoryProof TheoryThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.