A Survey of Requirements for COVID-19 Mitigation Strategies. Part II: Elicitation of Requirements

TL;DR

This paper reviews the requirements for COVID-19 mitigation strategies, focusing on eliciting properties from media and proposing formal specifications using multi-agent logic to better understand and balance mitigation measures.

Contribution

It introduces a novel approach to extract properties of mitigation strategies from media snippets and offers a preliminary formal specification framework based on multi-agent logics.

Findings

Properties of mitigation strategies can be systematically extracted from media sources.

A formal specification approach for these properties is proposed.

The framework aids in analyzing and balancing mitigation strategies.

Abstract

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.