Constitutive Norms in the Design of Normative Multiagent Systems

  • Guido Boella
  • Leendert van der Torre
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3900)


In this paper, we consider the design of normative multiagent systems composed of both constitutive and regulative norms. We analyze the properties of constitutive norms, in particular their lack of reflexivity, and the trade-off between constitutive and regulative norms in the design of normative systems. As methodology we use the metaphor of describing social entities as agents and of attributing them mental attitudes. In this agent metaphor, regulative norms expressing obligations and permissions are modelled as goals of social entities, and constitutive norms expressing “counts-as” relations are their beliefs.


Legal System Modal Logic Multiagent System Institutional Fact Regulative Norm 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Jones, A., Carmo, J.: Deontic logic and contrary-to-duties. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, pp. 203–279. Kluwer, Dordrecht (2001)Google Scholar
  2. 2.
    Boella, G., van der Torre, L.: Permissions and obligations in hierarchical normative systems. In: Procs. of ICAIL 2003, pp. 109–118. ACM Press, New York (2003)Google Scholar
  3. 3.
    Artosi, A., Rotolo, A., Vida, S.: On the logical nature of count-as conditionals. In: Procs. of LEA 2004 Workshop (2004)Google Scholar
  4. 4.
    Grossi, D., Dignum, F., Meyer, J.J.: Contextual taxonomies. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS, vol. 3487, pp. 33–51. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Journal of IGPL 3, 427–443 (1996)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Boella, G., van der Torre, L.: Regulative and constitutive norms in normative multiagent systems. In: Procs. of 10th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2004, pp. 255–265. AAAI Press, Menlo Park (2004)Google Scholar
  7. 7.
    Boella, G., van der Torre, L.: A game theoretic approach to contracts in multiagent systems. IEEE Transactions on Systems, Man and Cybernetics - Part C 36(1) (2006)Google Scholar
  8. 8.
    Boella, G., van der Torre, L.: Security policies for sharing knowledge in virtual communities. IEEE Transactions on Systems, Man and Cybernetics - Part A (2006)Google Scholar
  9. 9.
    Gmytrasiewicz, P.J., Durfee, E.H.: Formalization of recursive modeling. In: Procs. of ICMAS 1995, Cambridge (MA), pp. 125–132. AAAI/MIT Press (1995)Google Scholar
  10. 10.
    Boella, G., van der Torre, L.: From the theory of mind to the construction of social reality. In: Procs. of CogSci 2005, pp. 298–303. Lawrence Erlbaum, Mahwah (2005)Google Scholar
  11. 11.
    Castelfranchi, C.: Engineering social order. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2000. LNCS, vol. 1972, pp. 1–18. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  12. 12.
    Searle, J.: Speech Acts: an Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)CrossRefGoogle Scholar
  13. 13.
    Boella, G., van der Torre, L.: Obligations as social constructs. In: Cappelli, A., Turini, F. (eds.) AI*IA 2003. LNCS(LNAI), vol. 2829, pp. 27–38. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  14. 14.
    Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 29, 383–408 (2000)MathSciNetCrossRefMATHGoogle Scholar
  15. 15.
    Makinson, D., van der Torre, L.: Constraints for input-output logics. Journal of Philosophical Logic 30(2), 155–185 (2001)MathSciNetCrossRefMATHGoogle Scholar
  16. 16.
    Boella, G., van der Torre, L.: Rational norm creation: Attributing mental attitudes to normative systems, part 2. In: Procs. of ICAIL 2003, pp. 81–82. ACM Press, New York (2003)Google Scholar
  17. 17.
    Hansson, B.: An analysis of some deontic logics. Noûs 3, 373–398 (1969)MathSciNetCrossRefGoogle Scholar
  18. 18.
    Searle, J.: The Construction of Social Reality. The Free Press, New York (1995)Google Scholar
  19. 19.
    Hindriks, F.: The constitutive rule revisited. In: Procs. of 3rd Conference on Collective Intentionality, Rotterdam (2002)Google Scholar
  20. 20.
    Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cognitive Science Quarterly 2(3-4), 428–447 (2002)Google Scholar
  21. 21.
    Lang, J., van der Torre, L., Weydert, E.: Utilitarian desires. Autonomous Agents and Multiagent Systems 5(3), 329–363 (2002)CrossRefGoogle Scholar
  22. 22.
    Anderson, A.: The logic of norms. Logic et analyse 2 (1958)Google Scholar
  23. 23.
    Hart, H.: The Concept of Law. Clarendon Press, Oxford (1961)Google Scholar
  24. 24.
    Gelati, J., Governatori, G., Rotolo, N., Sartor, G.: Declarative power, representation, and mandate. A formal analysis. In: Procs. of JURIX 2002, pp. 41–52. IOS Press, Amsterdam (2002)Google Scholar
  25. 25.
    Castelfranchi, C., Tummolini, L.: The cognitive and behavioral mediation of institutions: Towards an account of institutional actions. In: Procs. of 4th Conference on Collective Intentionality (2004)Google Scholar
  26. 26.
    Grossi, D., Dignum, F., Meyer, J.: Contextual terminologies. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS, vol. 3900, pp. 284–302. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  27. 27.
    Grossi, D., Meyer, J., Dignum, F.: Modal logic investigations in the modal logic investigations in the semantics of counts semantics of counts-as as. In: Procs. of ICAIL 2005, pp. 1–9. ACM Press, New York (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Guido Boella
    • 1
  • Leendert van der Torre
    • 2
  1. 1.Dipartimento di InformaticaUniversità di TorinoItaly
  2. 2.University of LuxembourgLuxembourg

Personalised recommendations