Skip to main content

Advertisement

SpringerLink
Log in

From human regulations to regulated software agents’ behavior

Connecting the abstract declarative norms with the concrete operational implementation. A position paper

  • Original Paper
  • Published:
Artificial Intelligence and Law Aims and scope Submit manuscript

Abstract

In order to design and implement electronic institutions that incorporate norms governing the behavior of the participants of those institutions, some crucial steps should be taken. The first problem is that human norms are (on purpose) specified on an abstract level. This ensures applicability of the norms over long periods of time in many different circumstances. However, for an electronic institution to function according to those norms, they should be concrete enough to be able to check them run time. A second problem is that norms describe which behavior is desirable and permitted, but not how this is achieved in an institution. In the “real world" regulations often indicate procedures for implementing and enforcing the law. Likewise we should devise means to annotate the norms with practical aspects such as enforcement mechanisms, sanctions, etc. in order to get requirements for an institution that will enforce norms (by either constraining behavior within the norms or reacting to violation of the norms). The choice of which kind of mechanism is chosen is not a normative one, but usually based on criteria of efficiency and/or feasibility of the mechanism. In this paper we present our view on how to approach these problems and other related issues to be solved in order to develop e-institutions capable to operate in complex, highly regulated scenarios.

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3

Similar content being viewed by others

Notes

  1. The reader interested in the issue of norm-aware agents can find more details in Castelfranchi et al. (2000).

  2. See for example, Ross (1968), Alchourrón and Bulygin (1986), Jones and Sergot (1993), Bulygin (1992) and Searle (1995).

  3. The importance of the notion of context for specifying and representing institutions has been advocated also in Dignum (2002), Vázquez-Salceda (2004).

