Table 3 A sample of validation data for two participants, P1G1 and P2G1

L(agent, alarm, time)

Y: P1G1, GPA,t0;

Y: P1G1, PAPA,t1;

Y: P2G1, GPA, t0

Y: P2G1, PAPA, t1

HML(alarm,musterlocation)

Y: GPA, MSH;

Y: PAPA, LFB;

Y: GPA, MSH

Y: PAPA, LFB

HITR(agent,musterlocation,time)

Y: P1G1,MSH, t0;

Y:P1G1, MSH, t1;

Y:P1G1, LFB, t1;

N: P1G1, LFB,t0;

Y: P2G1,MSH, t0

Y: P2G1,LFB, t1

R(agent,alarm,time)

Y: P1G1, GPA, t0;

N: P1G1, PAPA, t1;

Y: P2G1, GPA, t0

Y: P2G1, PAPA, t1

HSES(agent)

Y: P1G1;

Y: P2G1

ST(agent,threat,time)

Y: P1G1, SMK_MSHA, t1;

Y: P1G1, SMK_STAI, t1;

Y: P1G1, SMK_VENT, t1

Y:P2G1,SMK_VENT,t0

HES(agent,emergencyType, time)

Y: P1G1, FIRE, t0;

Y: P1G1, FIRE, t1;

Y: P1G1, EVACUATE, t1

Y: P2G1,FIRE, t0

Y: P2G1,EVACUATE,t1

HFO(agent,PA,time)

Y: P1G1, PA_GPA, t0;

N: P1G1, PA_PAPA, t1

Y: P2G1,PA_GPA,t0

Y: P2G1,PA_PAPA,t1

FPA(agent,PA,time)

Y: P1G1, PA_GPA, t0;

Y: P1G1, PA_PAPA,t1;

Y:P2G1,PA_GPA,t0

Y: P2G1, PA_PAPA,t1

KETA(alarm,emergencyType)

Y: GPA, FIRE;

Y: PAPA, EVACUATE;

Y: GPA, FIRE

Y: PAPA, EVACUATE

KETT(threat, emergencyType)

Y: SMK_VENT,EVACUATE;

Y: SMK_STAI,FIRE;

Y: SMK_MSHA, EVACUATE;

Y: SMK_VENT,EVACUATE

Y: SMK_STAI,FIRE

Y:SMK_MSHA,EVACUATE

KETPA(PA, emergencyType)

Y: PA_GPA, FIRE;

Y: PA_PAPA,EVACUATE;

Y: PA_GPA, FIRE

Y: PA_PAPA, EVACUATE

Greater(time,time)

Y: t1, t0;

Y: t1, t0