A Formal Model of Multi-Agent Organisations

• Autorzy: Köhler M.
• Języki publikacji: EN

Abstrakty

EN

Agent oriented software engineering is seen as the approach taking object oriented approaches one step ahead. The design of agent systems is based on three fundamental perspectives: the functional, the team-interactional and the organisational perspective. The organisational perspective becomes a central design issue if the number of agents is large or the environment is unstable. While the functional perspective is well founded in the planning theory of artificial intelligence and the interactional perspective is rooted in the theory of speech-acts and formal ontologies, the organisational perspective is still an active research area with several open questions. In this paper we define a formal organisation model for agent systems based on Petri nets and show how agent oriented software engineering can benefit from this model.

Słowa kluczowe

EN

multi-agent systems; formal model

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2007
• Tom: Vol. 79, nr 3-4
• Strony: 415--430
• Opis fizyczny: bibliogr. 29 poz., wykr.

Twórcy

autor

Köhler M.

• Universität Hamburg Fachbereich Informatik Vogt-Kölln-Str. 30 D-22527 Hamburg, Germany

Bibliografia

• [1] Bause, F., Kritzinger, P.: Stochastic Petri Nets - An Introduction to the Theory, Vieweg, 1996.
• [2] Best, E., Fernández, C.: Nonsequential processes: a Petri net view, Springer-Verlag, 1988.
• [3] Billington, J., Du, B., Farrington, M.: Modelling and Analysis of Multi-Agent Communication Protocols using CP-nets, Engineering Mathematics and Applications (EMAC'98), July 1998.
• [4] Cabac, L., Moldt, D., Rölke, H.: A Proposal for Structuring Petri Net-Based Agent Interaction Protocols, International Conference on Application and Theory of Petri Nets 2003 (W. v. d. Aalst, E. Best, Eds.), 2679, Springer-Verlag, 2003.
• [5] Carley, K. M., Gasser, L.: Computational organisation theory, in: Weiß [27], 229-330.
• [6] Chainbi, W., Hanachi, C., Sibertin-Blanc, C.: The Multi-agent Prey/Predator problem: A Petri net solution, Proceedings of the Conference on Computational Engineering in Systems Applications (CESA'96) (Borne, P., Gentina, J.C., Craye, E., E. Khattabi, S., Eds.), IEEE Society Press, 1996.
• [7] Cost, R. S., Chen, Y., Finin, T., Labrou, Y., Peng, Y.: Modeling agent conversation with colored Petri nets, Workshop on specifying and implementing conversation policies (Autonomous agents '99), Springer-Verlag, 1999.
• [8] Dale, J., Mamdani, E.: Open Standards for Interoperating Agent-Based Systems, Software Focus, Wiley, 2001.
• [9] DeLoach, S. A., Wood, M. F., Sparkman, C. H.: Multiagent Systems Engineering, International Journal of Software Engineering and Knowledge Engineering, 11(3), 2001, 231-258.
• [10] Dignum, V., Vázquez-Salceda, J., Dignum, F.: OMNI: Introducing Social Structure, Norms and Ontologies into Agent Organizations, Programming Multi-Agent Systems (PROMAS), 2004.
• [11] Fiorino, H., Tessier, C.: Agent cooperation: a Petri net based model, Int. Conference on Multi-Agent Systems (ICMAS'98) (Y. Demazeau, Ed.), 1998.
• [12] Goltz, U., Reisig, W.: The non-sequential behaviour of Petri nets, Information and Control, 57, 1983, 125-147.
• [13] Holvoet, T.: Agents and Petri Nets, Petri Net Newsletter, 49, October 1995, 3-8.
• [14] Horling, B., Lesser, V.: A Survey of Multi-Agent Organizational Paradigms, The Knowledge Engineering Review, 19(4), 2005, 281-316.
• [15] Jennings, N. R.: On agent-based software engineering, Artificial Intelligence, 117, 2000, 277-296.
• [16] Jensen, K.: Coloured Petri nets, Basic Methods, Analysis Methods and Practical Use, EATCS monographs on theoretical computer science, Springer-Verlag, 1992.
• [17] Johnson, J. C., Ioerger, T. R.: A formal model of responsibilities in agent-based teams, AGENTS '01: Proceedings of the fifth international conference on Autonomous agents, ACM Press, New York, NY, USA, 2001, ISBN 1-58113-326-X.
• [18] Köhler, M., Moldt, D., Rölke, H.: Modeling the Behaviour of Petri Net Agents, International Conference on Application and Theory of Petri Nets (J. M. Colom, M. Koutny, Eds.), 2075, Springer-Verlag, 2001.
• [19] Köhler, M., Ortmann, J.: Formal Aspects for service modelling based on high-level Petri Nets, International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2005) (M. Mohammadian, Ed.), 2005.
• [20] Malsch, T.: Naming the unnamable: Socionics or the sociological turn of/to distributed artificial intelligence, Autonomous agents and multi-agent systems, 4, 2001, 155-186.
• [21] Moldt, D.,Wienberg, F.: Multi-Agent-Systems Based on Coloured Petri Nets, 18th International Conference on Application and Theory of Petri Nets (P. Azéma, G. Balbo, Eds.), 1248, Springer-Verlag, Berlin, 1997.
• [22] Ossowski, S.: Co-ordination in Artificial Agent Societies: social structures and its implications for autonomous problem-solving agents, vol. 1535 of Lecture Notes in Computer Science, Springer-Verlag, 1999.
• [23] Panzarasa, P., Jennings, N.: The organisation of sociality: A manifesto for a new science of multiagent systems, Proceedings of the Tenth European Workshop on Multi-Agent Systems (MAAMAW01), 2001.
• [24] Salomaa, A.: Formal languages, Academic Press Professional, San Diego, CA, USA, 1987.
• [25] Scott, R.: Institutions and Organizations, Sage, London, New Delhi, 1995.
• [26] Valk, R.: Object Petri nets: Using the nets-within-nets paradigm, Advanced Course on Petri Nets 2003 (J. Desel, W. Reisig, G. Rozenberg, Eds.), 3098, Springer-Verlag, 2003.
• [27] Weiß, G., Ed.: Multiagent systems: A modern approach to Distributed Artificial Intelligence, MIT Press, 1999.
• [28] Wester-Ebbinghaus, M., Moldt, D., Reese, C., Markwardt, K.: Towards Organization-Oriented Software Engineering, Software Engineering 2007 (H. Züllighoven, Ed.), LNI, GI, 2007.
• [29] Zambonelli, F., Jennings, N. R., Wooldridge, M.: Developing multiagent systems: The Gaia methodology, ACM Trans. Softw. Eng. Methodol., 12(3), 2003, 317-370.