The COVID-19 pandemic has influenced virtually all aspects of our lives. Across the world, countries have applied various mitigation strategies, based on social, political, and technological instruments. We postulate that multi-agent systems can provide a common platform to study (and balance) their essential properties. We also show how to obtain a comprehensive list of the properties by "distilling" them from media snippets. Finally, we present a preliminary take on their formal specification, using ideas from multi-agent logics.

翻译：COVID-19大流行已影响到我们生活的几乎所有方面。世界各国基于社会、政治和技术手段实施了各种缓解策略。我们假设多智能体系统可以提供一个通用平台来研究（并平衡）这些策略的基本属性。我们还展示了如何通过从媒体报道片段中"提炼"这些属性来获得一份全面的属性清单。最后，我们利用多智能体逻辑的思想，对这些属性的形式化规范进行了初步探讨。