Towards a formal and implemented model of argumentation schemes in agent communication

Argumentation schemes are patterns of non-deductive reasoning that have been the focus of extended study in argumentation theory. They have also been identified in computational domains including multi-agent systems as holding the potential for significant improvements in reasoning and communication abilities. By focusing on models of natural language argumentation schemes, and then building formal systems from them, direct implementation in multi-agent environments becomes a possibility. The formal, representational and implementational details are presented here, along with results that demonstrate not only advantages of flexibility, scope, and knowledge sharing, but also of computational efficiency.