Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review
In this short contribution we explain how our research has evolved from the publication of the following paper  with respect to its relevant aspects. This paper proposes a model of norms whose content is related to time, which are specified at design time and therefore are expressed in terms of roles played by the agents. Those norms have an activation event that is used to express the template of the events that when happen, provided that certain conditions hold, transform the norm in a social commitment. This dynamic evolution of norms is formalized by means of ECA-rules. Another relevant contribution is that the model of norms presented in this paper makes it possible to specify two types of sanctions for norms enforcement: active sanctions and passive sanctions.
KeywordsMultiagent System Java Program Social Commitment Event Calculus Norm Enforcement
Unable to display preview. Download preview PDF.
- 1.Fornara, N.: Specifying and Monitoring Obligations in Open Multiagent Systems using Semantic Web Technology. In: Semantic Agent Systems: Foundations and Applications. SCI, ch. 2, pp. 25–46. Springer, Heidelberg (2011)Google Scholar
- 3.Fornara, N., Colombetti, M.: Specifying Artificial Institutions in the Event Calculus. In: Dignum, V. (ed.) Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models. Information science reference, ch. XIV, pp. 335–366. IGI Global (2009)Google Scholar
- 5.Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC (2009)Google Scholar