Action and Agency in Norm-Governed Multi-agent Systems

  • Marek Sergot
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4995)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Craven, R., Sergot, M.: Agent strands in the action language nC+. Journal of Applied Logic 6(2), 172–191 (2008)MATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Pörn, I.: Action Theory and Social Science: Some Formal Models. In: Synthese Library, Number 120. D. Reidel, Dordrecht (1977)Google Scholar
  3. 3.
    Sergot, M.: The logic of unwitting collective agency. Technical Report 2008/6, Department of Computing, Imperial College London (2008)Google Scholar
  4. 4.
    Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153(1–2), 49–104 (2004)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Sergot, M.: (C+)++: An action language for modelling norms and institutions. Technical Report 2004/8, Department of Computing, Imperial College London (2004)Google Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    Große, G., Khalil, H.: State Event Logic. Journal of the IGPL 4(1), 47–74 (1996)MATHCrossRefGoogle Scholar
  8. 8.
    Venema, Y.: Points, lines and diamonds: a two-sorted modal logic for projective planes. Journal of Logic and Computation 9(5), 601–621 (1999)MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    von Wright, G.H.: Norm and Action—A Logical Enquiry. Routledge and Kegan Paul, London (1963)Google Scholar
  11. 11.
    Chellas, B.F.: Modal Logic—An Introduction. Cambridge University Press, Cambridge (1980)MATHGoogle Scholar
  12. 12.
    Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)MATHGoogle Scholar
  13. 13.
    Carmo, J., Jones, A.J.I.: Deontic database constraints, violation and recovery. Studia Logica 57(1), 139–165 (1996)MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Meyden, R.: The dynamic logic of permission. Journal of Logic and Computation 6(3), 465–479 (1996)MATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    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)MATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    Lomuscio, A., Sergot, M.J.: Deontic interpreted systems. Studia Logica 75(1), 63–92 (2003)MATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    Å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)Google Scholar
  18. 18.
    Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)MATHGoogle Scholar
  19. 19.
    Belnap, N., Perloff, M.: Seeing to it that: a canonical form for agentives. Theoria 54, 175–199 (1988)CrossRefGoogle Scholar
  20. 20.
    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)MATHCrossRefMathSciNetGoogle Scholar
  21. 21.
    Horty, J.F.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)MATHGoogle Scholar
  22. 22.
    Segerberg, K.: Getting started: Beginnings in the logic of action. Studia Logica 51(3–4), 347–378 (1992)MATHCrossRefMathSciNetGoogle Scholar
  23. 23.
    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)Google Scholar
  24. 24.
    Chellas, B.F.: The Logical Form of Imperatives. Dissertation, Stanford University (1969)Google Scholar
  25. 25.
    von Wright, G.H.: An essay in deontic logic and the general theory of action. Number 21 in Acta Philosophica Fennica (1968)Google Scholar
  26. 26.
    von Wright, G.H.: Practical Reason. Blackwell, Oxford (1983)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Marek Sergot
    • 1
  1. 1.Department of ComputingImperial College LondonLondonUK

Personalised recommendations