Анализ «почему–потому » ( WBA ) — это метод анализа аварий с использованием теории графов . [1] Он не зависит от области применения и использовался для анализа, среди прочего, авиационных, железнодорожных, морских и компьютерных аварий и инцидентов. Он в основном используется как метод анализа постфактум (или апостериорный ). WBA стремится обеспечить объективность, фальсифицируемость и воспроизводимость результатов.
Результатом WBA является граф «почему–потому что » ( WBG ), тип причинно-следственной нотации , используемый для представления взаимозависимостей внутри системы. WBG изображает причинно-следственные связи между факторами несчастного случая. Это направленный ациклический граф , где узлы графа являются факторами. Направленные ребра обозначают причинно-следственные связи между факторами.
WBA начинается с вопроса «О какой аварии или авариях идет речь?». В большинстве случаев это легко определить. Далее следует итеративный процесс определения причин. Когда причины аварии выявлены, ко всем потенциальным причинно-следственным связям применяются формальные тесты. Этот процесс может быть повторен для вновь обнаруженных причин и так далее, пока не будет достигнут удовлетворительный результат.
В каждом узле (факторе) каждая способствующая причина (связанный фактор) должна была быть необходимой для возникновения аварии, а совокупность причин должна была быть достаточной для этого.
Контрфактуальный тест (CT) – CT возвращает нас к формальному понятию причинности и контрфактуальностей Дэвида Льюиса . CT задает следующий вопрос: «Если бы не было причины, могло бы произойти следствие?». CT доказывает или опровергает, что причина является необходимым причинным фактором для следствия. Только если она необходима для рассматриваемой причины, то она явно способствует следствию.
Тест на каузальную достаточность – CST задает вопрос: «Всегда ли будет иметь место эффект, если все приписанные причины имеют место?». CST стремится решить, достаточен ли набор причин для возникновения эффекта. Таким образом можно определить отсутствие причин.
Только если для всех причинно-следственных связей CT положителен и для всех наборов причин к их следствиям CST положителен, то WBG верна: каждая причина должна быть необходимой (CT), а совокупность причин должна быть достаточной (CST): ничто не упущено (CST: перечисленные причины достаточны), и ничто не является лишним (CT: каждая причина необходима).
