Skip to main content
Log in

Algebras for Agent Norm-Regulation

  • Published:
Annals of Mathematics and Artificial Intelligence Aims and scope Submit manuscript


An abstract architecture for idealized multi-agent systems whose behaviour is regulated by normative systems is developed and discussed. Agent choices are determined partially by the preference ordering of possible states and partially by normative considerations: The agent chooses that act which leads to the best outcome of all permissible actions. If an action is non-permissible depends on if the result of performing that action leads to a state satisfying a condition which is forbidden, according to the norms regulating the multi-agent system. This idea is formalized by defining set-theoretic predicates characterizing multi-agent systems. The definition of the predicate uses decision theory, the Kanger–Lindahl theory of normative positions, and an algebraic representation of normative systems.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others


  1. C.E. Alchourron and E. Bulygin, Normative Systems (Springer, 1971).

  2. J.L. Bell and A.B. Slomson, Models and Ultraproducts: An Introduction (North-Holland, Amsterdam, 1969).

    Google Scholar 

  3. M. Boman, Norms in artificial decision making, Artificial Intelligence and Law 7(1) (1999) 17–35.

    Google Scholar 

  4. M. Boman, P. Davidsson and H. Younes, Artificial decision making under uncertainty in intelligent buildings, in: Intelligent Autonomous Systems, Vol. 6, ed. E. Pagello (IOS Press, 1999) pp. 744–750.

  5. M. Boman and E. Holm, Multi-agent systems, time geography, and microsimulations, in: Systems Approaches and their Application, eds. M.-O. Olsson and G. Sjöstedt (Kluwer Academic, 2003) chapter 4.

  6. H. Broer, Introduction to dynamical systems, in: Structures in Dynamics-Finite Dimensional Deterministic Studies, Vol. 2: Studies in Mathematical Physics, eds. H. Broer, F. Dukmortier, S.J. van Strien and F. Takens (North-Holland, 1991).

  7. C.C. Chang and H.J. Keisler, Model Theory (North-Holland, Amsterdam, 1973).

    Google Scholar 

  8. F. Dignum, Autonomous agents with norms, Artificial Intelligence and Law 7(1) (1999) 69–79.

    Google Scholar 

  9. F. Dignum, D. Morley, E.A. Sonenberg and L. Cavedon, Towards socially sophisticated BDI agents, in: ICMAS'2000 Proceedings (IEEE, 2000) pp. 111–118.

  10. B. Huberman and N. Glance, Evolutionary games and computer simulations, PNAS 90 (1993) 7716–7718.

    Google Scholar 

  11. A. Jones and M. Sergot, On the characterisation of law and computer systems-the normative systems perspective, in: Deontic Logic in Computer Science-Normative System Specification, eds. J.-H.C. Meyer and R.J. Wieringa (Wiley, 1993).

  12. A. Jones and M. Sergot, A formal characterisation of institutionalised power, Journal of the IGPL 4(3) (1996) 429–445.

    Google Scholar 

  13. S. Kanger, New foundations for ethical theory, Part 1, Technical Report, Stockholm University (1957). Reprinted in: Deontic Logic: Introductory and Systematic Readings, ed. R. Hilpinen (D. Reidel, Dordrecht, 1971).

  14. S. Kanger and H. Kanger, Rights and parliamentarism, Theoria 32 (1966) 85–115.

    Google Scholar 

  15. C. Krogh, The rights of agents, in: Intelligent Agents II (Springer, 1995).

  16. C. Krogh and H. Herrestad, Hohfeld in cyberspace and other applications of normative reasoning in agent technology, Artificial Intelligence and Law 7(1) (1999) 81–96.

    Google Scholar 

  17. L. Lindahl, Position and Change-A Study in Law and Logic (Reidel, Dordrecht, 1977).

    Google Scholar 

  18. L. Lindahl, Stig Kanger's theory of rights, in: Logic, Methodology and Philosophy of Science IX, eds. D. Prawitz, B. Skyrms and D. Westerståhl (Elsevier Science, 1994).

  19. L. Lindahl and J. Odelstad, Intermediate concepts as couplings of conceptual structures, in: Norms, Logics and Information Systems-New Studies on Deontic Logic and Computer Science, eds. H. Prakken and P. McNamara (IOS Press, 1999).

  20. L. Lindahl and J. Odelstad, An algebraic analysis of normative systems, Ratio Juris 13 (2000) 261–278.

    Google Scholar 

  21. L. Lindahl and J. Odelstad, Normative positions within an algebraic approach to normative systems, Journal of Applied Logic (2004) in press.

  22. D. Makinson, On the formal representation of right relations, Journal of Philosophical Logic 15 (1986) 403–425.

    Google Scholar 

  23. J. Odelstad, An abstract architecture for norm-regulated agents, Paper presented at Promote IT 2003, Visby, Sweden (2003).

  24. J. Odelstad and L. Lindahl, Normative systems represented by boolean quasi-orderings, Nordic Journal of Philosophical Logic 5 (2000) 161–174.

    Google Scholar 

  25. J. Odelstad and L. Lindahl, The role of connections as minimal norms in normative systems, in: Legal Knowledge and Information Systems, eds. T. Bench-Capon, A. Daskalopulu and R. Winkels (IOS Press, Amsterdam, 2002).

    Google Scholar 

  26. L.J. Savage, The Foundations of Statistics, 2nd edn (Dover, 1972).

  27. M. Sergot, Normative positions, in: Norms, Logics and Information Systems, eds. P. McNamara and H. Prakken (IOS Press, Amsterdam, 1999) pp. 289–308.

    Google Scholar 

  28. M. Sergot, A computational theory of normative positions, ACM Transactions on Computational Logic 2(4) (2001) 581–622.

    Google Scholar 

  29. T. Spaak, Norms that confer competence, Ratio Juris 16(1) (2003) 89–104.

    Google Scholar 

  30. M. Wooldridge, An Introduction to Multi-Agent Systems (Wiley, 2002).

Download references

Author information

Authors and Affiliations


Rights and permissions

Reprints and permissions

About this article

Cite this article

Odelstad, J., Boman, M. Algebras for Agent Norm-Regulation. Annals of Mathematics and Artificial Intelligence 42, 141–166 (2004).

Download citation

  • Issue Date:

  • DOI: