Abstract
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents. It specifies global goals of the system independently from those of the specific agents that populate the system. Both the norms that regulate interaction between agents, as well as the contextual meaning of those interactions are important aspects when specifying the organizational structure. Omni integrates all this aspects in one framework. In order to make design of the multi-agent system manageable, we distinguish three levels of abstraction with increasing implementation detail. All dimensions of Omni have a formal logical semantics, which ensures consistency and possibility of verification of the different aspects of the system. Omni is therefore utmost suitable for the modelling of all types of MAS from open to closed environments.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Abdelkader, G.: Requirements for achieving software agents autonomy and defining their responsibility. In: Proc. Autonomy Workshop at AAMAS 2003 (2003)
Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: TROPOS: An agent-oriented software development methodology. Journal of Autonomous Agents and Multi-Agent Systems (to appear)
Dastani, M., Dignum, V., Dignum, F.: Role assignment in open agent societies. In: Proc. AAMAS 2003 (2003)
Dignum, F.: Autonomous Agents with Norms. AI and Law 7, 69–79 (1999)
Dignum, V.: A Model for Organizational Interaction: based on Agents, founded in Logic. SIKS Dissertation Series 2004-1. SIKS, PhD Thesis (2004)
Dignum, V., Dignum, F.: Modeling agent societies: Coordination frameworks and institutions. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS (LNAI), vol. 2258, pp. 191–204. Springer, Heidelberg (2001)
Esteva, M., Padget, J., Sierra, C.: Formalizing a language for institutions and norms. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 348–366. Springer, Heidelberg (2002)
Grossi, D., Dignum, F.: Abstract and concrete norms in institutions. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS (LNAI), vol. 3228, Springer, Heidelberg (2004)
Howden, N., Rönquist, R., Hodgson, A., Lucas, A.: Jack - summary of an agent infrastructure. In: 5th International Conference on Autonomous Agents (2001)
Meyer, J.-J.Ch.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame J. of Formal Logic 29(1), 109–136 (1988)
Omicini, A.: Soda: Societies and infrastructures in the analysis and design of agent-based systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 185–193. Springer, Heidelberg (2001)
Omicini, A.: Towards a notion of agent coordination context. In: Marinescu, D., Lee, C. (eds.) Process Coordination and Ubiquitous Computing, pp. 187–200. CRC-Press, Boca Raton (2002)
Parunak, H.V.D., Odell, J.: Representing social structures in UML. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, p. 1. Springer, Heidelberg (2002)
Rodriguez, J.A.: On the Design and Construction of Agent-mediated Electronic Institutions. PhD thesis, Institut d’Investigació en Intel.ligència Artificial (IIIA) (2001)
Smith, I., Cohen, P., Bradshaw, J., Greaves, M., Holmback, H.: Designing conversation policies using joint intention theory. In: Proc. ICMAS 1998, pp. 269–276. IEEE Press, Los Alamitos (1998)
Vasconcelos, W., Sabater, J., Sierra, C., Querol, J.: Skeleton-based agent development for electronic institutions. In: Proc. AAMAS 2002 (2003)
Vázquez-Salceda, J.: The Role of Norms and Electronic Institutions in Multi-Agent Systems. In: Whitestein Series in Software Agent Technology, Birkhauser Verlag AG, Switzerland (2004)
Vázquez-Salceda, J., Dignum, F.: Modelling electronic organizations. In: Mařík, V., Müller, J.P., Pěchouček, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol. 2691, pp. 584–593. Springer, Heidelberg (2003)
Wooldridge, M., Jennings, N.R., Kinny, D.: The Gaia Methodology for Agent-Oriented Analysis and Design. Autonomous Agents and Multi-Agent Systems 3(3), 285–312 (2000)
Zambonelli, F.: Abstractions and infrastructures for the design and development of mobile agent organizations. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, pp. 245–262. Springer, Heidelberg (2002)
Zambonelli, F., Jennings, N., Wooldridge, M.: Organizational abstractions for the analysis and design of multi-agent systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 98–114. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dignum, V., Vázquez-Salceda, J., Dignum, F. (2005). OMNI: Introducing Social Structure, Norms and Ontologies into Agent Organizations. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds) Programming Multi-Agent Systems. ProMAS 2004. Lecture Notes in Computer Science(), vol 3346. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32260-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-32260-3_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24559-9
Online ISBN: 978-3-540-32260-3
eBook Packages: Computer ScienceComputer Science (R0)