Responsibility Anticipation and Attribution in LTLf

De Giacomo, Giuseppe; Lorini, Emiliano; Parker, Timothy; Parretti, Gianmarco

doi:10.24963/ijcai.2025/6

Responsibility Anticipation and Attribution in LTLf

Giuseppe De Giacomo, Emiliano Lorini, Timothy Parker, Gianmarco Parretti

Download BibTeX Cite

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. Main Track. Pages 47-55.

https://doi.org/10.24963/ijcai.2025/6

Keywords

Knowledge Representation and Reasoning: KRR: Reasoning about actions
AI Ethics, Trust, Fairness: ETF: Moral decision making
Agent-based and Multi-agent Systems: MAS: Formal verification, validation and synthesis
Agent-based and Multi-agent Systems: MAS: Agent theories and models

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.

Giuseppe De Giacomo, Emiliano Lorini, Timothy Parker, and Gianmarco Parretti. 2025. Responsibility Anticipation and Attribution in LTLf. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25. IJCAI, 47–55. https://doi.org/10.24963/ijcai.2025/6

@inproceedings{ijcai2025p6,
  title     = {Responsibility Anticipation and Attribution in LTLf},
  author    = {De Giacomo, Giuseppe and Lorini, Emiliano and Parker, Timothy and Parretti, Gianmarco},
  booktitle = {Proceedings of the Thirty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-25}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {James Kwok},
  pages     = {47--55},
  year      = {2025},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2025/6},
  url       = {https://doi.org/10.24963/ijcai.2025/6},
}

TY  - CPAPER
TI  - Responsibility Anticipation and Attribution in LTLf
AU  - De Giacomo, Giuseppe
AU  - Lorini, Emiliano
AU  - Parker, Timothy
AU  - Parretti, Gianmarco
T2  - Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2025
SP  - 47
EP  - 55
DO  - 10.24963/ijcai.2025/6
UR  - https://doi.org/10.24963/ijcai.2025/6
ER  -