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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.