Search
2015 Volume 30
Article Contents
RESEARCH ARTICLE   Open Access    

Programming multi-agent systems

More Information
  • Abstract: With the significant advances in the area of autonomous agents and multi-agent systems in the last decade, promising technologies for the development and engineering of multi-agent systems have emerged. The result is a variety of agent-oriented programming languages, development frameworks, execution platforms, and tools that facilitate building and engineering of multi-agent systems. This paper provides an overview of the multi-agent programming research field and explains the aim and characteristics of various multi-agent programming languages and development frameworks. This overview is complemented with a discussion on the current trends and challenges in this research community.
  • 加载中
  • Adal A. 2010. An Interpreter for Organization Oriented Programming Language. Master’s thesis, Utrecht University.

    Google Scholar

    Ågotnes T., van der Hoek W. & Wooldridge M. 2008. Robust normative systems. In Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Padgham, L., Parkes, D., Mueller, J. P. & Parsons, S. (eds), 747–754, May. IFAMAAS/ACM DL.

    Google Scholar

    Arbab F. 1998. What do you mean, coordination?Bulletin of the Dutch Association for Theoretical Computer Science (NVTI), 11–22.

    Google Scholar

    Arbab F., Astefanoaei L., de Boer F., Dastani M., Meyer J.-J. C. & Tinnermeier N. 2009. Reo connectors as coordination artifacts in 2APL systems. In Proceedings of the 11th Pacific Rim International Conference on Multi-Agents (PRIMA 2008), LNCS, 5357, 42–53. Springer.

    Google Scholar

    Astefanoaei L., Dastani M., Meyer J.-J. C. & Boer F.2009. On the semantics and verification of normative multi-agent systems. International Journal of Universal Computer Science15(13), 2629–2652.

    Google Scholar

    Bacchus F. & Kabanza F. 1998. Planning for temporally extended goals. Annals of Mathematics and Artificial Intelligence22(1–2), 5–27.

    Google Scholar

    Baldoni M., Boella G., Dorni M., Grenna R. & Mugnaini A. 2008. powerJADE: organizations and roles as primitives in the JADE framework. In WOA 2008: Dagli oggetti agli agenti, Evoluzione dell’agent development: metodologie, tool, piattaforme e linguaggi, 84–92.

    Google Scholar

    Baldoni M., Boella G. & Van Der Torre L. 2005. Roles as a coordination construct: introducing powerJava. In Proceedings of the 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, Electronic Notes in Theoretical Computer Science 150, 9–29.

    Google Scholar

    Baral C. & Zhao J. 2007. Non-monotonic temporal logics for goal specification. In International Joint Conference on Artificial Intelligence (IJCAI), 236–242.

    Google Scholar

    Behrens T., Dix J., Hindriks K., Dastani M., Bordini R., Hubner J., Pokahr A. & Braubach. L. 2010. An interface for agent-environment interaction. In Proceedings of the Eighth International Workshop on Programming Multi-Agent Systems (ProMAS’10), Bordini, R.H., Dastani, M., Dix, J. & El Fallah Seghrouchni, A. (eds), 125–147. Springer.

    Google Scholar

    Bellifemine F., Bergenti F., Caire G. & Poggi A. 2005. JADE—a Java agent development framework. In Multi-Agent Programming: Languages, Platforms and Applications. Kluwer.

    Google Scholar

    Bergenti F., Gleizes M.-P. & Zambonelli F. (eds) 2004. Methodologies and Software Engineering for Agent Systems. Multiagent Systems, Artificial Societies, and Simulated Organizations 11, Kluwer Academic Publisher.

    Google Scholar

    Boella G. & van der Torre L. 2008. Substantive and procedural norms in normative multiagent systems. Journal of Applied Logic6, 152–171.

    Google Scholar

    Boissier O., Bordini R., Hbner J. F., Ricci A. & Santi A. 2013. Multi-agent oriented programming with JaCaMo. Science of Computer Programming78, 747–761.

    Google Scholar

    Bordini R., Huubner J. & Wooldridge M. 2007. Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley Series in Agent Technology, John Wiley & Sons.

    Google Scholar

    Bordini R. H., Dastani M., Dix J. & El Fallah Seghrouchni A. (eds) 2005. Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations 15. Springer, ISBN: 978-0-387-24568-3.

    Google Scholar

    Bordini R. H., Dastani M., Dix J. & El Fallah Seghrouchni A. (eds) 2009. Multi-Agent Programming: Languages, Tools and Applications, Springer, ISBN: 978-0-387-89298-6.

    Google Scholar

    Botia J. A., Hernansaez J. M. & Gomez-Skarmeta A. F. 2006. On the application of clustering techniques to support debugging large-scale multi-agent systems. In Proceedings of the Fourth International Workshop on Programming Multi-Agent Systems (ProMAS’06), 217–227.

    Google Scholar

    Bracciali A., Demetriou N., Endriss U., Kakas A., Lu W., Mancarella P., Sadri F., Stathis K., Terreni G. & Toni F. 2004. The KGP model of agency for global computing: computational model and prototype implementation. In Global Computing, LNCS, 3267, 340–367. Springer.

    Google Scholar

    Bratman M. E., Israel D. J. & Pollack M. E. 1988. Plans and resource-bounded practical reasoning. Computational Intelligence4(3), 349–355.

    Google Scholar

    Braubach L. & Pokahr A. 2009. Representing long-term and interest BDI goals. In Proceedings of the Seventh International Workshop on Programming Multi-Agent Systems (ProMAS’09).

    Google Scholar

    Braubach L., Pokahr A. & Lamersdorf W. 2005. Extending the capability concept for flexible BDI agent modularization. In Proceedings of the Third International Workshop on Programming Multi-Agent Systems (ProMAS’05), 139–155.

    Google Scholar

    Bresciani P., Giorgini P., Giunchiglia F., Mylopoulos J. & Perini A. 2003. TROPOS: an agent-oriented software development methodology. Journal of Autonomous Agents and Multi-Agent Systems8(3), 203–236.

    Google Scholar

    Busetta P., Howden N., Ronnquist R. & Hodgson A. 2000. Structuring BDI agents in functional clusters. In Intelligent Agents VI: Theories, Architectures and Languages, Jennings N. & Lesperance Y. (eds), Lecture Notes in Computer Science, 1757, 277–289. Springer.

    Google Scholar

    Cohen P. R. & Levesque H. J. 1990. Intention is choice with commitment. Artificial Intelligence42(2–3), 213–261.

    Google Scholar

    Collier R. 2007. Debugging agents in agent factory. In Proceedings of the Fourth International Workshop on Programming Multi-Agent Systems (ProMAS’06), 229–248.

    Google Scholar

    Cysneiros L. M. & Yu E. S. K. 2003. Requirements engineering for large-scale multi-agent systems. In Software Engineering for Large-Scale Multi-Agent Systems, Research Issues and Practical Applications (SELMAS), Garcia, A. F., de Lucena, C. J. P., Zambonelli, F., Omicini, A. & Castro, J. (eds), LNCS, 2603, 39–56. Springer.

    Google Scholar

    Dastani M. 2008. 2APL: a practical agent programming language. International Journal of Autonomous Agents and Multi-Agent Systems16(3), 214–248.

    Google Scholar

    Dastani M., Arbab F. & de Boer F. S. 2005a. Coordination and composition in multi-agnet systems. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’05), 439–446.

    Google Scholar

    Dastani M., Brandsema J., Dubel A. & Meyer J.-J. C. 2009a. Debugging BDI-based multi-agent programs. In Proceedings of the Seventh International Workshop on Programming Multi-Agent Systems (ProMAS’09), LNCS, 5919, 151–169.

    Google Scholar

    Dastani M., Grossi D., Meyer J.-J. C. & Tinnemeier N. 2009b. Normative multi-agent programs and their logics. In Post Proceedings of the International Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS’08), LNAI, 5605, 16–31. Springer.

    Google Scholar

    Dastani M. & Gomez-Sanz J. 2006. Programming multi-agent systems. The Knowledge Engineering Review20(2), 151–164.

    Google Scholar

    Dastani M. & Gomez-Sanz J. J.2005. AgentLink III Technical Forum Group, programming multiagent systems. http://people.cs.uu.nl/mehdi/al3promas.html.

    Google Scholar

    Dastani M., Hindriks K. & Meyer J.-J. C. 2010. Specification and Verification of Multi-Agent Systems, Springer, ISBN 978-1-4419-6983-5.

    Google Scholar

    Dastani M. & Meyer J.-J. C. 2010. Agents with emotions. International Journal of Intelligent Systems25(7), 636–654.

    Google Scholar

    Dastani M. & Steunebrink B. R. 2010. Operational semantics for BDI modules in multi-agent programming. In Proceedings of the 10th International Conference on Computational Logic in Multi-Agent Systems (CLIMA’09), 83–101. Springer-Verlag.

    Google Scholar

    Dastani M., van Riemsdijk M. B. & Meyer J.-J. C. 2005b. Programming multi-agent systems in 3APL. In Multi-Agent Programming: Languages, Platforms and Applications, Bordini, R.H., Dastani, M., Dix, J. & El Fallah Seghrouchni, A. (eds), 39–67. Kluwer.

    Google Scholar

    Dastani M., van Riemsdijk M. B. & Meyer J.-J. C. 2006. Goal types in agent programming. In Proceedings of the 17th European Conference on Artificial Intelligence (ECAI’06).

    Google Scholar

    Dastani M., van Riemsdijk B. & Winikoff M. 2011. Rich goal types in agent programming. In Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011).

    Google Scholar

    De Giacomo G., Lesperance Y. & Levesque H. J. 2000. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence121(1–2), 109–169.

    Google Scholar

    Dignum V. 2004. A Model for Organizational Interaction. PhD thesis, Utrecht University, SIKS.

    Google Scholar

    Dix J. & Zhang Y. 2005. IMPACT: a multi-agent framework with declarative semantics. In Multi-Agent Programming: Languages, Platforms and Applications, Bordini, R.H., Dastani, M., Dix, J. & El Fallah Seghrouchni, A. (eds), 69–94. Kluwer.

    Google Scholar

    Duff S., Harland J. & Thangarajah J. 2006. On proactivity and maintenance goals. In Proceedings of the Fifth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 06), 1033–1040.

    Google Scholar

    El Fallah Seghrouchni A. & Suna A. 2005. CLAIM and SyMPA: a programming environment for intelligent and mobile agents. In Multi-Agent Programming: Languages, Platforms and Applications, Bordini, R.H., Dastani, M., Dix, J. & El Fallah Seghrouchni, A. (eds), 95–122, Kluwer.

    Google Scholar

    Esteva M., de la Cruz D. & Sierra C. 2002. ISLANDER: an electronic institutions editor. In Proceedings of the First International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2002), 1045–1052.

    Google Scholar

    Esteva M., Rodriguez-Aguilar J. A., Rosell B. & Arcos J. L. 2004. AMELI: an agent-based middleware for electronic institutions. In Proceedings of the Third International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2004), 236–243, July.

    Google Scholar

    Ferber J. 1999. Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence, Addison-Wesley Longman Publishing, ISBN: 0201360489.

    Google Scholar

    Fisher M. 2005. METATEM: the story so far. In Proceedings of the First International Workshop on Programming Multi-Agent Systems (ProMAS’03), LNAI, 3862, 3–22. Springer Verlag.

    Google Scholar

    Garcia-Camino A., Noriega P. & Rodriguez-Aguilar J. A. 2005. Implementing norms in electronic institutions. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 05), 667–673.

    Google Scholar

    Gomez-Sanz J. & Pavon J. 2003. Agent oriented software engineering with INGENIAS. In LNCS, 2691, 394–403. Springer.

    Google Scholar

    Grossi D. 2007. Designing Invisible Handcuffs. PhD thesis, Utrecht University, SIKS.

    Google Scholar

    Hindriks K. 2008. Modules as policy-based intentions: modular agent programming in GOAL. In Proceedings of the Fifth International Workshop on Programming Multi-Agent Systems (ProMAS’07), 4908. Springer.

    Google Scholar

    Hindriks K. 2009. Programming rational agents in GOAL. In Multi-Agent Programming: Languages and Tools and Applications, Bordini, R.H., Dastani, M., Dix, J. & El Fallah Seghrouchni, A. (eds), 119–157. Springer.

    Google Scholar

    Hindriks K., De Boer F., Van der Hoek W. & Meyer J.-J. C. 1999. Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems2(4), 357–401.

    Google Scholar

    Hindriks K., van der Hoek W. & van Riemsdijk M. B. 2009. Agent programming with temporally extended goals. In Proceedings of the Eight International Conference on Autonomous Agents and Multiagent Systems (AAMAS’09), 137–144. IFAAMAS.

    Google Scholar

    Hindriks K. & van Riemsdijk M. B. 2008. Satisfying maintenance goals. In Declarative Agent Languages and Technologies (DALT 07), LNAI, 4897, 86–103. Springer.

    Google Scholar

    Hübner J., Sichman J. S. & Boissier O. 2006. S-MOISE+: a middleware for developing organised multi-agent systems. In Proceedings of the International Workshop on Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, LNCS, 3913, 64–78. Springer.

    Google Scholar

    Hübner J., Sichman J. S. & Boissier O. 2007. Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels. International Journal of Agent-Oriented Software Engineering1(3/4), 370–395.

    Google Scholar

    Hübner J. F., Boissier O., Kitio R. & Ricci A. 2010. Instrumenting multi-agent organisations with organisational artifacts and agents: giving the organisational power back to the agents. International Journal of Autonomous Agents and Multi-Agent Systems20, 369–400.

    Google Scholar

    Jones A. J. I. & Sergot M. 1993. On the characterization of law and computer systems. In Deontic Logic in Computer Science: Normative System Specification, Meyer J.-J. C. & Wieringa R. J. (eds). John Wiley & Sons, 275–307.

    Google Scholar

    Kakas A., Mancarella P., Sadri F., Stathis K. & Toni F. 2004. The KGP model of agency. In The 16th European Conference on Artificial Intelligence (ECAI’04), 33–37.

    Google Scholar

    Khan S. M. & Lespoerance Y. 2009. A logical account of prioritized goals and their dynamics. In Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense-09), Lakemeyer G., Morgenstern L. & Williams M. A. (eds). Open Publications of UTS Scholars, 85–90.

    Google Scholar

    Kitio R., Boissier O., Hubner J. & Ricci A. 2008. Organisational artifacts and agents for open multi-agent organisations: ‘giving the power back to the agents’. In Proceedings of the 2007 International Conference on Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN’07, 171–186. Springer-Verlag. ISBN: 3-540-79002-0, 978-3-540-79002-0.

    Google Scholar

    Lam D. N. & Suzanne Barber K. 2005. Debugging agent behavior in an implemented agent system. In Proceedings of the Second International Workshop on Programming Multi-agent Systems (ProMAS’04), 104–125.

    Google Scholar

    Leite J., Alferes J. & Pereira L. M. 2001. Minerva—a dynamic logic programming agent architecture. In the proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001). Meyer, J.-J. C. & Tambe, M. (eds), LNAI 2333, 141–157, Springer.

    Google Scholar

    Madden N. & Logan B. 2009. Modularity and compositionality in Jason. In Proceedings of the Seventh International Workshop on Programming Multi-Agent Systems (ProMAS’09), Braubach, L., Briot, J.-P. & Thangarajah, J. (eds), LNAI, 5919, 237–253. Springer. ISBN: 978-3-642-14842-2.

    Google Scholar

    Meyer J.-J. C., van der Hoek W. & van Linder B. 1999. A logical approach to the dynamics of commitments. Arificial Intelligence113, 1–40.

    Google Scholar

    Miiller J. P. 1996. The Design of Autonomous Agents A Layered Approach, LNAI, 1177. Springer-Verlag.

    Google Scholar

    Muldoon C., O’Hare G. M. P., Collier R. W. & O’Grady M. J. 2009. Towards pervasive intelligence: reflections on the evolution of the agent factory framework. In Multi-Agent Programming: Languages and Tools and Applications, Bordini R. H., Dastani M., Dix J. & El Fallah Seghrouchni A. (eds). Springer, 187–212.

    Google Scholar

    Nair R. & Tambe M. 2005. Hybrid BDI-POMDP framework for multiagent teaming. Journal of Artificial Intelligence Research23(1), 367–420.

    Google Scholar

    Novaik P. & Dix J. 2006. Modular BDI architecture. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’06).

    Google Scholar

    Omicini A. 2007. Formal ReSpecT in the A&A perspective. Electronic Notes Theoretical Computer Science175(2), 97–117.

    Google Scholar

    Padgham L. & Winikoff M. 2003. Prometheus: a methodology for developing intelligent agents. In Lecture Notes in Artificial Intelligence, 2585, 174–185. Springer.

    Google Scholar

    Pokahr A., Braubach L. & Lamersdorf W. 2005. Jadex: a BDI reasoning engine. In Multi-Agent Programming: Languages, Platforms and Applications, Bordini, R.H., Dastani, M., Dix, J. & El Fallah Seghrouchni, A. (eds), 149–174. Kluwer.

    Google Scholar

    Poutakidis D., Padgham L. & Winikoff M. 2002. Debugging multi-agent systems using design artifacts: the case of interaction protocols. In Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’02), 960–967.

    Google Scholar

    Poutakidis D., Padgham L. & Winikoff M. 2003. An exploration of bugs and debugging in multi-agent systems. In Proceedings of the 14th International Symposium on Methodologies for Intelligent Systems (ISMIS), 628–632. ACM Press.

    Google Scholar

    Prakken H. & Sergot M. 1996. Contrary-to-duty obligations. Studia Logica57, 91–115.

    Google Scholar

    Rao A. S. 1996. AgentSpeak(L): BDI agents speak out in a logical computable language. In Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW’96), Van de Velde, W. & Perram, John W. (eds). Agents Breaking Away, LNCS 1038, 42–55. Springer.

    Google Scholar

    Rao A. S. & Georgeff M. P. 1991. Modeling rational agents within a BDI-architecture. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR 91), Allen J., Fikes R. & Sandewall E. (eds). Morgan Kaufmann, 473–484.

    Google Scholar

    Rao A. S. & Georgeff M. P. 1995. BDI agents: from theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS 95), Allen, J., Fikes, R. & Sandewall, E. (eds), 312–319. MIT Press.

    Google Scholar

    Rens G., Ferrein A. & van der Poel E.2009. A BDI agent architecture for a POMDP planner. In Nineth International Symposium on Logical Formalizations of Commonsense Reasoning.

    Google Scholar

    Ricci A., Viroli M. & Omicini A. 2006. Cartago: a framework for prototyping artifact-based environments in MAS. In E4MAS, 67–86.

    Google Scholar

    Sadri F. 2005. Using the KGP model of agency to design applications. In Proceedings of the 6th International Conference on Computational Logic in Multi-Agent Systems (CLIMA 05), 3900, 165–185. Springer.

    Google Scholar

    Sardina S., De Giacomo G., Lesperance Y. & Levesque H. J. 2004. On the semantics of deliberation in IndiGolog—from theory to implementation. Annals of Mathematics and Artificial Intelligence41(2–4), 259–299.

    Google Scholar

    Shapiro S. & Brewka G. 2007. Dynamic interactions between goals and beliefs. In International Joint Conference on Artificial Intelligence (IJCAI’07), 2625–2630.

    Google Scholar

    Shoham Y. 1993. Agent-oriented programming. Artificial Intelligence60, 51–92.

    Google Scholar

    Silva C. T. L. L., Castro J. & Tedesco P. A. 2003. Requirements for multi-agent systems. In Workshop em Engenharia de Requisitos (WER), Galvao Martins, L. E. & Franch, X. (eds), 198–212.

    Google Scholar

    Silva V. T. 2008. From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behavior of agents. International Journal of Autonomous Agents and Multiagent Systems (JAAMAS)17(1), 113–155.

    Google Scholar

    Sudeikat J., Braubach L., Pokahr A., Lamersdorf W. & Renz W. 2007. Validation of BDI agents. In Proceedings of the Fourth International Workshop on Programming Multi-Agent Systems (ProMAS’06), 185–200.

    Google Scholar

    Tasaki M., Yabu Y., Iwanari Y., Yokoo M., Tambe M., Marecki J. & Varakantham P. 2008. Introducing communication in Dis-POMDPs with locality of interaction. International Conference on Web Intelligence and Intelligent Agent Technology, IEEE/WIC/ACM2, 169–175.

    Google Scholar

    Tinnemeier N. 2011. Organizing Agent Organizations: Syntax and Operational Semantics of an Organization-Oriented Programming Language. PhD thesis, Dutch Research School for Information and Knowledge Systems (SIKS).

    Google Scholar

    Tinnemeier N., Dastani M. & Meyer J.-J. C. 2009a. Roles and norms for programming agent organizations. In Proceedings of the Eight International Conference on Autonomous Agents and Multiagent Systems (AAMAS 09), Decker, K. S., Sichman, J. S., Sierra, C. & Castelfranchi, C. (eds), 121–128. IFAMAAS/ACM DL.

    Google Scholar

    Tinnemeier N., Dastani M. & Meyer J.-J. C. 2010. Programming norm change. In Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS’10), van der Hoek, W., Kaminka, G. A., Lesperance, Y., Luck, M. & Sen, S. (eds), 957–964. IFAMAAS/ACM DL.

    Google Scholar

    Tinnemeier N., Dastani M., Meyer J.-J. C. & van der Torre L. 2009b. Programming normative artifacts with declarative obligations and prohibitions. In Proceedings of IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 145–152. IEEE Computer Society.

    Google Scholar

    Van Dyke Parunak H. & Weyns D. (eds) 2007. Introduction, special issue on environments for multi-agent systems. Autonomous Agents and Multi-Agent Systems14(1), 1–4.

    Google Scholar

    van Riemsdijk M. B., Dastani M., Meyer J.-J. C. & de Boer F. S. 2006. Goal-oriented modularity in agent programming. In Proceedings of the Fifth International Conference on Autonomous Agents and Multiagent Systems (AAMAS’06), 1271–1278.

    Google Scholar

    van Riemsdijk M. B., van der Hoek W. & Meyer J.-J. C. 2003. Agent programming in Dribble: from beliefs to goals using plans. In Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’03), 393–400. ACM.

    Google Scholar

    Vigueras G. & Botia J. A. 2008. Tracking causality by visualization of multi-agent interactions using causality graphs. In Proceedings of the Fifth International Workshop on Programming Multi-Agent Systems (ProMAS’07), 190–204.

    Google Scholar

    Weiss G. 1999. Multiagent Systems. A Modern Approach to Distributed Artificial Intelligence, The MIT Press, ISBN: 0-262-23203-0.

    Google Scholar

    Weyns D., Van Dyke Parunak H., Michel F., Holvoet T. & Ferber J. (eds) 2005. Environments for Multiagent Systems State-of-the-Art and Research Challenges, LNCS, 3374, 1–47. Springer.

    Google Scholar

    Winikoff M. 2005. JACK™ intelligent agents: an industrial strength platform. In Multi-Agent Programming: Languages, Platforms and Applications, 175–193. Kluwer.

    Google Scholar

    Winikoff M. 2010. Assurance of agent systems: what role should formal verification play? In Specification and Verification of Multi-Agent Systems Dastani M., Hindriks K. V. & Meyer J.-J. C. (eds). ACM Press, 353–383, ISBN: 978-1-4419-6983-5.

    Google Scholar

    Winikoff M., Padgham L., Harland J. & Thangarajah J. 2002. Declarative and procedural goals in intelligent agent systems. In Proceedings of the Eighth International Conference on Principles of Knowledge Respresentation and Reasoning (KR’02).

    Google Scholar

    Woolridge M. 2002. Introduction to Multiagent Systems, John Wiley & Sons, Inc.

    Google Scholar

    Wooldridge M. 2009. An Introduction to MultiAgent Systems, 2nd edition. Wiley, ISBN: 978-0-470-51946-2.

    Google Scholar

    Zambonelli F., Jennings N. R. & Wooldridge M. 2003. Developing multiagent systems: the Gaia methodology. ACM Transactions on Software Engineering and Methodology (TOSEM)12(3), 317–370.

    Google Scholar

  • Cite this article

    Mehdi Dastani. 2015. Programming multi-agent systems. The Knowledge Engineering Review 30(4)394−418, doi: 10.1017/S0269888915000077
    Mehdi Dastani. 2015. Programming multi-agent systems. The Knowledge Engineering Review 30(4)394−418, doi: 10.1017/S0269888915000077

