COVID-19缓解策略需求调研。第二部分：需求获取
A Survey of Requirements for COVID-19 Mitigation Strategies. Part II: Elicitation of Requirements
AI总结：
本文针对COVID-19缓解策略，提出利用多智能体系统作为研究其基本属性的通用平台，通过从媒体片段中提炼属性列表，并结合多智能体逻辑进行形式化规范。
摘要：
COVID-19大流行几乎影响了我们生活的方方面面。世界各国基于社会、政治和技术手段实施了各种缓解策略。我们假设多智能体系统可以提供一个通用平台来研究（并平衡）其基本属性。我们还展示了如何通过从媒体片段中“提炼”来获得这些属性的全面列表。最后，我们利用多智能体逻辑的思想，提出了对其形式化规范的初步探讨。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