References

  • Alchourrón CE, Bulygin E (1986) Normative systems. Springer Verlag, Wien

    Google Scholar 

  • Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P (2002) The description logic handbook. Cambridge University Press, Cambridge

    Google Scholar 

  • Boella G, van der Torre L (2004) Normative multiagent systems. In: Proceedings of trust in agent societies workshop at AAMAS’04. New York

  • Boella G, van der Torre L (2004) Fulfilling or violating norms in normative multiagent systems. In: Proceedings of IAT 2004, IEEE Computer Society, Beijing, China

  • Broersen J, Dignum F, Dignum V, Meyer J-J Ch (2004) Designing a deontic logic of deadlines. In: Proceedings of the 7th international workshop on deontic logic in computer science (DEON’04). Portugal

  • Bulygin E (1992) On norms of competence. Law Philos 11:201–216

    Article  Google Scholar 

  • Castelfranchi C, Dignum F, Jonker C, Treur J (2000) Deliberative normative agents: principles and architectures. In: Jennings N, Lesperance Y (eds) ATAL, ’99 Vol 1757 of LNAI. Heidelberg, Berlin, pp 364–378

    Google Scholar 

  • Dignum F (2001) Agents, Markets, Institutions, and Protocols. In: Agent mediated electronic commerce, The European AgentLink perspective, vol 1991 of LNCS. Springer, pp 98–114

  • Dignum F (2002) Abstract norms and electronic institutions. In: Proceedings of the international workshop on regulated agent-based social systems: theories and applications (RASTA ’02), Bologna, pp 93–104

  • Dignum V, Dignum F (2001) Modelling agent societies: coordination frameworks and institutions. In: Brazdil P, Jorge A (eds) Progress in artificial intelligence Vol 2258 of LNAI, pp 191–204

  • Dignum F, Kinny D, Sonenberg L (2002a) From desires, obligations and norms to goals. Cognitive Sci Quart 2(3–4):407–430

    Google Scholar 

  • Dignum V, Meyer J-J Ch, Dignum F, Weigand H (2002b) Formal specification of interaction in agent societies. In: 2nd goddard workshop on formal approaches to agent-based systems (FAABS). Maryland

  • Dignum F, Broersen J, Dignum V, Meyer J-J Ch (2004) Meeting the deadline: why, when and how. In: 3rd goddard workshop on formal approaches to agent-based systems (FAABS). Maryland

  • Esteva M, Padget J, Sierra C (2001) Formalizing a language for institutions and norms. In: Meyer J-J, Tambe M (eds) Intelligent agents VIII, vol 2333 of LNAI, pp 348–366

  • Esteva M, Rodríguez-Aguilar J, Rosell B, Arcos J (2004a) AMELI: An agent-based middleware for electronic institutions. In: Third international joint conference on autonomous agents and multi-agent systems. New York, US

  • Esteva M, Vasconcelos W, Sierra C, Rodríguez-Aguilar J (2004b) Verifying norm consistency in electronic institutions. In: Proceedings of the AAAI-04 workshop on agent organizations: theory and practice (AOTP). San Jose, California

  • García-Camino A, Noriega P, Rodríguez-Aguilar J (2005) Implementing norms in electronic institutions. In: Schweighofer E (ed) The 4th international joint conference on autonomous agents and multi agent systems (AAMAS-05), pp 667–673

  • Ghidini C, Giunchiglia F (2001) Local models semantics, or contextual reasoning = locality + compatibility. Artif Intell 127(2):221–259

    Article  MATH  MathSciNet  Google Scholar 

  • Grossi D, Dignum F, Meyer J-J Ch (2006) Contextual terminologies. In: Toni F, Torroni P (eds) Post-proceedings of CLIMA VI, 6th International Workshop on Computational Logic in Multi-Agent Systems, vol 3900 of LNAI, pp 284–302

  • Grossi D, Aldewereld H, Vázquez-Salceda J, Dignum F (2005a) Ontological aspects of the implementation of norms in agent-based electronic institutions. In: Proceedings of NorMAS’05. Hatfield, England

  • Grossi D, Dignum F, Meyer J-J Ch (2005b) Contextual taxonomies. In: Leite J, Toroni P (eds) Post-proceedings of CLIMA V, 5th international workshop on computational logic in multi-agent systems, vol 3487 of LNAI, pp 33–51

  • Hart HLA (1958) Positivism and the separation of law and morality. Harvard Law Rev 71:593–629

    Article  Google Scholar 

  • Hart HLA (1994) The concept of law, 2nd ed. Oxford 1961

  • Jones AJI, Sergot M (1993) On the characterization of law and computer systems. Deontic Logic in Computer Science. John Wiley and Sons, New York, pp 275–307

  • Lomuscio A, Nute D (eds) (2004) Proceedings of the seventh international workshop on deontic logic in computer science (DEON04), vol 3065 of LNCS. Springer Verlag

  • Rodríguez-Aguilar JA (2001) On the design and construction of agent-mediated electronic institutions. Ph.D. thesis, Inst. d’Investigació en Intel.ligència Artificial

  • Ross A (1968) Directives and norms. Routledge & Kegan Paul, London

    Google Scholar 

  • Searle J (1995) The construction of social reality. Free Press, New York

  • Vázquez-Salceda J (2004) The role of norms and electronic institutions in multi-agent systems. Birkäuser Verlag AG

  • Vázquez-Salceda J, Dignum F (2003) Modelling electronic organizations. In: Marik JMV, Pechoucek M (eds) Proceedings CEEMAS’03, vol 2691 of LNAI. Berlin

  • Vázquez-Salceda J, Aldewereld H, Dignum F (2004) Implementing norms in multiagent systems. In: Lindemann G, Denzinger J, Timm I, Unland R (eds) Multiagent system technologies, vol 3187 of LNAI, pp 313–327

Download references

Acknowledgements

The authors would like to acknowledge the close collaboration of Virginia Dignum, John-Jules Ch. Meyer, Andres García-Camino, Juan Antonio Rodríguez-Aguilar, Pablo Noriega and Carles Sierra in different stages of this work. Also our work includes ideas coming from valuable discussions with Ulises Cortés, Julian Padget and Owen Cliffe.

Author information

Authors and Affiliations

  1. Knowledge Engineering and Machine Learning Group, Universitat Politècnica de Catalunya, Barcelona, Spain

    Javier Vázquez-Salceda

  2. Institute of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands

    Huib Aldewereld, Davide Grossi & Frank Dignum

Authors
  1. Javier Vázquez-Salceda
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Huib Aldewereld
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Davide Grossi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Frank Dignum
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Javier Vázquez-Salceda.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Vázquez-Salceda, J., Aldewereld, H., Grossi, D. et al. From human regulations to regulated software agents’ behavior. Artif Intell Law 16, 73–87 (2008). https://doi.org/10.1007/s10506-007-9057-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10506-007-9057-x

Keywords

Search

Navigation