Article Metrics

Article views(24) PDF downloads(132)

Other Articles By Authors

RESEARCH ARTICLE   Open Access    

Programming multi-agent systems

The Knowledge Engineering Review  30 2015, 30(4): 394−418  |  Cite this article

Abstract: Abstract: With the significant advances in the area of autonomous agents and multi-agent systems in the last decade, promising technologies for the development and engineering of multi-agent systems have emerged. The result is a variety of agent-oriented programming languages, development frameworks, execution platforms, and tools that facilitate building and engineering of multi-agent systems. This paper provides an overview of the multi-agent programming research field and explains the aim and characteristics of various multi-agent programming languages and development frameworks. This overview is complemented with a discussion on the current trends and challenges in this research community.

    • The author would like to offer special thanks to anonymous reviewers for their valuable and constructive comments. They have helped to improve the quality of this paper.

    • ln contrast to direct communication by means of send and receive messages, a shared environment can be used to communicate indirectly by reading and writing information from/to it.

    • © Cambridge University Press, 2015 2015Cambridge University Press
References (106)
  • About this article
    Cite this article
    Mehdi Dastani. 2015. Programming multi-agent systems. The Knowledge Engineering Review 30(4)394−418, doi: 10.1017/S0269888915000077
    Mehdi Dastani. 2015. Programming multi-agent systems. The Knowledge Engineering Review 30(4)394−418, doi: 10.1017/S0269888915000077
  • Catalog

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return