Argumentation as a Social Computing Paradigm
In this paper, we claim that argumentation is a novel and prominent computing principle and provides a unified approach to technologies needed in agent-oriented computing, where social concepts play important roles in computation. Viewed as the reasoning methods of attaining a consensus, they can be roughly classified into three categories: (i) conflict-resolving reasoning, (ii) dialectical reasoning, and (iii) cooperative reasoning. We describe these formally in a unified manner, and build an argument-based agent system with those argument-based reasoning capabilities. Finally, we show its potential usefulness and feasibility in a convincing manner by applying it to a wide variety of the contemporary application domains.
Keywordsargumentation agent dialectics Aufheben compromise concession cooperation
Unable to display preview. Download preview PDF.
- 1.Benthem, J. van et al. (eds.): Logic and Argumentation, Proc. of the Colloquium ‘Logic and Argumentation’, Royal Netherlands Academy of Arts and Sciences, 1994.Google Scholar
- 2.Dung, P. M.: An Argumentational Semantics for Logic Programming with Classical Negation, Proc. of Tenth Int. Conf. on Logic Programming, MIT Press, pp. 616–630, 1993.Google Scholar
- 3.Eemeren, F. H., Grootendorst, R., Henkmans, A. F. S., et al.: Fundamentals of Argumentation Theory, A Handbook of Historical Backgrounds and Contemporary Developments, Lawrence Erlbaum, 1996.Google Scholar
- 7.Maeda, S., Guan, C. and Sawamura, H.: An Argument-based Agent System with the Contract Net Protocol, Liu, J. and Zhong, N. (eds.): Intelligent Agent Technology: Systems, Methodologies, and Tools, The World Scientific Publication, pp. 99–103. 1999.Google Scholar
- 9.Parker, J. H.: Social Logics: Their Nature and Uses in Social Research, Cybernetica, Vol. 25, No. 4, pp. 287–308, 1982.Google Scholar
- 12.Rescher, N.: Dialectics-a controversy-oriented approach to the theory of knowledge-, State University of New York Press, 1977.Google Scholar
- 15.Sawamura, H., Umeda, Y. and Meyer, R. K.: Computational Dialectics for Argument-based Agent Systems, to be presented at the Fourth International Conference on MultiAgents Systems (ICMAS’ 2000), Boston, USA, 2000.Google Scholar
- 16.Sawamura, H. and Maeda, S.: An Argumentation-Based Model of Multi-Agent Systems, Proc of the 10th European-Japanese Conference on Information Modeling and Knowledge Bases, pp. 96–109, 2000.Google Scholar
- 17.Umeda, Y. and Sawamura, H.: Towards an Argument-based Agent System, 1999. Proc of 3rd Int. Conf. on Knowledge-Based Intelligent Information Engineering Systems, IEEE, 1999, pp. 30–33.Google Scholar
- 18.Yamashita, M., Inagaki, M., Umeda, Y. and Sawamura, H.: Agents Meet Dialectics, 2000. (unpublished manuscript)Google Scholar