Specializing the Logic of Multiple-Valued Argumentation to the Jaina Seven-Valued Logic

摘要

Argumentation is a dialectical process of knowing things (inquiry) and justifying them (advocacy) in general. Computational argumentation has been recognized as a social computing mechanism or paradigm in the multi-agent systems community. We have developed a computational argumentation framework that basically consists of EALP (Extended Annotated Logic Programming) and LMA (Logic of Multiple-valued Argumentation) constructed on top of EALP. EALP is a very generic knowledge representation language for uncertain arguments, and LMA built on top of it also yields a generic argumentation framework so that it allows agents to construct uncertain arguments under truth values specified depending on application domains. In this paper, we specialize such a generic argumentation system to an argumentation system that can deal with Eastern arguments based on the Jaina seven-valued logic. We illustrate this specialization using the implemented argumentation system: PIRIKA (Pilot of the Right Knowledge and Argument) based on EALP and LMA, which is now opened to the public as an open source software.