Table 2 The FOL rules for developing the MLN L suitable for emergency response in FIRE and EVACUATE emergencies

1.

¬L(ag, al, t) ⇒ ¬R (ag, al, t)

2.

L(ag, + al,t)^HITR(ag, + mloc,t)^ BST(ag, + al,t) ⇒ R(ag, + al,t)

3.

L(ag, al, t) ⇒ HSES(ag)

4.

ST(ag, thrt, t) ⇒ HSES(ag)

5.

  (HFO(ag, + p_a,t)^FPA(ag, + p_a,t)^KETPA(+p_a, + emgType))v

  (ST(ag, + thrt,t)^KETT(+thrt, + emgType))v

  (L(ag, + al,t)^HITR(ag, + mloc,t)^KETA(+al, + emgType)^BST(ag, + al,t))

      ⇒ HES(ag, +emgType, t)

6.

HES(ag,FIRE,t0)^HES(ag,EVACUATE,t1)^Gt(t1,t0)

      ⇒ ¬HES(ag, FIRE, t1)

7.

HES(ag,FIRE,t) ⇒ ¬HES(ag, EVACUATE,t)

8.

HES(ag, EVACUATE, t) ⇒ ¬HES(ag, FIRE, t)

9.

HFO(ag, +p_a, + t)^FPA(ag, +p_a, + t)^KMLPA(+p_a, + mloc)

      ⇒ HITR(ag, + mloc, + t)

10.

L(ag, + al,t)^R(ag, + al,t)^BST(ag, + al,t)^KMLA (+al, + mloc)

      ⇒ HITR(ag, + mloc,t)