Researches on operators' mental model for structure of operations based on situation theory
Hidetsugu Suto, Hiroshi Kawakami, O. Katai · Society of Instrument and Control Engineers of Japan · 2004
A representational scheme for describing the mental model of an operator for performing operations is discussed. Situation theory is introduced into a representational model of operator behavior based on Petri nets and modal logic formulae. In this framework, restrictions tuned by operators are considered, leading to an intuitive representation of the transition of the operator's mental model through interaction with the system. A method for translating restrictions into temporal modal logic formulae as tasks is also considered.