Abstract
There is growing interest in the idea that, in some cases, interactions among multiple, independently acting agents in a multi-agent system can be regulated and managed by norms (or ‘social laws’) which, if respected, allow the agents to co-exist in a shared environment. We present a formal (modal-logical) language for describing and analysing such systems. We distinguish between system norms, which express a system designer’s view of what system behaviours are deemed to be legal, permitted, desirable, and so on, and agent-specific norms which constrain and guide an individual agent’s behaviours and which are supposed to be incorporated, in one way or another, in the agent’s implementation. The language provides constructs for expressing properties of states and transitions in a transition system, and modalities of the kind found in logics of action/agency for expressing that an agent brings it about that, or is responsible for, its being the case that A. The novel feature is that an agent, or group of agents, brings it about that a transition has a certain property rather than bringing it about that a certain state of affairs obtains, as is usually the case. The aim of the paper is to motivate the technical development and illustrate the use of the formal language by means of a simple example in which there there are both physical and normative constraints on agents’ behaviours. We discuss some relationships between system norms and agent-specific norms, and identify several different categories of non-compliant behaviour that can be expressed and analysed using the formal language. The final part of the paper presents some transcripts of output from a model-checker for the language.
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
Craven, R., Sergot, M.: Agent strands in the action language nC+. Journal of Applied Logic 6(2), 172–191 (2008)
Pörn, I.: Action Theory and Social Science: Some Formal Models. In: Synthese Library, Number 120. D. Reidel, Dordrecht (1977)
Sergot, M.: The logic of unwitting collective agency. Technical Report 2008/6, Department of Computing, Imperial College London (2008)
Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153(1–2), 49–104 (2004)
Sergot, M.: (C+)++: An action language for modelling norms and institutions. Technical Report 2004/8, Department of Computing, Imperial College London (2004)
Sergot, M., Craven, R.: The deontic component of action language nC+. In: Goble, L., Meyer, J.J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 222–237. Springer, Heidelberg (2006)
Große, G., Khalil, H.: State Event Logic. Journal of the IGPL 4(1), 47–74 (1996)
Venema, Y.: Points, lines and diamonds: a two-sorted modal logic for projective planes. Journal of Logic and Computation 9(5), 601–621 (1999)
Sauro, L., Gerbrandy, J., van der Hoek, W., Wooldridge, M.: Reasoning about action and cooperation. In: Proceedings of the Fifth International Joint Conference on Autonomous agents and Multiagent Systems: AAMAS 2006, pp. 185–192. ACM, New York (2006)
von Wright, G.H.: Norm and Action—A Logical Enquiry. Routledge and Kegan Paul, London (1963)
Chellas, B.F.: Modal Logic—An Introduction. Cambridge University Press, Cambridge (1980)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Carmo, J., Jones, A.J.I.: Deontic database constraints, violation and recovery. Studia Logica 57(1), 139–165 (1996)
Meyden, R.: The dynamic logic of permission. Journal of Logic and Computation 6(3), 465–479 (1996)
Meyer, J.J.C.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic 29(1), 109–136 (1988)
Lomuscio, A., Sergot, M.J.: Deontic interpreted systems. Studia Logica 75(1), 63–92 (2003)
Ågotnes, T., van der Hoek, W., Rodriguez-Aguilar, J.A., Sierra, C., Wooldridge, M.: On the logic of normative systems. In: Veloso, M.M. (ed.) Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 1175–1180. AAAI Press, Menlo Park (2007)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
Belnap, N., Perloff, M.: Seeing to it that: a canonical form for agentives. Theoria 54, 175–199 (1988)
Horty, J.F., Belnap, N.: The deliberative stit: a study of action, omission, ability, and obligation. Journal of Philosophical Logic 24(6), 583–644 (1995)
Horty, J.F.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)
Segerberg, K.: Getting started: Beginnings in the logic of action. Studia Logica 51(3–4), 347–378 (1992)
Hilpinen, R.: On action and agency. In: Ejerhed, E., Lindström, S. (eds.) Logic, Action and Cognition—Essays in Philosophical Logic. Trends in Logic, Studia Logica Library, vol. 2, pp. 3–27. Kluwer Academic Publishers, Dordrecht (1997)
Chellas, B.F.: The Logical Form of Imperatives. Dissertation, Stanford University (1969)
von Wright, G.H.: An essay in deontic logic and the general theory of action. Number 21 in Acta Philosophica Fennica (1968)
von Wright, G.H.: Practical Reason. Blackwell, Oxford (1983)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sergot, M. (2008). Action and Agency in Norm-Governed Multi-agent Systems. In: Artikis, A., O’Hare, G.M.P., Stathis, K., Vouros, G. (eds) Engineering Societies in the Agents World VIII. ESAW 2007. Lecture Notes in Computer Science(), vol 4995. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87654-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-87654-0_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87653-3
Online ISBN: 978-3-540-87654-0
eBook Packages: Computer ScienceComputer Science (R0)