Skip to main content
Top
Published in: Information Systems Frontiers 2/2014

01-04-2014

Norm reasoning services

Authors: N. Criado, J.M. Such, V. Botti

Published in: Information Systems Frontiers | Issue 2/2014

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Norms are used in open Multi-Agent Systems as a formal specification of deontic statements aimed at regulating the actions of agents and the interactions among them. In this paper, we propose a set of services facilitating the development of both non-normative and normative agents for norm-governed MAS. Specifically, we propose to provide agents with norm reasoning services. These services will help agent designers/developers to programme agents that consider norm reasoning without having to implement the needed mechanisms to reason about norms by themselves. This article shows how these services perform as well as the results of the experiments that we conducted to evaluate their performance.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
3
See (Savarimuthu and Cranefield 2009) for a review of works on the recognition of norms.
 
4
Note that the NRSs are a set of related functionalities provided to agents. Thus, NRSs cannot be modelled as agents since they are not autonomous goal-driven entities.
 
5
The lists and log files may be implemented as blackboards, a database that can be accessed by the NRSs, or simply as files that are shared with the NRSs.
 
6
Do not confuse with the mail boxes E In and E Out for receiving/sanding events.
 
7
Note that this is a simplification of the FIPA Request Interaction Protocol.
 
8
Note that the effect of the NJS on norm compliance depends on the enforcement actions that agents carry out when they are informed by the NJS about the fulfilment or violation of norms. The definition of sanctioning and rewarding systems is out of the scope of this paper. For this reason, the NJS has not been considered in the experiments.
 
9
For simplicity we assume that there is a perfect execution of actions: i.e., agents never fail when they perform actions.
 
10
Note that in this experiment there is one norm-autonomous agent and it is only affected by a subset of the norms. However, when there is more than one norm-autonomous agent, then the number of events sent to these agents is higher than the number of events that is sent to the NM. This can be observed in the following experiments.
 
11
Notice that there is only one norm-autonomus agent which is affected by a subset of norms and, as a consequence, only the events that determine the activation and expiration of this subset of norms is sent to it. In contrast, the NM receives events that determine the activation and expiration of all norms.
 
12
Norm-reasoning agents could also consider all norms as not active. However, we have not chosen this alternative since they would behave again as norm-unaware
 
13
Note that implementations of proposals made by Felicíssimo et al., Okuyama et al. and Piunti et al. are not available and we cannot evaluate the performance of these implementations. Thus, we have implemented a simulator that computes the number of norms that are complied by agents when they receive the normative information that is described by the algorithms specified by Felicíssimo et al., Okuyama et al. and Piunti et al.
 
