Abstract
In the design of the organisation of a multiagent system the concept of role is fundamental. We informally analyse this concept through examples. Then we propose a more formal definition that can be decomposed into: the conditions that have to be satisfied to hold a role, the norms and institutional powers that apply to a role holder. Finally, we present a modal logical framework to represent these concepts.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Aqvist, L.: Deontic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 2, Reidel (1984)
Broersen, J., Dignum, F., Dignum, V., Meyer, J.-J.C.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, Springer, Heidelberg (2004)
Carmo, J., Jones, A.J.I.: Deontic Logic and Contrary-to-Duties. In: Gabbay, D. (ed.) Handbook of Philosphical Logic (rev. Edition), Reidel (to appear)
Chellas, B.F.: Modal Logic: An introduction. Cambridge University Press, Cambridge (1988)
Dastani, M., Dignum, V., Dignum, F.: Role-assignement in open agent societies. In: Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (2003)
Demolombe, R., Bretier, P., Louis, V.: Formalisation de l’obligation de faire avec délais. Troisiémes Journées francophones Modéles Formels de l’Interaction (2005)
Demolombe, R., Hamon, E.: What does it mean that an agent is performing a typical procedure? A formal definition in the Situation Calculus. In: Castelfranci, C., Lewis Johnson, W. (eds.) First International Joint Conference on Autonomous Agents and Multiagent Systems, ACM Press, New York (2002)
Fasli, M.: On commitments, roles and obligations. In: Second International Workshop of Central Eastern Europe on Multi-Agent Systems on: From theory to practice in multi-agent systems (2001)
Hohfeld, W.N.: Some fundamental legal conceptions as applied in judicial reasoning. Yale Law Journal 23 (1913)
Jones, A.J., Sergot, M.: A formal characterisation of institutionalised power. Journal of the Interest Group in Pure and Applied Logics 4(3) (1996)
Jones, A.J.I.: A logical framework. In: Pitt, J. (ed.) The Open Agent Society, John Wiley and Sons (to appear)
Kanger, S.: New foundations of ethical theory. In: Hilpinen, R. (ed.) Deontic logic, pp. 36–58. D. Reidel Publishing Company (1983)
Krogh, C.: Obligations in multiagents systems. In: Proceedings of the fifth Scandinavian Conference on AI, IOS Press, Amsterdam (1995)
Makinson, D.: On the formal representation of rights relations. Journal of Philosophical Logic 15 (1986)
Pörn, I.: Action Theory and Social Science. Some Formal Models. Synthese Library 120 (1977)
Searle, J.R.: Speech Acts: An essay in the philosophy of language. Cambridge University Press, New-York (1969)
Segerberg, K.: Some Meinong/Chisholm thesis. In: Segerberg, K., Sliwinski, K. (eds.) Logic, Law, Morality. A festrichft in honor of Lennart Aqvist, vol. 51, pp. 67–77. Uppsala Philosophical Studies (2003)
Segerberg, K.: Intension, Intention. In: Kahle, R. (ed.) To be announced, CSLI Publications (2004)
von Wright, G.H.: Norm and Action. Routledge and Kegan (1963)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Demolombe, R., Louis, V. (2006). Norms, Institutional Power and Roles: Towards a Logical Framework. In: Esposito, F., Raś, Z.W., Malerba, D., Semeraro, G. (eds) Foundations of Intelligent Systems. ISMIS 2006. Lecture Notes in Computer Science(), vol 4203. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11875604_58
Download citation
DOI: https://doi.org/10.1007/11875604_58
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45764-0
Online ISBN: 978-3-540-45766-4
eBook Packages: Computer ScienceComputer Science (R0)