Reasoning About Responsibility for Taking Risks

Tracing responsibility and assigning blame to decision-making actorsinmulti-agentsystemshasdrawnattentionofMAScommunity in recent years. Existing approaches have proposed several definitions for multi-agent responsibility, but while these definitions differ in details, most of them agree that responsibility for some event may be allocated to agents only if the event is actually realized. In this paper, we argue that in many scenarios this restriction is too strong and that an undesirable outcome may be understood as a (high) risk of some event, and not necessarily as the realization of the event. To cover such cases, we propose a logical framework for reasoning about various notions of multi-agent responsibility for taking risks. The proposed logic contains primitives for probability, strategic power, time and knowledge modalities, which, as we demonstrate, allow to express various notions of group responsibility in probabilistic settings. As the main result we prove that the proposed logic has a complete axiomatization, a decidable satisfiability problem, and an efficient model-checking procedure.

Authors

• Maksim Gladyshev Utrecht University
• Natasha Alechina Open University
• Mehdi Dastani Utrecht University
• Dragan Doder Utrecht University

Keywords

• Responsibility
• Logics for MAS
• Probabilistic Logic