A formal road from institutional norms to organizational structures

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue , 2007, Pages 628-635

  Grossi, Davide ^a   Dignum, Frank ^a   Meyer, John Jules Ch ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Institutions; Logic; Norms; Organizational structures

Indexed keywords

FORMAL SEMANTICS; INSTITUTIONS; LOGIC; NORMS; ORGANIZATIONAL STRUCTURES; REFINEMENT PROCESS;

AUTONOMOUS AGENTS; FORMAL METHODS; FUZZY CLUSTERING; HEURISTIC METHODS; INFORMATION THEORY; OPEN SYSTEMS; SEMANTICS;

SOCIETIES AND INSTITUTIONS;

EID: 60349125328     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1329125.1329234     Document Type: Conference Paper

References (26)

1. G. Azzoni. Il cavallo di caligola. In Ontologia sociale potere deontico e regole costitutive, pages 45-54. Quodlibet, Macerata, Italy, 2003.
2. F. Baader, S. Brandt, and C. Lutz. Pushing the ε envelope. In Proceedings of IJCAI'05, Edinburgh, UK, 2005. Morgan-Kaufmann Publishers.
3. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook. Cambridge Univ. Press, Cambridge, 2002.
4. C. Castelfranchi. The micro-macro constitution of power. ProtoSociology, 18:208-268, 2003.
5. D. D. Harel amd Kozen and J. Tiuryn. Dynamic logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic: Volume II, pages 497-604. Reidel, Dordrecht, 1984.
6. M. Esteva, D. de la Cruz, and C. Sierra. ISLANDER: an electronic institutions editor. In Proceedings of AAMAS'02, pages 1045-1052, New York, NY, USA, 2002. ACM Press.
7. M. Esteva. J. Rodríguez-Aguilar, B. Rosell, and J. Arcos. Ameli: An agent-based middleware for electronic institutions. In Proceedings of AAMAS'04, New York, US, July 2004.
8. M. S. Fox. An organizational view of distributed systems. IEEE Trans. Syst. Man Cyber, 11(1)70 - 80, 1981.
9. C. Ghidini and F. Giunchiglia. A semantics for abstraction. In R. de Mantaras and L. Saitta, editors, Proceedings of ECAI'04, pages 343-347, 2004.
10. D. Grossi, H. Aldewereld, J. Vázquez-Salceda, and F. Dignum. Ontological aspects of the implementation of norms in agent-based electronic institutions. Computational & Mathematical Organization Theory, 12(2-3):251-275, April 2006.
11. D. Grossi, F. Dignum, V Dignum, M. Dastani, and L. Royakkers. Structural evaluation of agent organizations. In Proceedings of AAMAS'06, pages 1110-1112, Hakodate, Japan, May 2006. ACM Press.
12. D. Grossi, F. Dignum, and J.-J. C. Meyer. Context in categorization. In L. Serafini and P. Bouquet, editors, Proceedings of CRR '05, volume 136 of CEUR Workshp Proceedings, Paris, June 2005.
13. D. Grossi, J.-J. Meyer, and F. Dignum. Classificatory aspects of counts-as: An analysis in modal logic. Journal of Logic and Computation, October 2006. doi:10.1093/logcom/exl027.
14. J. F. Hübner, J. S. Sichman, and O. Boissier. Moise+: Towards a structural functional and deontic model for mas organization. In Proceedings of AAMAS'02, Bologna, Italy, July 2002. ACM Press.
15. A. J. I. Jones and M. Sergot. On the characterization of law and computer systems: The normative systems perspective. Deontic Logic in Computer Science, pages 275-307, 1993.
16. J. Krabbendam and J.-J. C. Meyer. Contextual deontic logics. In P. McNamara and H. Prakken, editors, Norms, Logics and Information Systems, pages 347-362, Amsterdam, 2003. IOS Press.
17. J.-J. Meyer, F. de Boer, R. M. van Eijk, K. V Hindriks, and W. van der Hoek. On programming karo agents. Logic Journal of the IGPL, 9(2), 2001.
18. D. C. North. Institutions, Institutional Change and Economic Performance. Cambridge University Press, Cambridge, 1990.
19. A. Omicini, A. Ricci, A. Viroli, C. Castelfranchi, and L. Tummolini. Coordination artifacts: Environment-based coordination for intelligent agents. In Proceedings of AAMAS'04, 2004.
20. I. Pörn. Action theory and social science. Some formal models. Reidel Publishing Company, Dordrecht, The Netherlands, 1977.
21. S. Pufendorf. De Jure Naturae et Gentium. Amsterdam, 1688. English translation, Clarendon, 1934.
22. A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of KR'91), pages 473-484. Morgan Kaufmann: San Mateo, CA, USA, 1991.
23. D. W. P. Ruiter. A basic classification of legal institutions. Ratio Juris, 10:357-371, 1997.
24. M. Schaerf and M. Cadoli. Tractable reasoning via approximation. Artificial Intelligence, 74(2):249-310, 1995.
25. J. Searle. The Construction of Social Reality. Free Press, 1995.
26. J. Vázquez-Salceda. The role of Norms and Electronic Institutions in Multi-Agent Systems. Birkhuser Verlag AG, 2004.