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大流行几乎影响到我们生活的方方面面。 在全世界,各国都应用了基于社会、政治和技术手段的各种减缓战略。 我们假设多试剂系统可以提供一个共同的平台来研究(和平衡)其基本特性。 我们还展示了如何通过“从媒体片段中蒸馏”来获得一个全面的属性清单。 最后,我们用多试剂逻辑的理念初步介绍了它们的正式规格。