Advertisement

Autonomous Agents and Multi-Agent Systems

, Volume 6, Issue 2, pp 145–184 | Cite as

A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction

  • Olga Pacheco
  • José Carmo
Article

Abstract

In this article we propose a role based model for the specification of organized collective agency, based on the legal concept of artificial person and on the normative perspective of organizational systems. We focus on the analysis of groups of agents (humans or not) that want to act collectively in a (more or less) permanent basis, and in a stable and organized way, as it is the typical case of organizations. We argue that in those cases such groups of agents should give rise to a new agent, that we call of institutionalized agent, with its own identity, whose structure is essentially defined through the characterization of a set of roles and whose behavior is determined by the acts of the agents that play such roles. We also present a deontic and action modal logic that captures the concept of acting in a role and relates it with the deontic notions of obligation, permission and prohibition. This logic is used in the formal specification of institutionalized agents and of societies of agents and in the rigorous analysis of them. We pay particular attention to the interaction between agents through contracts or other normative relations. A high level specification language is also suggested.

organized collective agency institutionalized agents agents interaction normative systems contracts role action in a role action and deontic logic 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    M. Abadi, M. Burrows, B. Lampson, and G. Plotkin, “A calculus for access control in distributed system, ” ACM Transactions on Programming Languages and Systems, vol. 15, no.4, pp. 706–734, 1993.Google Scholar
  2. 2.
    N. Belnap and M. Perloff, “Seeing to it that: A canonical form for agentives, ” Theoria, vol. 54, pp. 175–199, 1989.Google Scholar
  3. 3.
    E. Bertino, E. Ferrari, and V. Atluri, “A flexible model for the specification and enforcement of authorizations in workflow management systems, ” in Proceedings of 2nd ACM Workshop on Role Based Access Control, 1997, pp. 1–12.Google Scholar
  4. 4.
    M. Brown and J. Carmo, “Report on the Third International Workshop on Deontic Logic in Computer Science, ” Knowledge Engineering Review, vol. 11, no.3, pp. 289–292, 1996.Google Scholar
  5. 5.
    J. Carmo and O. Pacheco, “Deontic and action logics for collective agency and roles, ” in R. Demolombe and R. Hilpinen (eds.), Proceedings of the Fifth International Workshop on Deontic Logic in Computer Science (DEON'00), ONERA-DGA: Toulouse, 2000, pp. 93–124.Google Scholar
  6. 6.
    J. Carmo and O. Pacheco, “Logics for modeling businesses and agents interaction, ” in Proceedings of the International Conference on Advances in Infrastructure for Electronic Business, Science and Education on the Internet, SSGRR-2000, http://www.ssgrr.it/en/ssgrr2000/proceedings.htm, l'Aquila (Italy), 2000.Google Scholar
  7. 7.
    J. Carmo and O. Pacheco, “Deontic and action logics for organized collective agency, modeled through institutionalized agents and roles, ” Fundamenta Informaticae, vol. 48, no.2/3, pp. 129–163, 2001.Google Scholar
  8. 8.
    C. Castelfranchi, “All I understand about power (and something more), ” in 2nd SARA Workshop, Lisbon, 2000.Google Scholar
  9. 9.
    C. Castelfranchi, “Formalising the Informal?” in R. Demolombe and R. Hilpinen (eds.), Proceedings of the Fifth International Workshop on Deontic Logic in Computer Science (DEON'00), ONERA-DGA: Toulouse, 2000, pp. 3–5.Google Scholar
  10. 10.
    B. J. Chellas, Modal Logic·An Introduction, Cambridge University Press, 1980.Google Scholar
  11. 11.
    B. J. Chellas, “Time and Modality in the Logicof Agency, ” Studia Logica, vol. 51, pp. 485–517, 1992.Google Scholar
  12. 12.
    J. Coleman, Foundations of Social Theory, The Belknap Press of Harvard University Press, 1990.Google Scholar
  13. 13.
    F. Cuppens, “Roles and deonticlogic, ” in A. J. I. Jones and M. Sergot (eds.), Proceedings of Second International Workshop on Deontic Logic in Computer Science (DEON'94), Complex 1/94 NRCCL: Oslo, 1994, pp. 86–106.Google Scholar
  14. 14.
    M. Gilbert, On Social Facts, Princeton University Press, 1989.Google Scholar
  15. 15.
    R. Hilpinen (ed.), Deontic Logic: Introductory and Systematic Readings, D. Reidel: Dordrecht, 1971.Google Scholar
  16. 16.
    A. J. I. Jones and M. J. Sergot, “A formal characterization of institutionalized power, ” Journal of the IGPL, vol. 4, no.3, pp. 429–445, 1996. Reprinted in E. Garzón Valdés, W. Krawietz, G. H. von Wright, and R. Zimmerling (eds.), Normative Systems in Legal and Moral Theory (Festschrift for Carlos E. Alchourrón and Eugenio Bulygin), Duncker & Humblot: Berlin, 1997, pp. 349–369.Google Scholar
  17. 17.
    S. Kanger, New Foundations for Ethical Theory, Stockholm, 1957. (Reprinted in [15].)Google Scholar
  18. 18.
    S. Kanger, “Law and logic, ” Theoria, vol. 38, 1972.Google Scholar
  19. 19.
    S. Kirn, “Organizational intelligence and distributed artificial intelligence, ” in G. M. P. O'Hare and N. R. Jennings (eds.), Foundations of Distributed Artificial Intelligence, John Wiley & Sons, 1996, pp. 505–526.Google Scholar
  20. 20.
    B. Lampson, M. Abadi, M. Burrows, and E. Wobber, “Authentication in Distributed Systems: Theory and Practice, ” ACM Transactions on Computer Systems, vol. 10, no.4, pp. 265–310, 1992.Google Scholar
  21. 21.
    L. Lindahl, Position and Change·A Study in Law and Logic, Synthese Library, vol. 112, D. Reidel: Dordrecht, 1977.Google Scholar
  22. 22.
    F. Massacci, “Reasoning about security: A logic and a decision method for role-based access control, ” in D. Gabbay et al. (eds.), Proc. of the Int. Joint Conference on Qualitative and Quantitative Practical Reasoning, LNAI, vol. 1244, Springer-Verlag, 1997, pp. 421–435.Google Scholar
  23. 23.
    “Normatics: The characterisation of computer systems and complex organisations as normative systems, ” ESPRIT III BRA proposal, 1991.Google Scholar
  24. 24.
    O. Pacheco and J. Carmo, “Collective agents: From law to AI, ” in Proceedings of 2nd French-American Conferenceon Law and Artificial Intelligence, Nice, 1998. A revised version was published in “Les agents collectifs: du Droit vers l'Intelligence artificielle, ” in D. Bourcier, P. Hasset, and C. Roquilly (eds.), Droit et Intelligence artificielle·une Revolution de la Connaissance Juridique, editions Romillat, collection “Droit et Technologies, ” 2000, pp. 93–109.Google Scholar
  25. 25.
    H. Van D. Parunak, “Applications of distributed artificial intelligence in industry, ” in G. M. P. O'Hare and N. R. Jennings (eds.), Foundations of Distributed Artificial Intelligence, John Wiley & Sons, 1996, pp. 139–164.Google Scholar
  26. 26.
    I. Pörn, The Logic of Power, Blackwell: Oxford, 1970.Google Scholar
  27. 27.
    I. Pörn, Action Theory and Social Science: Some Formal Models, Synthese Library, vol. 120, D. Reidel: Dordrecht, 1977.Google Scholar
  28. 28.
    F. Santos, A. J. I. Jones, and J. Carmo, “Responsibility for action in organizations: A formal model, ” in G. Holmstrom-Hintikka and R. Tuomela (eds.), Contemporary Action Theory, vol. II (Social Action), Synthese Library, vol. 267, Kluwer, 1997, pp. 333–350.Google Scholar
  29. 29.
    N. Skarmeas, “Modeling organizations using roles and agents, ” in Proceedings of 5th Hellenic Conference on Informatics, Athens, 1995.Google Scholar
  30. 30.
    R. Tuomela, “The importance of us: a philosophical study of basic social notions, ” in Stanford Series in Philosophy, Stanford University Press, 1995.Google Scholar
  31. 31.
    M. Wooldridge, N. R. Jennings, and D. Kinny, “The Gaia methodology for agent-oriented analysis and design, ” Autonomous Agents and Multi-Agent Systems, vol. 3, no.3, pp. 285–312, 2000.Google Scholar

Copyright information

© Kluwer Academic Publishers 2003

Authors and Affiliations

  • Olga Pacheco
    • 1
  • José Carmo
    • 2
  1. 1.Department of Computer ScienceUniversity of Minho, Campus de GualtarBargaPortugal
  2. 2.Department of MathematicsUniversity of Madeira, Campus da PenteadaFunchalPortugal

Personalised recommendations