Abstract
This paper explores a hitherto largely ignored dimension to norms in multi-agent systems: the normative role played by optimization objectives. We introduce the notion of optimization norms which constrain agent behaviour in a manner that is significantly distinct from norms in the traditional sense. We argue that optimization norms underpin most other norms, and offer a richer representation of these. We outline a methodology for identifying the optimization norms that underpin other norms. We then define a notion of compliance for optimization norms, as well as a notion of consistency and inconsistency resolution. We offer an algebraic formalization of valued optimization norms which allows us to explicitly reason about degrees of compliance and graded sanctions. We then outline an approach to decomposing and distributing sanctions amongst multiple agents in settings where there is joint responsibility.
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
Boer, A., van Engers, T., Winkels, R.: Mixing legal and non-legal norms. In: Proceedings of the 2005 Conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference, Amsterdam, The Netherlands, pp. 25–36. IOS Press (2005)
van der Torre, L., Tan, Y.H.: Contrary-to-duty reasoning with preference-based dyadic obligations. Annals of Mathematics and AI 27, 49–78 (1989)
Frank Dignum, D.K., Sonenberg, L.: From desires, obligations and norms to goals. Cognitive Science Quarterly 2, 407–430 (2002)
Panagiotidi, S., Vazquez-Salceda, J.: Norm-aware planning: Semantics and implementation. In: 2011 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT), vol. 3, pp. 33–36 (2011)
Mares, E.D., MacNamara, P.: Supererogation in deontic logic: Metatheory for dwe and some close neighbours. Studia Logica 57, 397–415 (1997)
Simon, H.A.: Models of bounded rationality. MIT Press, Cambridge (1982)
Morrison, E., Ghose, A.K., Koliadis, G.: Dealing with imprecise compliance requirements. In: Proceedings of the 2nd International Workshop on Dynamic and Declarative Business Processes (DDBP 2009). IEEE Computer Society Press (2009)
Koliadis, G., Desai, N., Narendra, N.C., Ghose, A.K.: Analyst-mediated contextualization of regulatory policies. In: Proceedings of the IEEE International Services Computing Conference (IEEE SCC 2010), Miami, USA, pp. 281–288. IEEE Computer Society Press (July 2010)
Governatori, G.: Representing business contracts in ruleml. International Journal of Cooperative Information Systems 14, 181–216 (2005)
Udupi, Y.B., Singh, M.P.: Contract enactment in virtual organizations: A commitment-based approach. In: Proceedings of the 21st National Conference on Artificial Intelligence, AAAI (July 2006)
Villatoro, D., Andrighetto, G., Sabater-Mir, J., Conte, R.: Dynamic sanctioning for robust and cost-efficient norm compliance. In: IJCAI, pp. 414–419 (2011)
Boella, G., van der Torre, L.W.N.: Negotiating the distribution of obligations with sanctions among autonomous agents. In: Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI 2004, pp. 13–17 (2004)
von Wright, G.H.: Deontic logic. Mind 60(237), 1–15 (1951)
Elster, J.: Fairness and norms. Social Research: An International Quarterly 73(2), 365–376 (2006)
Bistarelli, S., Montanari, U., Rossi, F., Schiex, T., Verfaillie, G., Fargier, H.: Semiring-based csps and valued csps: Frameworks, properties, and comparison. Constraints 4(3), 199–240 (1999)
Governatori, G., Milosevic, Z.: An approach for validating bcl contract specifications. In: 2nd EDOC Workshop on Contract Architectures and Languages (CoALA 2005). IEEE Digital Library (2005)
Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J.W., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038, Springer, Heidelberg (1996)
Sen, A.K.: Internal consistency of choice. Econometrica 61, 495–521 (1993)
Alchourron, C., Gardednfors, P., Makinson, D.: On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic 50, 510–530 (1985)
Chevaleyre, Y., Endriss, U., Lang, J., Maudet, N.: A Short Introduction to Computational Social Choice. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, pp. 51–69. Springer, Heidelberg (2007)
Dasgupta, A., Ghose, A.K.: Implementing reactive bdi agents with user-given constraints and objectives. International Journal of Agent-Oriented Software Engineering 4(2), 141–154 (2010)
Dasgupta, A., Ghose, A.K.: BDI Agents with Objectives and Preferences. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds.) DALT 2010. LNCS, vol. 6619, pp. 22–39. Springer, Heidelberg (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ghose, A., Savarimuthu, T.B.R. (2013). Norms as Objectives: Revisiting Compliance Management in Multi-agent Systems. In: Aldewereld, H., Sichman, J.S. (eds) Coordination, Organizations, Institutions, and Norms in Agent Systems VIII. COIN 2012. Lecture Notes in Computer Science(), vol 7756. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37756-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-37756-3_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-37755-6
Online ISBN: 978-3-642-37756-3
eBook Packages: Computer ScienceComputer Science (R0)