Abstract
In nowadays open interaction systems where autonomous, heterogeneous and self-interested agents may interact, it is crucial to be able to declaratively specify the norms that regulate the actions of the interacting parties and to be able to monitor their behaviour in order to check whether it is compliant or not with the norms. In this chapter we propose and discuss the advantages of using semantic web languages, tools, and techniques for proposing an application independent model that should be used for the declarative specification and monitoring of obligations. Those obligations are characterized by a class of activation and deactivation events, a class of content actions that may satisfy the obligation and a deadline within which an action belonging to the content class has to be performed. The main contribution of this chapter is to show how it is possible to use semantic web technologies, and in particular OWL 2 DL as formal language for the specification and monitoring of complex obligations and to study how much it is feasible to use an OWL ontology to represent the state of a dynamic open interaction system.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Arcos, J.L., Esteva, M., Noriega, P., Rodríguez-Aguilar, J.A., Sierra, C.: Engineering open environments with electronic institutions. Engineering applications of artificial intelligence 18(2), 191–204 (2005)
Artikis, A., Sergot, M., Pitt, J.: Animated Specifications of Computational Societies. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), pp. 1053–1061. ACM Press, New York (2002)
Boella, G., Noriega, P., Pigozzi, G., Verhagen, H. (eds.): Normative Multi-Agent Systems, Dagstuhl, Germany. Dagstuhl Seminar Proceedings, vol. 09121. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2009)
da Silva, V.T.: From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behavior of agents. Autonomous Agents and Multi-Agent Systems 17(1), 113–155 (2008)
Dastani, M., Grossi, D., Meyer, J.-J., Tinnemeier, N.: Normative multi-agent programs and their logics. In: Boella, G., Noriega, P., Pigozzi, G., Verhagen, H. (eds.) Normative Multi-Agent Systems, Dagstuhl, Germany. Dagstuhl Seminar Proceedings, vol. 09121, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2009)
Erl, T.: Service-Oriented Architecture: Concepts, Technology, and Design. Prentice Hall PTR, Upper Saddle River (2005)
Faci, N., Modgil, S., Oren, N., Meneguzzi, F., Miles, S., Luck, M.: Towards a monitoring framework for agent-based contract systems. In: Klusch, M., Pěchouček, M., Polleres, A. (eds.) CIA 2008. LNCS (LNAI), vol. 5180, pp. 292–305. Springer, Heidelberg (2008)
Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), pp. 535–542. ACM Press, New York (2002)
Fornara, N., Colombetti, M.: Specifying Artificial Institutions in the Event Calculus. In: Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, Information science reference, ch. XIV, pp. 335–366. IGI Global (2009)
Fornara, N., Colombetti, M.: Ontology and time evolution of obligations and prohibitions using semantic web technology. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS, vol. 5948, pp. 101–118. Springer, Heidelberg (2010)
Fornara, N., Viganò, F., Colombetti, M.: Agent communication and artificial institutions. Autonomous Agents and Multi-Agent Systems 14(2), 121–142 (2007)
Fornara, N., Viganò, F., Verdicchio, M., Colombetti, M.: Artificial institutions: A model of institutional reality for open multiagent systems. Artificial Intelligence and Law 16(1), 89–105 (2008)
García-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.: Constraint rule-based programming of norms for electronic institutions. Autonomous Agents and Multi-Agent Systems 18(1), 186–217 (2009)
Governatori, G., Rotolo, A.: How do agents comply with norms? In: Boella, G., Noriega, P., Pigozzi, G., Verhagen, H. (eds.) Normative Multi-Agent Systems, Dagstuhl, Germany. Dagstuhl Seminar Proceedings, vol. 09121, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2009)
Kagal, L., Hendler, J., Berners-Lee, T.: Introduction. In: Web Semantics: Science, Services and Agents on the World Wide Web, vol. 7(1), pp. vii–ix (2009); The Semantic Web and Policy
Lomuscio, A., Penczek, W., Solanki, M., Szreter, M.: Runtime monitoring of contract regulated web services (extended abstract). In: Proceedings of the 9th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS 2010), Toronto, Canada, pp. 1449–1450. ACM, New York (2010)
Singh, M.P., Chopra, A.K.: Correctness properties for multiagent systems. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS, vol. 5948, pp. 192–207. Springer, Heidelberg (2010)
Uszok, A., Bradshaw, J.M., Lott, J., Breedy, M., Bunch, L., Feltovich, P., Johnson, M., Jung, H.: New developments in ontology-based policy management: Increasing the practicality and comprehensiveness of KAoS. In: IEEE International Workshop on Policies for Distributed Systems and Networks, vol. 0, pp. 145–152 (2008)
van der Torre, G.E.L., Boella, G., Verhagen, H. (eds.): Special Issue on Normative Multiagent Systems. Autonomous Agents and Multi-Agent Systems, vol. 17. Springer, Netherlands (August 2008)
Vázquez-Salceda, J., Dignum, V., Dignum, F.: Organizing multiagent systems. Autonomous Agents and Multi-Agent Systems 11(3), 307–360 (2005)
Weske, M.: Business. In: Process Management Concepts, Languages, Architectures. Springer, Heidelberg (2008)
Wooldridge, M.: Verifiable semantics for agent communication languages. In: Demazeau, Y. (ed.) Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS 1998), Washington, DC, USA. IEEE Computer Society, Los Alamitos (1998)
Xu, L.: A Framework for E-markets: Monitoring Contract Fulfillment. In: Bussler, C.J., Fensel, D., Orlowska, M.E., Yang, J. (eds.) WES 2003. LNCS, vol. 3095, pp. 51–61. Springer, Heidelberg (2004)
Yolum, P., Singh, M.: Reasoning about commitment in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence 42, 227–253 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Fornara, N. (2011). Specifying and Monitoring Obligations in Open Multiagent Systems Using Semantic Web Technology. In: Elçi, A., Koné, M.T., Orgun, M.A. (eds) Semantic Agent Systems. Studies in Computational Intelligence, vol 344. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18308-9_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-18308-9_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-18307-2
Online ISBN: 978-3-642-18308-9
eBook Packages: EngineeringEngineering (R0)