Reasoning about Exceeding Risk Threshold

The problem of tracing the responsibility for unsafe outcomes to decision-making actors in multi-agent systems is urgent. While all existing approaches focus on deterministic outcomes, assuming that (a group of) agents can be held responsible for φ only if φ actually happens and agents could act differently to prevent φ, we find this notion of responsibility insufficient in many scenarios. In this work we combine coalition ability operator [G] from [12] with a probabilistic operator Lα from [5] that allow us to reason about probabilities and their changes. This approach allows us to claim that a group of agents can be held responsible for the unsafe outcome even if this outcome does not actually happen, but the group has caused its probability to be increased to an (unacceptably) high level. The proposed logic could be useful for analysing and assigning responsibility to groups of agents for their risky and unsafe behaviors. Finally, we establish (weak) completeness and decidability results for the proposed logic.

Authors

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

Keywords

• Risk · Probabilistic Logic · Coalition Logic.