多智能体系统的建模：膜计算的经验和未来的挑战
Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges
摘要：
多智能体系统（MAS）的形式化建模是一项具有挑战性的任务，由于高度的复杂性，交互性，并行性和不断变化的角色和组织之间的代理。在本文中，我们记录了我们的研究经验，形式化建模的MAS。我们回顾了我们在过去十年中的研究，描述了我们遇到的问题，以及我们为解决这些问题和提供解决方案所做的决定。这项工作的大部分涉及膜计算和类的P系统，如组织和人口的P系统，有针对性的建模MAS的动态结构是一个突出的特点。更具体地说，社会性昆虫（如蚁群、蜜蜂等），生物学启发的群体和系统的紧急行为是指示性的例子，我们开发了正式的MAS模型。在这里，我们的目标是审查我们的工作，并传播我们的研究结果，研究人员谁可能面临类似的挑战，此外，讨论重要的问题，推进膜计算在MAS建模中的应用研究。
英文摘要：
Formal modelling of Multi-Agent Systems (MAS) is a challenging task due to high complexity, interaction, parallelism and continuous change of roles and organisation between agents. In this paper we record our research experience on formal modelling of MAS. We review our research throughout the last decade, by describing the problems we have encountered and the decisions we have made towards resolving them and providing solutions. Much of this work involved membrane computing and classes of P Systems, such as Tissue and Population P Systems, targeted to the modelling of MAS whose dynamic structure is a prominent characteristic. More particularly, social insects (such as colonies of ants, bees, etc.), biology inspired swarms and systems with emergent behaviour are indicative examples for which we developed formal MAS models. Here, we aim to review our work and disseminate our findings to fellow researchers who might face similar challenges and, furthermore, to discuss important issues for advancing research on the application of membrane computing in MAS modelling.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
