Affiliation: | (1) Division of Applied Computing, University of Dundee, Dundee, DD1 4HN, Scotland, UK;(2) Department of Philosophy, University of Winnipeg, Manitoba, R3B 2E9, Winnipeg, Canada |
Abstract: | 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. |