From: Situation awareness modeling for emergency management on offshore platforms
# | Rules | w D1 | w D2 |
---|---|---|---|
1 | ¬L(ag,al,t) ⇒ ¬R(ag,al,t). | ∞ | ∞ |
2 | L(ag,GPA,t)^HITR(ag,MSH,t)^BST(ag, + al,t) ⇒ R(ag, + al,t) | 2.09 | 1.95 |
3 | L(ag,PAPA,t)^HITR(ag,MSH,t)^BST(ag, + al,t) ⇒ R(ag, + al,t) | 0.57 | 0.15 |
4 | L(ag,PAPA,t)^HITR(ag,LFB,t)^BST(ag, + al,t) ⇒ R(ag, + al,t) | 2.66 | 2.71 |
5 | L(ag,al,t) ⇒ HSES(ag) | 1.27 | 1.4 |
6 | L(ag,al,t)^ ¬R(ag,al,t) ⇒ HSES(ag) | 0.32 | 0.36 |
7 | ST(ag,thrt,t) ⇒ HSES(ag) | 0.93 | 1.01 |
8 | (HFO(ag,PA_GPA,t)^FPA(ag, + p_a,t)^KETPA(+p_a,FIRE))v(ST(ag,SMK_VENT,t)^KETT(+thrt, + eTyp))v(L(ag,GPA,t)^HITR(ag,MSH,t)^ KETA(+al, + eTyp)^BST(ag, + al,t)) ⇒ HES(ag, + eTyp,t) | 0.30 | 0.30 |
9 | (HFO(ag,PA_GPA,t)^FPA(ag, + p_a,t)^KETPA(+p_a,FIRE))v(ST(ag,SMK_VENT,t)^KETT(+thrt, + eTyp))v(L(ag,GPA,t)^HITR(ag,LFB,t)^ KETA(+al, + eTyp)^BST(ag, + al,t)) ⇒ HES(ag, + eTyp,t) | 0.20 | 0.25 |
10 | HES(ag,FIRE,t) ⇒ ¬HES(ag,EVACUATE,t) | 1.38 | 1.47 |
11 | HES(ag,EVACUATE,t) ⇒ ¬HES(ag,FIRE,t) | 1.38 | 1.47 |
12 | HES(ag,FIRE,t0)^HES(ag,EVACUATE,t1)^Gt(t1,t0) ⇒ ¬HES(ag,FIRE,t1) | − 1.54 | − 0.45 |