Comparison between Causal and ATL-style logic approaches to modeling responsibility and blameworthiness
Veronika Hoffmann · Utrecht University Repository (Utrecht University) · 2020
The capability to model responsibility and blameworthiness is becoming more important as automated systems increase in complexity.So, in this literature review the causal model described by Halpern [7,9] and the logical model based on ATL-style semantics [10,11,12,13] are compared in their approach to modeling responsibility and blameworthiness.Further, the causal models' definitions are translated in logic and vise versa.First an example situation described, which the models will be based upon.Next the literature is explained and the models and their approaches to modeling responsibility and blameworthiness are defined.This is followed by comparing their modeling results and expressing the the causal models' definitions in logic.So we can see how a causal model can be expressed in logic when modeling responsibility and blameworthiness.