Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Benthem, J. van et al. (eds.): Logic and Argumentation, Proc. of the Colloquium ‘Logic and Argumentation’, Royal Netherlands Academy of Arts and Sciences, 1994.
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.
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.
Krause, P., Ambler, S., Goransson, M. E. and Fox, J.: A Logic of Argumentation for Reasoning under Uncertainty, Computational Intelligence, Vol. 11, No. 1, pp. 113–131, 1995.
Loui, R. P.: Defeat among Arguments: a System of Defeasible Inference, Computational Intelligence, Vol. 2, pp. 100–106, 1987.
Macintosh, D. J. and Conry, S. E. and Meyer, R. A.: Distributed Automated Reasoning: Issues in Coordination, Cooperation, and Performance, IEEE Transactions on Systems, Man and Cybernetics, Vol. 21, No. 6, 1991, pp. 1307–1316.
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.
Nute, D.: Defeasible Reasoning and Decision Support Systems, Decision Support Systems, Vol. 4, pp. 97–110, 1988.
Parker, J. H.: Social Logics: Their Nature and Uses in Social Research, Cybernetica, Vol. 25, No. 4, pp. 287–308, 1982.
Pollock, J. L..: Defeasible Reasoning, Cognitive Science, Vol. 11, pp. 481–518, 1987.
Prakken, H. and Sartor, G.: Argument-based Extended Logic Programming with Defeasible Priorities, J. of Applied Non-Classical Logics, Vol. 7, No. 1–2, pp. 25–75, 1997.
Rescher, N.: Dialectics-a controversy-oriented approach to the theory of knowledge-, State University of New York Press, 1977.
Routley, R. and Meyer, R.: Dialectical Logic, Classical Logic, and the Consistency of the World, Studies in Soviet Thought, Vol. 16, pp. 1–25, 1976.
Sawamura, H. and Asanuma, D.: Mechanizing Relevant Logics with HOL, The 11th International Conference on Theorem Proving in Higher Order Logics (TPHOLs’98), Lecture Notes in Computer Science, Vol. 1479, Springer, pp. 443–460, 1998.
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.
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.
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.
Yamashita, M., Inagaki, M., Umeda, Y. and Sawamura, H.: Agents Meet Dialectics, 2000. (unpublished manuscript)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Umeda, Y., Yamashita, M., Inagaki, M., Sawamura, H. (2000). Argumentation as a Social Computing Paradigm. In: Zhang, C., Soo, VW. (eds) Design and Applications of Intelligent Agents. PRIMA 2000. Lecture Notes in Computer Science(), vol 1881. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44594-3_4
Download citation
DOI: https://doi.org/10.1007/3-540-44594-3_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67911-0
Online ISBN: 978-3-540-44594-4
eBook Packages: Springer Book Archive