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

Autonomous Agents and Multi-Agent Systems

Volumn 6, Issue 2, 2003, Pages 145-184

  Pacheco, Olga ^a   Carmo, José ^b  

^a UNIVERSITY OF MINHO   (Portugal)

^b UNIVERSITY OF MADEIRA   (Portugal)

Author keywords

Action and deontic logic; Action in a role; Agents interaction; Contracts; Institutionalized agents; Normative systems; Organized collective agency; Role

Indexed keywords

AGENTS INTERACTION; NORMATIVE SYSTEMS;

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; MATHEMATICAL MODELS; PUBLIC POLICY; SOCIETIES AND INSTITUTIONS; STRESSES;

MULTI AGENT SYSTEMS;

EID: 0345871221     PISSN: 13872532     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1021884118023     Document Type: Conference Paper

References (33)

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.
2. N. Belnap and M. Perloff, "Seeing to it that: A canonical form for agentives," Theoria, vol. 54, pp. 175-199, 1989.
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.
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.
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.
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, 1'Aquila (Italy), 2000.
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.
8. C. Castelfranchi, "All I understand about power (and something more)," in 2nd SARA Workshop, Lisbon, 2000.
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.
10. B. J. Chellas, Modal Logic - An Introduction, Cambridge University Press, 1980.
11. B. J. Chellas, "Time and Modality in the Logic of Agency," Studio Logica, vol. 51, pp. 485-517, 1992.
12. J. Coleman, Foundations of Social Theory, The Belknap Press of Harvard University Press, 1990.
13. F. Cuppens, "Roles and deontic logic," 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.
14. M. Gilbert, On Social Facts, Princeton University Press, 1989.
15. R. Hilpinen (ed.), Deontic Logic: Introductory and Systematic Readings, D. Reidel: Dordrecht, 1971.
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 Wight, 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.
17. 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 Wight, 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.
18. S. Kanger, New Foundations for Ethical Theory, Stockholm, 1957. (Reprinted in [15].)
19. S. Kanger, "Law and logic," Theoria, vol. 38, 1972.
20. 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.
21. 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.
22. L. Lindahl, Position and Change - A Study in Law and Logic, Synthese Library, vol. 112, D. Reidel: Dordrecht, 1977.
23. 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.
24. "Normatics: The characterisation of computer systems and complex organisations as normative systems," ESPRIT III BRA proposal, 1991.
25. 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.
26. 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.
27. 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.
28. I. Pörn, The Logic of Power, Blackwell: Oxford, 1970.
29. I. Pörn, Action Theory and Social Science: Some Formal Models, Synthese Library, vol. 120, D. Reidel: Dordrecht, 1977.
30. 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.
31. N. Skarmeas, "Modeling organizations using roles and agents," in Proceedings of 5th Hellenic Conference on Informatics, Athens, 1995.
32. R. Tuomela, "The importance of us: a philosophical study of basic social notions," in Stanford Series in Philosophy, Stanford University Press, 1995.
33. 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.