Abstract
Norms constitute a powerful coordination mechanism among heterogeneous agents. In this paper, we propose a rule language to specify and explicitly manage the normative positions of agents (permissions, prohibitions and obligations), with which distinct deontic notions and their relationships can be captured. Our rule-based formalism includes constraints for more expressiveness and precision and allows to supplement (and implement) electronic institutions with norms. We also show how some normative aspects are given computational interpretation.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
References
Jennings N.R., Sycara K., Wooldridge M. (1998) A roadmap of agent research and development. Journal of Agents and Multi-Agents Systems 1: 7–38
Axelrod R. (1997) The complexity of cooperation: Agent-based models of competition and collaboration. Princeton studies in complexity. Princeton University, New Jersey
Dignum F. (1999) Autonomous agents with norms. Artificial Intelligence and Law 7(1): 69–79
López y López, F. (2003). Social power and norms: Impact on agent behaviour. PhD thesis, University of Southampton.
Wooldridge M. (2002) An introduction to multiagent systems. Wiley, Chichester, UK
Sergot M. (2001) A computational theory of normative positions. ACM Transactions on Computational Logic 2(4): 581–622
Shoham Y., Tennenholtz M. (1995) On social laws for artificial agent societies: Off-line design. Artificial Intelligence 73(1–2): 231–252
Artikis, A., Kamara, L., Pitt, J., & Sergot, M. (2005). A protocol for resource sharing in norm-governed Ad Hoc networks. In Declarative agent languages and technologies II(Vol. 3476 of LNCS). Springer-Verlag.
Cranefield, S. (2005). A rule language for modelling and monitoring social expectations in multi-agent systems. Technical Report 2005/01, University of Otago.
Fornara, N., Viganò, F., & Colombetti, M. (2005). An event driven approach to norms in artificial institutions. In AAMAS05 Workshop: Agents, Norms and Institutions for Regulated Multiagent Systems (ANI@REM). Utrecht.
García-Camino, A., Noriega, P., & Rodríguez-Aguilar, J.A. (2005). Implementing norms in electronic institutions. In Proceedings of 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’05) (pp. 667–673). Utrecht, The Nederlands.
Michael, L., Parkes, D.C., & Pfeffer, A. (2004). Specifying and monitoring market mechanisms using rights and obligations. In Proceedings AAMAS Workshop on Agent Mediated Electronic Commerce (AMEC VI). New York, USA.
d’Inverno M., Luck M. (1998) Engineering AgentSpeak(L): A formal computational model. Journal of Logic and Computation 8(3): 1–27
Shoham Y. (1993) Agent-oriented programming. Artificial Intelligence 60(1): 51–92
Searle J. (1969). Speech acts, an essay in the philosophy of language. Cambridge University Press.
Jaffar J., Maher M.J. (1994) Constraint logic programming: A survey. Journal of Logic Programming 19(20): 503–581
Mariott K., Stuckey P.J. (1998) Programming with constraints: An introduction. MIT Press, USA
Noriega, P. (1997). Agent-mediated auctions: The fishmarket metaphor. PhD thesis, Universitat Autonoma de Barcelona (1997) Number 8 in IIIA Monograph Series.
Rodríguez-Aguilar, J.A. (2001). On the design and construction of agent-mediated electronic institutions. PhD thesis, Universitat Autonoma de Barcelona (2001) Number 14 in IIIA Monograph Series.
Esteva, M. (2003). Electronic Institutions: from specification to development. PhD thesis, Universitat Politecnica de Catalunya (2003) Number 19 in IIIA Monograph Series.
Hübner, J.F., Sichman, J.S., & Boissier, O. (2005). S-MOISE+: A middleware for developing organised multi-agent systems. In Proceedings of the International Workshop on Organizations in Multi-Agent Systems: From Organizations to Organization-Oriented Programming (OOOP’05). Utrecht, The Netherlands.
McCallum, M. (2006). MOCHA: Modelling organisational change using agents. PhD thesis, Department of Computing Science, University of Aberdeen, Aberdeen, United Kingdom.
Apt K.R. (1997) From logic programming to Prolog. Prentice-Hall, UK
García-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C., & Vasconcelos, W. (2006). A distributed architecture for norm-aware agent societies. In M. Baldoni et al. (Eds.), Declarative agent languages and technologies III (Vol. 3904 of Lecture Notes in Artificial Intelligence (LNAI) pp. 89–105). Berlin Heidelberg: Springer.
García-Camino A., Rodríguez-Aguilar J.A., Sierra C., Vasconcelos W. (2006) A rule-based approach to norm-oriented programming of electronic institutions. ACM SIGecom Exchanges 5(5): 33–40
García-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C., & Vasconcelos, W. (2006). Norm oriented programming of electronic institutions. In Proceedings of 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’06).
García-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C., & Vasconcelos, W. (2006). Norm-oriented programming of electronic institutions: A rule-based pproach. In Coordination, Organization, Institutions and Norms in agent systems (COIN’06) in 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’06).
Fitting M. (1990) First-order logic and utomated theorem proving. Springer-Verlag, New York USA
Tsang, E.P.K. (1993). Foundations of constraint atisfaction. Academic Press. Available at http://www.bracil.net/edward/FCS.html.
Kramer, B., & Mylopoulos, J. (1992). Knowledge representation. In S. C. Shapiro (Ed.), Encyclopedia of Artificial Intelligence (Vol. 1, pp. 743–759). Wiley & Sons.
Swedish Institute of Computer Science: SICStus Prolog. (2006). http://www.sics.se/sicstus, viewed on 10 Feb 2006 at 18.16 GMT.
North D. C. (1990) Institutions, institutional change and economics performance. University Press, Cambridge
Esteva, M., Rosell, B., Rodríguez-Aguilar, J.A., & Arcos, J.L. (2004). AMELI: An agent-based middleware for electronic institutions. In Proceedings of 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’04) (pp. 236–243). ACM (2004)
Cuní, G., Esteva, M., Garcia, P., Puertas, E., Sierra, C., & Solchaga, T. (2004). MASFIT: Multi-agent system for fish trading. In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004) (pp. 710–714). Valencia, Spain (2004).
Vasconcelos W.W., Robertson D., Sierra C., Esteva M., Sabater J., Wooldridge M. (2004) Rapid prototyping of large multi-agent systems through logic programming. Annals of Mathematics and Artificial Intelligence 41(2–4): 135–169
Vázquez-Salceda, J., Aldewereld, H., & Dignum, F. (2004). Implementing norms in multiagent systems. In Multiagent System Technologies: Second German Conference, MATES 2004 (Vol. 3187 of LNAI., pp. 313–327). Erfurt, Germany: Springer-Verlag (2004).
Dignum, V., Meyer, J.J., Dignum, F., & Weigand, H. (2002). Formal specification of interaction in agent societies. In 2nd Goddard Workshop on Formal Approaches to Agent-Based Systems. Maryland (2002).
Hughes, G.E., & Cresswell, M.J. (1996). A new introduction to modal logic. Routledge.
López y López, F., Luck, M., & d’Inverno, M. (2002). Constraining autonomy through norms. In Proceedings 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’02) (pp. 674–681). Bologna, Italy: ACM Press.
Kowalski, R.A., & Sergot, M.J. (1986). A logic-based calculus of events. New Generation Computing, 4(1), 67–96. Reprinted in C. Thanos & J.W. Schmidt (Eds.) (1989). Foundations of Knowledge Based Management Systems (pp. 23–53). Heidelberg: Springer-Verlag.
Alberti, M., Gavanelli, M., Lamma, E., Mello, P., & Torroni, P. (2003). Specification and verification of agent interactions using integrity social constraints. Technical Report DEIS-LIA-006-03, Università degli Studi di Bologna (2003).
Conte, R., & Castelfranchi, C. (1995). Understanding the functions of norms in social groups through simulation. In N. Gilbert & R. Conte (Eds.), Artificial Societies. The Computer Simulation of Social Life (pp. 252–267). London: UCL Press.
Conte, R., & Castelfranchi, C. (1993). Norms as mental objects: From normative beliefs to normative goals. In Proceedings of MAAMAW’93. Neuchatel, Switzerland (1993).
Tuomela R., Bonnevier-Tuomela M. (1995) Norms and agreement. European Journal of Law, Philosophy and Computer Science 5: 41–46
Walker, A., & Wooldridge, M. (1995). Understanding the emergence of conventions in multi-agent systems. In Proceedings International Joint Conference on Multi-Agent Systems (ICMAS) (pp. 384–389). San Francisco, USA.
von Wright G.H. (1963) Norm and action: A logical inquiry. Routledge and Kegan Paul, London
Alchourron C.E., Bulygin E. (1981) The expressive conception of norms. In: Hilpinen R.(eds) New Studies in Deontic Logics. D Reidel, London, pp 95–124
Lomuscio, A., & Nute, D. (Eds.). (2004). In Proceedings of the 7th International Workshop on Deontic Logic in Computer Science (DEON’04) (Vol. 3065 of Lecture Notes in Artificial Intelligence). Springer-Verlag.
Boella, G., & van der Torre, L. (2003). Permission and obligations in hierarchical normative systems. In Proceedings 8th International Conference in AI & Law (ICAIL’03). ACM: Edinburgh.
Fornara, N., Viganò, F., & Colombetti, M. (2004). A communicative act library in the context of artificial institutions. In 2nd European Workshop on Multi-Agent Systems (pp. 223–234). Barcelona.
OMG (2005). Unified modelling language. http://www.uml.org.
López y López, F., & Luck, M. (2004). A model of normative multi-agent systems and dynamic relationships. In Regulated agent-based social systems (Vol. 2934 of LNAI, pp. 259–280). Springer-Verlag.
Stratulat, T., Clérin-Debart, F., & Enjalbert, P. (2001). Norms and time in agent-based systems. In Proceedings 8th International Conference on AI & Law (ICAIL’01) (pp. 178–185). St. Louis, Missouri, USA.
Kollingbaum, M.J. (2005). Norm-governed practical reasoning agents. PhD thesis, Department of Computing Science, University of Aberdeen, United Kingdom.
Kollingbaum, M. J., & Norman, T. J. (2003). NoA—a normative agent architecture. In Proceedings 18th International Joint Conference on Artificial Intelligence (IJCAI) (pp. 1465–1466). Acapulco, Mexico: AAAI Press.
Kollingbaum, M. J., & Norman, T. J. (2003). Norm adoption in the NoA agent architecture. In Proceedings 2nd International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS’03). Melbourne, Australia, USA: ACM.
Gosling J. (1996) The Java programming Language. Addison-Wesley, Reading
Sandia Nat’l Labs: Jess. The Rule Engine for Java. (2006) http://www.jessrules.com, viewed on 15 Mar 2006 at 17.50 GMT.
Lopes Cardoso, H., & Oliveira, E. (2005). Towards an institutional environment using norms for contract performance. In Multi-Agent Systems and Applications IV co-located with 4th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS 2005) (Vol. 3690 of LNAI., pp. 256–265). Springer-Verlag.
Vasconcelos, W. W. (2004). Norm verification and analysis of electronic institutions. In Declarative agent languages and technologies II (Vol. 3476 of LNAI). New York, USA: Springer-Verlag.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
García-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C. et al. Constraint rule-based programming of norms for electronic institutions. Auton Agent Multi-Agent Syst 18, 186–217 (2009). https://doi.org/10.1007/s10458-008-9059-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10458-008-9059-4