arXiv cs.RO· Tom Yaacov, Khen Elimelech, Hana Chockler, Moshe Y. Vardi·· 2 小时前AI 评分45
自主系统故障分析的充分与必要因果解释
Sufficient and Necessary Causal Explanations for the Analysis of Autonomous Systems
AI 导读
arXiv 论文提出将自主系统故障分析区分为复现与避免两个目标，并形式化"必要因果解释"概念，与既有"充分解释"共同构成统一的因果分析框架。论文基于实际因果性（actual causality）与因果责任（causal responsibility）给出生成必要解释的高效近似算法，并在多个环境中评估效率，通过反事实生成验证其在故障避免上优于现有方法。
来源：arXiv cs.RO · arxiv.org