Abstract
In this paper, we describe the strategies used by our team, MLFC, that led us to achieve the 2\(^{nd}\) place in the 15\(^{th}\) edition of the Multi-Agent Programming Contest. The scenario used in the contest is an extension of the previous edition (14\(^{th}\)) “Agents Assemble” wherein two teams of agents move around a 2D grid and compete to assemble complex block structures. We discuss the languages and tools used during the development of our team. Then, we summarise the main strategies that were carried over from our previous participation in the 14\(^{th}\) edition and list the limitations (if any) of using these strategies in the latest contest edition. We also developed new strategies that were made specifically for the extended scenario: cartography (determining the size of the map); formal verification of the map merging protocol (to provide assurances that it works when increasing the number of agents); plan cache (efficiently scaling the number of planners); task achievement (forming groups of agents to achieve tasks); and bullies (agents that focus on stopping agents from the opposing team). Finally, we give a brief overview of our performance in the contest and discuss what we believe were our shortcomings.
Work supported by UK Research and Innovation, and EPSRC Hubs for “Robotics and AI in Hazardous Environments”: EP/R026092 (FAIR-SPACE) and EP/R026084 (RAIN). Cardoso’s work is also supported by Royal Academy of Engineering under the Chairs in Emerging Technologies scheme.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
- 3.
The source code for MLFC is available and can be downloaded from the following URL: https://github.com/autonomy-and-verification-uol/mapc2020-lfc.
- 4.
- 5.
- 6.
- 7.
Clear events occur randomly, but agents have access to a clear action which has a reduced area of effect but otherwise functions the same. A clear event/action will remove any obstacles or blocks and disable any agents that are inside its area of effect.
- 8.
An example of a problem file that was generated dynamically during one of the matches can be found at: https://github.com/autonomy-and-verification-uol/mapc2020-lfc/blob/master/planner/example_problem.pddl.
- 9.
Failures of a movement action are tracked for the agent to have an up-to-date idea of the distance to its destination.
- 10.
When \(A_1\) and \(A_2\) first adopt the role of cartographers, they need to retain the distance between them, as this initial distance has to be added to the final sum.
- 11.
The mapped values are not semantically relevant, as long as is preserved for all mappings.
References
Ahlbrecht, T., Dix, J., Fiekas, N., Krausburg, T.: The multi-agent programming contest: A Résumé. In: Ahlbrecht, T., Dix, J., Fiekas, N., Krausburg, T. (eds.) MAPC 2019. LNCS (LNAI), vol. 12381, pp. 3–27. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-59299-8_1
Boehm, B.: Verifying and validating software requirements and design specifications. IEEE Softw. 1(1), 75–88 (1984). https://doi.org/10/b8ftdf. http://ieeexplore.ieee.org/document/1695100/
Boissier, O., Bordini, R., Hubner, J., Ricci, A.: Multi-Agent Oriented Programming: Programming Multi-Agent Systems Using JaCaMo. Intelligent Robotics and Autonomous Agents Series, MIT Press (2020). https://books.google.com.br/books?id=GM_tDwAAQBAJ
Boissier, O., Bordini, R.H., Hübner, J.F., Ricci, A., Santi, A.: Multi-agent oriented programming with JaCaMo. Sci. Comput. Program. 78, 747–761 (2011)
Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley, Hoboken (2007)
Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)
Cardoso, R.C., Dennis, L.A., Farrell, M., Fisher, M., Luckcuck, M.: Towards compositional verification for modular robotic systems. In: Second Workshop on Formal Methods for Autonomous Systems (FMAS 2020), vol. 329, pp. 15–22. Electronic Proceedings in Theoretical Computer Science, December 2020. https://doi.org/10/gj98fx. http://arxiv.org/abs/2012.01648v1
Cardoso, R.C., Farrell, M., Luckcuck, M., Ferrando, A., Fisher, M.: Heterogeneous verification of an autonomous curiosity rover. In: Lee, R., Jha, S., Mavridou, A., Giannakopoulou, D. (eds.) NFM 2020. LNCS, vol. 12229, pp. 353–360. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-55754-6_20
Cardoso, R.C., Ferrando, A., Papacchini, F.: LFC: combining autonomous agents and automated planning in the multi-agent programming contest. In: Ahlbrecht, T., Dix, J., Fiekas, N., Krausburg, T. (eds.) MAPC 2019. LNCS (LNAI), vol. 12381, pp. 31–58. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-59299-8_2
Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3 — a modern refinement checker for CSP. In: Ábrahám, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 187–201. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54862-8_13
Helmert, M.: The fast downward planning system. J. Artif. Intell. Res. 26, 191–246 (2006). https://doi.org/10.1613/jair.1705
Helmert, M.: Concise finite-domain representations for PDDL planning tasks. Artif. Intell. 173(5–6), 503–535 (2009). https://doi.org/10.1016/j.artint.2008.10.013
Hoare, C.A.R.: Communicating sequential processes. Comms. ACM 21(8), 666–677 (1978). https://doi.org/10.1145/359576.359585
Hübner, J.F., Sichman, J.S., Boissier, O.: Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels. Int. J. Agent-Orient. Softw. Eng. 1(3/4), 370–395 (2007)
Luckcuck, M., Cardoso, R.C.: Formal verification of a map merging protocol in the multi-agent programming contest. arXiv:2106.04512 [cs], June 2021
Mcdermott, D., et al.: PDDL - the planning domain definition language. Technical report TR-98-003, Yale Center for Computational Vision and Control (1998)
Rao, A.S., Georgeff, M.: BDI agents: from theory to practice. In: Proceedings of the 1st International Conference on Multi-Agent Systems (ICMAS), San Francisco, USA, pp. 312–319, June 1995
Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pp. 473–484. Morgan Kaufmann publishers Inc., San Mateo (1991)
Ricci, A., Piunti, M., Viroli, M., Omicini, A.: Environment programming in CArtAgO. In: El Fallah Seghrouchni, A., Dix, J., Dastani, M., Bordini, R.H. (eds.) Multi-Agent Programming, pp. 259–288. Springer, Boston (2009). https://doi.org/10.1007/978-0-387-89299-3_8
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Cardoso, R.C., Ferrando, A., Papacchini, F., Luckcuck, M., Linker, S., Payne, T.R. (2021). MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. In: Ahlbrecht, T., Dix, J., Fiekas, N., Krausburg, T. (eds) The Multi-Agent Programming Contest 2021. MAPC 2021. Lecture Notes in Computer Science(), vol 12947. Springer, Cham. https://doi.org/10.1007/978-3-030-88549-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-88549-6_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-88548-9
Online ISBN: 978-3-030-88549-6
eBook Packages: Computer ScienceComputer Science (R0)