Responsibility Anticipation and Attribution in LTLf
Giuseppe De Giacomo, Emiliano Lorini, Timothy Parker, Gianmarco Parretti
Abstract
Responsibility is one of the key notions in machine ethics and in the area of autonomous systems. It is a multi-faceted notion involving counterfactual reasoning about actions and strategies. In this paper, we study different variants of responsibility for LTLf outcomes based on strategic reasoning. We show a connection with notions in reactive synthesis, including the synthesis of winning, dominant, and best-effort strategies. This connection provides a strong computational grounding of responsibility, allowing us to characterize the worst-case computa- tional complexity and devise sound, complete, and optimal algorithms for anticipating and attributing responsibility.
BibTeX
@inproceedings{ijcai2025_responsibilityan,
title = {Responsibility Anticipation and Attribution in LTLf},
author = {Giuseppe De Giacomo and Emiliano Lorini and Timothy Parker and Gianmarco Parretti},
booktitle = {IJCAI 2025},
year = {2025}
}