How agents should exploit tetralemma with an eastern mind in argumentation

Authors:
Hajime Sawamura;Edwin D. Mares
Affiliations:
Department of Information Engineering and, Graduate School of Science and Technology, Niigata University, Niigata, Japan;Philosophy Department, Victoria University of Wellington, Wellington, New Zealand
Venue:
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
Year:
2004

Citing 10
Cited 3

Foundations of logic programming

Foundations of logic programming
Paraconsistent logic programming

Theoretical Computer Science
Theory of generalized annotated logic programming and its applications

Journal of Logic Programming
An argumentation semantics for logic programming with explicit negation

ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence
The value of the four values

Artificial Intelligence
Logical models of argument

ACM Computing Surveys (CSUR)
Argumentation as a Social Computing Paradigm

PRIMA '00 Proceedings of the Third Pacific Rim International Workshop on Multi-Agents: Design and Applications of Intelligent Agents
Applying Dialectic Agents to Argumentation in E-Commerce

Electronic Commerce Research
Computational Dialectics for Argument-Based Agent Systems

ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)

Syncretic Argumentation by Means of Lattice Homomorphism

PRIMA '09 Proceedings of the 12th International Conference on Principles of Practice in Multi-Agent Systems
AASLMA: an automated argument system based on logic of multiple-valued argumentation

KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part IV
Syncretic argumentation for multi-agents by lattice homomorphism, fusion and sum

ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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