A Formal Model for Situated Multi-Agent Systems

• Autorzy: Weyns D. , Holvoet T.
• Języki publikacji: EN

Abstrakty

EN

Contrary to cognitive approaches of agency where a lot of effort is devoted to the formalization of agent concepts, little work has been done on the formalization of situated multi-agent systems (situated MASs). In this paper we present a generic model for situated MASs. This model formally describes an abstract architecture for situated MASs. In this architecture each agent is situated in its local context that it is able to perceive and in which it can act. Since intelligence in situated MASs results from the interactions of agents with the environment rather than from their individual capabilities, the model takes an action-centric approach. The model deals with (1) the actions of agents in the environment, (2) ongoing activities in the environment, such as moving objects, and (3) the interactions between agents and ongoing activities through the environment. One model for situated MASs was described by J. Ferber and J.P. Müller. In this model all agents of the MAS act at one global pace, i.e. the agents are globally synchronized. Drawbacks of global synchronization are centralized control and poor scalability. We present a model that allows agents to synchronize locally. In this model there is no centralized entity that imposes all agents to act at one global pace, but instead agents themselves decide when they perform their next actions. The model supports simultaneous actions through regional synchronization. With regional synchronization agents form synchronized groups on the basis of their actual locality. Different groups can act asynchronously, while agents within one group act synchronously. The result is a model that does not suffer from the drawbacks of global synchronization while it preserves the properties for handling simultaneous actions. In the paper we apply the model to a simple MAS application. We show how the abstract model can be instantiated for a practical application. Then we follow a trace in the evolution of the application and demonstrate how the model deals with each particular step.

Słowa kluczowe

EN

multi-agent systems; formalization; agent; intellect; synchronization; logic

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2004
• Tom: Vol. 63, nr 2,3
• Strony: 125--158
• Opis fizyczny: Bibliogr. 36 poz., rys.

Twórcy

autor

Weyns D.

• AgentWise, DistriNet, Department of Computer Science, K.U.Leuven, Belgium

autor

Holvoet T.

• AgentWise, DistriNet, Department of Computer Science, K.U.Leuven, Belgium

Bibliografia