Literature
go back to reference Andrighetto G., Campenni M., Conte R., Cecconi F. (2008). Conformity in multiple contexts: imitation vs. norm recognition. In World congress on social simulation (pp. 14–17). Andrighetto G., Campenni M., Conte R., Cecconi F. (2008). Conformity in multiple contexts: imitation vs. norm recognition. In World congress on social simulation (pp. 14–17).
go back to reference Artikis A., & Pitt J. (2001). A formal model of open agent societies. In Proceeding of the international conference on autonomous agents and multiagent systems (AAMAS) (pp. 192–193). Artikis A., & Pitt J. (2001). A formal model of open agent societies. In Proceeding of the international conference on autonomous agents and multiagent systems (AAMAS) (pp. 192–193).
go back to reference Bordini R., Hübner J., Wooldridge M. (2008). Programming multi-agent systems in AgentSpeak using Jason (Vol. 8). Wiley-Interscience. Bordini R., Hübner J., Wooldridge M. (2008). Programming multi-agent systems in AgentSpeak using Jason (Vol. 8). Wiley-Interscience.
go back to reference Broersen J., Dastani M., Hulstijn J., Huang Z., van der Torre, L (2001). The boid architecture: conflicts between beliefs, obligations, intentions and desires. In Proceedings of the fifth international conference on autonomous agents (pp. 9–16). ACM. Broersen J., Dastani M., Hulstijn J., Huang Z., van der Torre, L (2001). The boid architecture: conflicts between beliefs, obligations, intentions and desires. In Proceedings of the fifth international conference on autonomous agents (pp. 9–16). ACM.
go back to reference Burdalo L., Garcia-Fornes A., Julian V., Terrasa A. (2011). TRAMMAS: a tracing model for multiagent systems. Engineering Applications of Artificial Intelligence , 24(7), 1110–1119.CrossRef Burdalo L., Garcia-Fornes A., Julian V., Terrasa A. (2011). TRAMMAS: a tracing model for multiagent systems. Engineering Applications of Artificial Intelligence , 24(7), 1110–1119.CrossRef
go back to reference Conte R., Andrighetto G., Campenní M., Paolucci M. (2007). Emergent and immergent effects in complex social systems. In Proceeding of the AAAI symposium, social and organizational aspects of intelligence (pp. 42–47). Conte R., Andrighetto G., Campenní M., Paolucci M. (2007). Emergent and immergent effects in complex social systems. In Proceeding of the AAAI symposium, social and organizational aspects of intelligence (pp. 42–47).
go back to reference Conte R., Castelfranchi C., Dignum F. (1999). Autonomous norm acceptance. In Intelligent agents V: agents theories, architectures, and languages (pp. 99–112). Conte R., Castelfranchi C., Dignum F. (1999). Autonomous norm acceptance. In Intelligent agents V: agents theories, architectures, and languages (pp. 99–112).
go back to reference Criado N., Argente E., Botti V. (2011a). Open issues for normative multi-agent systems. AI Communications , 24(3), 233–264. Criado N., Argente E., Botti V. (2011a). Open issues for normative multi-agent systems. AI Communications , 24(3), 233–264.
go back to reference Criado N., Argente E., Botti V. (2011b). Thomas: an agent platform for supporting normative multi-agent systems. Journal of Logic and Computation. Criado N., Argente E., Botti V. (2011b). Thomas: an agent platform for supporting normative multi-agent systems. Journal of Logic and Computation.
go back to reference Criado N., Argente E., Noriega P., Botti V. (2012a). Determining the willingness to comply with norms (Extended Abstract). In Proceeding of the international conference on autonomous agents and multiagent systems (AAMAS). Criado N., Argente E., Noriega P., Botti V. (2012a). Determining the willingness to comply with norms (Extended Abstract). In Proceeding of the international conference on autonomous agents and multiagent systems (AAMAS).
go back to reference Criado N., Argente E., Noriega P., Botti V. (2012b). MaNEA: a distributed architecture for enforcing norms in open MAS. Engineering Applications of Artificial Intelligence , 26(1), 76–95.CrossRef Criado N., Argente E., Noriega P., Botti V. (2012b). MaNEA: a distributed architecture for enforcing norms in open MAS. Engineering Applications of Artificial Intelligence , 26(1), 76–95.CrossRef
go back to reference Criado N., Argente E., Noriega P., Botti V. (2013). Human-inspired model for norm compliance decision making. Information Science , 245, 218–239.CrossRef Criado N., Argente E., Noriega P., Botti V. (2013). Human-inspired model for norm compliance decision making. Information Science , 245, 218–239.CrossRef
go back to reference Criado N., Julián V., Botti V., Argente E. (2010). A norm-based organization management system. In Coordination, organizations, institutions and norms in agent systems V (pp. 19–35). Criado N., Julián V., Botti V., Argente E. (2010). A norm-based organization management system. In Coordination, organizations, institutions and norms in agent systems V (pp. 19–35).
go back to reference Daft R. (2003). Organization theory and design. South-Western College. Daft R. (2003). Organization theory and design. South-Western College.
go back to reference Dignum V., & Dignum F. (2002). Towards an agent-based infrastructure to support virtual organisations. In Proceeding of the working conference on infrastructures for virtual enterprises: collaborative business ecosystems and virtual enterprises (pp. 363–370). Dignum V., & Dignum F. (2002). Towards an agent-based infrastructure to support virtual organisations. In Proceeding of the working conference on infrastructures for virtual enterprises: collaborative business ecosystems and virtual enterprises (pp. 363–370).
go back to reference Esteva M., de la Cruz D., Sierra C. (2002). ISLANDER: an electronic institutions editor. In Proceedings of the first international joint conference on autonomous agents and multiagent systems (AAMAS) (Vol. 3, pp. 1045–1052). ACM. Esteva M., de la Cruz D., Sierra C. (2002). ISLANDER: an electronic institutions editor. In Proceedings of the first international joint conference on autonomous agents and multiagent systems (AAMAS) (Vol. 3, pp. 1045–1052). ACM.
go back to reference Felicíssimo C., Chopinaud C., Briot J., Seghrouchni A., Lucena C. (2008). Contextualizing normative open multi-agent systems. In Proceedings of the ACM symposium on applied computing (pp. 52–59). ACM. Felicíssimo C., Chopinaud C., Briot J., Seghrouchni A., Lucena C. (2008). Contextualizing normative open multi-agent systems. In Proceedings of the ACM symposium on applied computing (pp. 52–59). ACM.
go back to reference Ferber J., Michel F., Baez J. (2005). Agre: integrating environments with organizations. In Environments for multi-agent systems (pp. 48–56). Ferber J., Michel F., Baez J. (2005). Agre: integrating environments with organizations. In Environments for multi-agent systems (pp. 48–56).
go back to reference Fogues R.L., Alberola J.M., Such J.M., Espinosa A., Garcia-Fornes A. (2010). Towards dynamic agent interaction support in open multiagent systems. In Proceeding of the international conference of the catalan association for artificial intelligence (CCIA) (Vol. 220, pp. 89–98). IOS Press. Fogues R.L., Alberola J.M., Such J.M., Espinosa A., Garcia-Fornes A. (2010). Towards dynamic agent interaction support in open multiagent systems. In Proceeding of the international conference of the catalan association for artificial intelligence (CCIA) (Vol. 220, pp. 89–98). IOS Press.
go back to reference Foster I., Kesselman C., Tuecke S. (2001). The anatomy of the grid: enabling scalable virtual organizations. International Journal of High Performance Computing Applications , 15(3), 200.CrossRef Foster I., Kesselman C., Tuecke S. (2001). The anatomy of the grid: enabling scalable virtual organizations. International Journal of High Performance Computing Applications , 15(3), 200.CrossRef
go back to reference Garrido A., Giret A., Botti V., Noriega P. (2013). mWater, a case study for modeling virtual markets. In New perspectives on agreement technologies, volume Law (pp. 563–579). Gover: Springer. Garrido A., Giret A., Botti V., Noriega P. (2013). mWater, a case study for modeling virtual markets. In New perspectives on agreement technologies, volume Law (pp. 563–579). Gover: Springer.
go back to reference Hubner J., Boissier O., Kitio R., Ricci A. (2010). Instrumenting multi-agent organisations with organisational artifacts and agents. Journal of Autonomous Agents and Multi-Agent Systems , 20(3), 369–400.CrossRef Hubner J., Boissier O., Kitio R., Ricci A. (2010). Instrumenting multi-agent organisations with organisational artifacts and agents. Journal of Autonomous Agents and Multi-Agent Systems , 20(3), 369–400.CrossRef
go back to reference Kollingbaum M. (2005). Norm-governed practical reasoning agents. PhD thesis, University of Aberdeen. Kollingbaum M. (2005). Norm-governed practical reasoning agents. PhD thesis, University of Aberdeen.
go back to reference López F., Luck M., dInverno M. (2006). A normative framework for agent-based systems. Computational & Mathematical Organization Theory , 12(2), 227–250.CrossRef López F., Luck M., dInverno M. (2006). A normative framework for agent-based systems. Computational & Mathematical Organization Theory , 12(2), 227–250.CrossRef
go back to reference López y López F., & Luck M. (2002). A model of normative multi-agent systems and dynamic relationships. In Proceedings of the workshop on regulated agent-based social systems, LNCS, (Vol. 2934, pp. 259–280). Springer. López y López F., & Luck M. (2002). A model of normative multi-agent systems and dynamic relationships. In Proceedings of the workshop on regulated agent-based social systems, LNCS, (Vol. 2934, pp. 259–280). Springer.
go back to reference Modgil S., Faci N., Meneguzzi F., Oren N., Miles S., Luck M. (2009). A framework for monitoring agent-based normative systems. In Proceeding of the international conference on autonomous agents and multiagent systems (AAMAS) (pp. 153–160). Modgil S., Faci N., Meneguzzi F., Oren N., Miles S., Luck M. (2009). A framework for monitoring agent-based normative systems. In Proceeding of the international conference on autonomous agents and multiagent systems (AAMAS) (pp. 153–160).
go back to reference Nakano T., & Suda T. (2005). Self-organizing network services with evolutionary adaptation. IEEE Transactions on Neural Networks , 16(5), 1269–1278.CrossRef Nakano T., & Suda T. (2005). Self-organizing network services with evolutionary adaptation. IEEE Transactions on Neural Networks , 16(5), 1269–1278.CrossRef
go back to reference Okuyama F., Bordini R., da Rocha Costa A. (2008). A distributed normative infrastructure for situated multi-agent organisations. In Proceeding of the international conference on autonomous agents and multiagent systems (AAMAS) (pp. 1501–1504). Okuyama F., Bordini R., da Rocha Costa A. (2008). A distributed normative infrastructure for situated multi-agent organisations. In Proceeding of the international conference on autonomous agents and multiagent systems (AAMAS) (pp. 1501–1504).
go back to reference Omicini A., Ricci A., Viroli M. (2008). Artifacts in the A&A meta-model for multi-agent systems. Journal of Autonomous Agents and Multi-Agent Systems , 17(3), 432–456.CrossRef Omicini A., Ricci A., Viroli M. (2008). Artifacts in the A&A meta-model for multi-agent systems. Journal of Autonomous Agents and Multi-Agent Systems , 17(3), 432–456.CrossRef
go back to reference Oren N., Panagiotidi S., Vázquez-Salceda J., Modgil S., Luck M., Miles S. (2009). Towards a formalisation of electronic contracting environments. In Coordination, organizations, institutions and norms in agent systems IV (pp. 156–171). Oren N., Panagiotidi S., Vázquez-Salceda J., Modgil S., Luck M., Miles S. (2009). Towards a formalisation of electronic contracting environments. In Coordination, organizations, institutions and norms in agent systems IV (pp. 156–171).
go back to reference Piunti M., Ricci A., Boissier O., Hubner J. (2009). Embodying organisations in multi-agent work environments. In Proceeding of IEEE/WIC/ACM international joint conferences on web intelligence and intelligent agent technologies (WI-IAT) (Vol. 2, pp. 511–518). Piunti M., Ricci A., Boissier O., Hubner J. (2009). Embodying organisations in multi-agent work environments. In Proceeding of IEEE/WIC/ACM international joint conferences on web intelligence and intelligent agent technologies (WI-IAT) (Vol. 2, pp. 511–518).
go back to reference Rubino R., & Sartor G. (2008). Preface. Artificial Intelligence and Law , 16, 1–5.CrossRef Rubino R., & Sartor G. (2008). Preface. Artificial Intelligence and Law , 16, 1–5.CrossRef
go back to reference Savarimuthu B.T.R., & Cranefield S. (2009). A categorization of simulation works on norms. In Normative multi-agent systems, number 09121 in Dagstuhl seminar proceedings. Savarimuthu B.T.R., & Cranefield S. (2009). A categorization of simulation works on norms. In Normative multi-agent systems, number 09121 in Dagstuhl seminar proceedings.
go back to reference Such J.M., Espinosa A., García-Fornes A., Botti V. (2011). Partial identities as a foundation for trust and reputation. Engineering Applications of Artificial Intelligence , 24(7), 1128–1136.CrossRef Such J.M., Espinosa A., García-Fornes A., Botti V. (2011). Partial identities as a foundation for trust and reputation. Engineering Applications of Artificial Intelligence , 24(7), 1128–1136.CrossRef
Metadata
Title
Norm reasoning services
Authors
N. Criado
J.M. Such
V. Botti
Publication date
01-04-2014
Publisher
Springer US
Published in
Information Systems Frontiers / Issue 2/2014
Print ISSN: 1387-3326
Electronic ISSN: 1572-9419
DOI
https://doi.org/10.1007/s10796-013-9444-7

Other articles of this Issue 2/2014

Information Systems Frontiers 2/2014 Go to the issue

Premium Partner