actual-causality

本文应用Halpern & Pearl的实际因果关系理论到故障树，通过回答系统为何发生故障来实现故障诊断。它对实际因果关系的概念进行了分类，将其与最小割集联系起来，并讨论了计算复杂性和算法。