Reasoning About Responsibility for Taking Risks

Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder

Keywords: Responsibility, Logics for MAS, Probabilistic Logic

Abstract:

Tracing responsibility and assigning blame to decision-
making actors in multi-agent systems has drawn attention of
MAS community 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 axiomatisation, a decidable satisfiability problem, and an efficient model-checking procedure.

Area: Representation and Reasoning (RR)

Generative A I: I acknowledge that I have read and will follow this policy.

Submission Number: 1231