
なぜ~だから分析( WBA ) は、グラフ理論を用いた事故分析の手法です。[ 1 ]これは適用領域に依存せず、航空、鉄道、海事、コンピュータ関連の事故やインシデントの分析などに使用されてきました。主に事後分析 (または事後) 手法として使用され、結果が客観的で、反証可能で、再現可能であることを保証するために適用されます。このような分析の結果は、なぜ~だからグラフ( WBG ) であり、システム内の相互依存関係を表し、事故の要因間の因果関係を示すために使用される因果表記の一種です。これは有向非巡回グラフであり、そのノードは要因です。有向エッジは、要因間の因果関係を示します。
なぜなら、分析は事故の性質に関する質問(多くの場合、定義は容易)から始まり、原因を特定するための反復プロセスが続くからです。事故の原因が特定されると、考えられるすべての因果関係に対して正式なテストが適用されます。このプロセスは、新たに発見された原因に対しても繰り返し行われ、満足のいく結果が得られるまで続きます。各ノード(要因)において、それぞれの寄与要因(関連要因)が事故を引き起こすために必要であり、原因の総体が事故を引き起こすのに十分でなければなりません。
反事実テスト(CT)は、デイビッド・ルイスの因果関係と反事実に関する形式的な概念に立ち返る。このテストは、ある結果が特定の原因なしに発生したかどうかを判断し、原因が結果にとって必要不可欠な因果関係であることを証明または反証する。原因と結果の間に明確な関連性が確立されるのは、その結果がその原因なしには発生し得ない場合に限られる。
因果的十分性テスト(CST)は、想定されるすべての原因が同時に発生した場合に、特定の結果が必ず生じるかどうかを判断するものです。その目的は、一連の原因が結果の発生に十分であるかどうかを判断することです。これにより、不足している原因を特定することができます。
なぜ~であるのかを示すグラフが正しいのは、すべての因果関係と、原因から結果に至るすべての集合について、因果的十分性テストが肯定的な場合に限られる。