Non-standard uses of PIRIKA: Pilot of the right knowledge and argument

Abstract

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. In this paper, we describe some non-standard uses of 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 open source software, and show that those uses can extend further the usefulness and usability of PIRIKA together with the standard use of PIRIKA. PIRIKA allows to us to put forward indefinite agendas (partially unspecified ones) with variables, to represent formal literals as semi-natural language sentences, and to use semi-lattice for annotations of truth-values particularly for the Eastern argumentation. © 2013 Springer-Verlag.