Studies on Logic of Argumentation Reflecting Eastern Rationalism and its Applications to Social Computation

点击翻译按钮获取中文摘要

The results of our investigation on Studies on Logic of Argumentation Reflecting Eastern Rationalism and its Applications to Social Computation are summarized as follows.(1) Logic of argumentation reflecting Eastern rationalismWe specialized an argumentation framework that allows agents to make arguments based on Tetralema from the Logic of Multiple-Valued Argumentation (LMA) originally formalized by us. It allows for constructing arguments reflecting Easterners' preference over argumentation as well as Eastern thought and philosophy. Through various argument examples, it was shown that it also allowed for a kind of pluralistic argumentation, or a fusion of Eastern and Western argumentation.(2) A logic of dialogue: from argumentation to dialogueArgumentation and dialogue provide important foundations for agent-oriented computing since social computing mechanism such as negotiation, cooperation, conflict resolution, etc. are to be built on them. We considered relationship between argume … More ntation and dialogue in a formal way. I doing so, We started setting a primitive but natural inter-agent dialogue model in which dialogue can be seen as partial argumentation that allows us to avoid excessive or unnecessary conflicts. Then, we gave the semantics for such a type of dialogue, and the soundness and completeness theorems.(3) Integrated Argumentation Environment (IAE) and its implementationWe devised an idea of Integrated Argumentation Environment (IAE) for arguing agents, so that it can inclusively support argumentation like an integrated environment for the software development. IAE yields three types of knowledge base designer: knowledge base editor, argument template and AM-LMA transform module, and three types of argumentation visualization tools for analyzing: live argumentation viewer, argumentation and argument tree viewer.(4)Other results on argumentation framework- We studied a more syncretic argumentation models such as the interplay between neural net argumentation and symbolic argumentation. They are beneficial for understanding or characterizing the computation power and outcome of the neural net argumentation from the perspective of the symbolic argumentation.- We studied translation of natural arguments in Araucaria to formal arguments in LMA, and vice versa. This helps to lighten users' knowledge burden forced by formal argumentation frameworks, and attain extensive usability of formal argumentation systems. Less