Abstract
The social laws paradigm represents an important approach to the co-ordination of behaviour in multi-agent systems. In this paper we examine the relationship between social laws and rational behaviour, by which we mean behaviour that can be justified by a defensible argument. We describe how social laws have previously been defined and used within the context of Action-Based Alternating Transition Systems (AATSs). We then show how an account of argumentation for practical reasoning in agent systems, also based on AATSs, can be used to determine what is rational for the agents to do in the absence and presence of such laws. The reasoning involved is both of a practical and epistemic nature: agents need to make decisions about what to do based upon the assumptions that they make about the states they find themselves in, and crucially, they also need to reason about what the other agents in the scenario will do. What is rational for the agents to do has implications for the need for social laws, the ways in which social laws can help the situation, the form the social laws should take, and the likelihood of compliance with the social laws. This paper demonstrates how we can think about social laws and rational behaviour in a single framework, so as to identify these implications in particular scenarios, and so frame social laws accordingly.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Arcos, J.L., Esteva, M., Noriega, P., Rodríguez, J.A., Sierra, C.: Engineering open environments with electronic institutions. Journal on Engineering Applications of Artificial Intelligence 18(2), 191–204 (2005)
Atkinson, K.: What Should We Do?: Computational Representation of Persuasive Argument in Practical Reasoning. PhD thesis, Department of Computer Science, University of Liverpool, Liverpool, UK (2005)
Atkinson, K., Bench-Capon, T.: Addressing moral problems through practical reasoning. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS, vol. 4048, pp. 8–23. Springer, Heidelberg (2006)
Atkinson, K., Bench-Capon, T.: Action-based alternating transitions systems for arguments about action. In: Proceedings of the Twenty Second Conference on Articicial Intelligence (AAAI 2007), pp. 24–29 (2007)
Bench-Capon, T.: Persuasion in practical argument using value based argumentation frameworks. Journal of Logic and Computation 13(3), 429–448 (2003)
Broersen, J., Dastani, M., Hulstijn, J., Huang, Z., van der Torre, L.: The BOID architecture: conflicts between beliefs, obligations, intentions and desires. In: Proceedings of Autonomous Agents 2001, pp. 9–16. ACM Press, New York (2001)
Castelfranchi, C.: Modelling social action for AI agents. Artificial Intelligence 103(1-2), 157–182 (1998)
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77, 321–357 (1995)
Moses, Y., Tennenholtz, M.: Artificial social systems. Computers and Artificial Intelligence 14(6), 533–562 (1995)
Shoham, Y., Tennenholtz, M.: On the synthesis of useful social laws for artificial agent societies. In: Proceedings of the Tenth Conference on Artificial Intelligence (AAAI 1992), pp. 276–281 (1992)
Ullmann-Margalit, E.: The Emergence of Norms. Clarendon Press, Oxford (1977)
van der Hoek, W., Roberts, M., Wooldridge, M.: Social laws in alternating time: effectiveness, feasibility and synthesis. Synthese 156(1), 1–19 (2007)
Walton, D.N.: Argumentation Schemes for Presumptive Reasoning. Lawrence Erlbaum Associates, Mahwah (1996)
Wooldridge, M., van der Hoek, W.: On obligations and normative ability: Towards a logical analysis of the social contract. Journal of Applied Logic 3, 396–420 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Atkinson, K., Bench-Capon, T. (2009). Co-ordination and Co-operation in Agent Systems: Social Laws and Argumentation. In: Rahwan, I., Moraitis, P. (eds) Argumentation in Multi-Agent Systems. ArgMAS 2008. Lecture Notes in Computer Science(), vol 5384. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00207-6_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-00207-6_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00206-9
Online ISBN: 978-3-642-00207-6
eBook Packages: Computer ScienceComputer Science (R0)