Advertisement

Norms, Institutional Power and Roles: Towards a Logical Framework

  • Robert Demolombe
  • Vincent Louis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4203)

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.

Keywords

Institutional Fact Logical Framework Deontic Logic Situation Calculus Procedure Proc 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Aqvist, L.: Deontic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 2, Reidel (1984)Google Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Chellas, B.F.: Modal Logic: An introduction. Cambridge University Press, Cambridge (1988)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    Hohfeld, W.N.: Some fundamental legal conceptions as applied in judicial reasoning. Yale Law Journal 23 (1913)Google Scholar
  10. 10.
    Jones, A.J., Sergot, M.: A formal characterisation of institutionalised power. Journal of the Interest Group in Pure and Applied Logics 4(3) (1996)Google Scholar
  11. 11.
    Jones, A.J.I.: A logical framework. In: Pitt, J. (ed.) The Open Agent Society, John Wiley and Sons (to appear)Google Scholar
  12. 12.
    Kanger, S.: New foundations of ethical theory. In: Hilpinen, R. (ed.) Deontic logic, pp. 36–58. D. Reidel Publishing Company (1983)Google Scholar
  13. 13.
    Krogh, C.: Obligations in multiagents systems. In: Proceedings of the fifth Scandinavian Conference on AI, IOS Press, Amsterdam (1995)Google Scholar
  14. 14.
    Makinson, D.: On the formal representation of rights relations. Journal of Philosophical Logic 15 (1986)Google Scholar
  15. 15.
    Pörn, I.: Action Theory and Social Science. Some Formal Models. Synthese Library 120 (1977)Google Scholar
  16. 16.
    Searle, J.R.: Speech Acts: An essay in the philosophy of language. Cambridge University Press, New-York (1969)Google Scholar
  17. 17.
    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)Google Scholar
  18. 18.
    Segerberg, K.: Intension, Intention. In: Kahle, R. (ed.) To be announced, CSLI Publications (2004)Google Scholar
  19. 19.
    von Wright, G.H.: Norm and Action. Routledge and Kegan (1963)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Robert Demolombe
    • 1
  • Vincent Louis
    • 2
  1. 1.ONERA ToulouseFrance
  2. 2.France Telecom Research & DevelopmentLannionFrance

Personalised recommendations