On Quantitative Analysis of Responsibility in Multiagent Systems

The analysis of responsibility in multi-agent systems is typically binarywithanagenteitherbeing, ornotbeingresponsibleforsome outcome. In this paper we describe a framework built on a variant of probabilistic alternating-time temporal logic through which we can capture different types of causal responsibility, and provide different measures for the amount of causal responsibility one can ascribe on an agent.

Authors

• Chunyan Mu University of Aberdeen
• Nir Oren University of Aberdeen

Keywords

• MASs
• Responsibility Measurement
• Formal Verification