Group Responsibility for Exceeding Risk Threshold

Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review


The need for tools and techniques to formally analyze and trace the responsibility for unsafe outcomes to decision-making actors is urgent. Existing formal approaches assume that the unsafe outcomes for which actors can be held responsible are actually realized. This paper considers a broader notion of responsibility where unsafe outcomes are not necessarily realized, but their probabilities are unacceptably high. We present a logic combining strategic, probabilistic and temporal primitives designed to express concepts such as the risk of an undesirable outcome and being responsible for exceeding a risk threshold. We demonstrate that the proposed logic is complete and decidable.
Original languageEnglish
Title of host publicationProceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023
EditorsPierre Marquis, Tran Cao Son, Gabriele Kern-Isberner
ISBN (Electronic)9781956792027
Publication statusPublished - 2023


Dive into the research topics of 'Group Responsibility for Exceeding Risk Threshold'. Together they form a unique fingerprint.

Cite this