• [1] Allen, J.F., Ferguson, G.: Actions and Events in Interval Temporal Logic. Journal of Logic and Computation, Special Issue on Action and Processes, 1994.
• [2] Babaoglu, O., Meling, H., Montresoret, H.: Anthill: A Framework for the Development of Agent-Based Peer-to-Peer Systems. Proceedings of the 22th International Conference on Distributed Computing Systems, Vienna, Austria, 2002.
• [3] Bonabeau, E., H’naux, F., Gu’rin, S., Snyers, D., Kuntz, P., Theraulaz, G.: Routing in Telecommunications Networks with Ant-Like Agents: 60-71, IATA, 1998.
• [4] Bonabeau, E., Sobkowski, A., Theraulaz, G., Deneubourg, J.L.: Adaptive Task Allocation Inspired by a Model of Division of Labour in Social Insects. Biocomputing and Emergent Computation: 36-45, World Scientific, 1998.
• [5] Boutilier, C., Brafman, R.I.: Partial-Order Planning with Concurrent Interacting Actions. Journal of Artificial Research 14: 105-136, Access Foundation and Morgan Kaufmann, 2001.
• [6] Bratman, M.E., Israel D.J., Pollack M.E.: Plans and resource-bounded practical reasoning. Computational Intelligence 4: 349-355, 1988.
• [7] Brooks, R. A.: Intelligence Without Representation, Prints of the Workshop in Foundations of Artificial Intelligence, Dedham, MA, 1987.
• [8] Brooks, R. A.: Intelligence Without Reason, MIT AI Lab Memo No. 1293, 1991.
• [9] Deneubourg, J.L., Aron, A., Goss, S., Pasteels, J.M., Duerinck, G.: Random Behavior, Amplification Processes and Number of Participants: How they Contribute to the Foraging Properties of Ants. In Physics 22(D): 176-186, 1986.
• [10] Dorigo, M., Gambardella, L.M.: Ant Colony System: A Cooperative Learning Approach to the Traveling Salesman Problem. In IEEE Transactions on Evolutionary Computation, 1, 1: 53-66, 1997.
• [11] Drogoul, A., Ferber, J.: Multi-Agent Simulation as a Tool for Modeling Societies: Application to Social Differentiation in Ant Colonies. Decentralized A.I. 4, Elsevier North-Holland, 1992.
• [12] Ferber, J.: Un modele de l’action pour les systemes multi-agents. Journees sur les systemes multi-agents et l’intelligence artificielle distribue, Voiron, 1994.
• [13] Ferber, J.: Multi-Agent Systems, An Introduction to Distributed Artificial Intelligence, ISBN 0-201-36048-9, Addison-Wesley, Great Britain, 1999.
• [14] Ferber, J., Müller, J.P.: Influences and Reaction: a Model of Situated Multiagent Systems. Proceedings of the 2th International Conference on Multi-agent Systems, AAAI Press, Japan, 1996.
• [15] Fikes, T., Nilsson, N.J.: STRIPS: a New Approach to the Application of Theorem Proving to Problem-solving. Artificial Intelligence 2 (3-4): 189-208, 1971.
• [16] Genesereth, M. R., Nilsson, N.: Logical Foundations of Artificial Intelligence, Morgan Kaufmann, San Mateo, CA, 1987.
• [17] Griffiths, N., Luck, M., d’Iverno, M.: Cooperative Plan Annotation through Trust. P. McBurney, M.Wooldridge (eds.),Workshop Notes of UK Workshop on Multi-agent Systems, Liverpool, 2002.
• [18] JASSS: Journal of Artificial Societies and Social Simulation. http://jasss.soc.surrey.ac.uk/JASSS.html
• [19] Kowalski, F., Sadri, R.A.: Towards a unified agent architecture that combines rationality with reactivity. Proceedings of International Workshop on Logic in Databases, San Miniato, Italy, LNCS 1154, 1996.
• [20] Macy, M.,Willer, R.: From Factors to Actors: Computational Sociology and Agent-Based Modeling. Annual Review of Sociology 28, 2002.
• [21] Maes, P.: Modeling Adaptive Autonomous Agents. Artificial Life Journal, 1 (1-2): 135-162, MIT Press, Cambridge, MA, 1994.
• [22] Maes, P.: Situated Agents can have Goals. Ed. P. Maes, Designing Autonomous Agents: 49-70,MITT Press, Cambridge,MA, 1990.
• [23] Parunak, V.: Go to the Ant: Engineering Principles from Natural Agent Systems. Annals of Operations Research 75: 69-101, 1997.
• [24] Parunak, V., Baker, A.D., Clark, S.J.: The AARIA Agent Architecture: From Manufacturing Requirements to Agent-Based System Design. Proceedings of Workshop on Agent-Based Manufacturing, ICAA98, Minneapolis, MN, 1998.
• [25] Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computational language. Proceedings of 7th European Workshop on Modeling Agents in a Multi-Agent World, LNAI volume 1038: 42-55, 1996.
• [26] Rouchier, J.: Review of Multi-agent Systems: An Introduction to Distributed Artificial Intelligence, J. Ferber, 1999. JASSS, Volume 4, Issue 2, see [18], 2001.
• [27] Sauter, J.A., Parunak, V.: ANTS in the Supply Chain. Proceedings of Workshop on Agent based Decision Support for Managing the Internet-Enabled Supply Chain, Agents 99, Seattle, WA, 1999.
• [28] Sauter, J.A., Matthews, R., Parunak, V., Brueckner, S.: Evolving Adaptive Pheromone Path Planning Mechanisms. Proceedings of the First International Conference on Autonomous Agents and Multi-agent Systems: 434-441, Bologna, Italy, 2002.
• [29] Schelfthout, K., Holvoet, T.: ’To do or not to do’: The individual’s Model for Emergent Task Allocation. Proceedings of Adaptive Agents and Multi-Agent Systems, London, UK, 2002.
• [30] Steels, L.: Cooperation between distributed agents through self-organization. Proceedings of the First European Workshop on Modeling Autonomous Agents in a Multi-Agent World: 175-196, Elsevier Science Publishers, Holland, 1990.
• [31] Wavish, P.R., Connah, D.M.: Representing Multi-Agent Worlds. ABLE, Technical Note: TN2964, Philips Research Laboratories, 1990.
• [32] Weyns, D., Holvoet, T.: Look, Talk and Do: A Synchronization Scheme for Situated Multi-Agent Systems. P. McBurney, M. Wooldridge (eds.), Workshop Notes of UK Workshop on Multi-agent Systems, Liverpool, 2002.
• [33] Weyns, D., Holvoet, T.: Regional Synchronization for Simultaneous Actions in Situated Multi-Agent Systems. Proceedings of 3th International/Central and Eastern European Conference on Multi-Agent Systems, CEEMAS, Prague, Czech Republic, LNAI 2691: 497-511, 2003.
• [34] Weyns, D., Holvoet, T.: Model for Simultaneous Actions in Situated Multi-Agent Systems. First German Conference on Multi-Agent System Technologies, MATES, Erfurt, Germany, LNAI 2831: 105-119, 2003.
• [35] Wooldridge, M.: An Introduction to MultiAgent Systems, ISBN 0-471-49691-X. John Wiley and Sons, Ltd. England, 2002.
• [36] Wooldridge, M., Jennings. N.R. : Intelligent Agents: theory and practice. The Knowledge Engineering Review, 10(2): 115-152, 1995.