From: Situation awareness modeling for emergency management on offshore platforms
Variables | Predicate name | Parameter types | Description |
---|---|---|---|
Listens | L | (agent, alarm, time) | An agent listens to an alarm during time interval time |
Recognizes | R | (agent, alarm, time) | An agent recognizes an alarm during time |
HasIntentToReach | HITR | (agent, musterLoc, time) | An agent has intention to reach a muster location during time |
HasEmrgSit | HES | (agent, emgSitType, time) | An agent has an emergency situation during time |
SeesThreat | ST | (agent, threatType, time) | An agent sees a threat during time |
HasFocusOn | HFO | (agent, pa, time) | An agent has focus on a PA during time |
HasSomeEmrgSit | HSES | (agent) | An agent gets a sense of some emergency situation |
FollowsPA | FPA | (agent, pa, time) | An agent understands and follows a PA during time |
KnowsEmrgTypeOfAlarm | KETA | (emgSitType, alarm) | An agent knows which alarm is used in a given emergency type |
KnowsEmrgTypeOfThreat | KETT | (threatType, emgSitType) | An agent knows which threat type would give rise to a particular emergency situation |
KnowsEmrgTypeOfPA | KETPA | (pa, emgSitType) | An agent knows what emergency situation is being announced in PA |
BeforeSeeingThreat | BST | (agent, alarm, time) | BST is paired with HITR with logical ‘and’ connective to mean that HITR is true only when the agent has determined the muster location before seeing a threat |