LTLf 中责任归因与预测的计算 grounding
人工智能
2024-10-21 v1
摘要
责任是机器伦理和自主系统领域的关键概念，涉及对行动与策略的反事实推理。在本文中，我们基于LTLf研究不同变体的责任在战略性情境下的表现。我们展示了与反应性综合概念的联系，包括胜利策略、主导策略和最佳努力策略的综合。这种联系为责任的计算 grounding 提供了构建模块，包括复杂度特征以及对归因和预测责任的正确、完整且最优的算法。
引用
@article{arxiv.2410.14544,
title = {Computational Grounding of Responsibility Attribution and Anticipation in LTLf},
author = {Giuseppe De Giacomo and Emiliano Lorini and Timothy Parker and Gianmarco Parretti},
journal= {arXiv preprint arXiv:2410.14544},
year = {2024}
}