Error Prediction
Computational Reasoning
The error-free execution of tasks relies on cues from various sources, including the environment (e.g. visual cues), procedural cueing (in which habituation causes task steps to become associatively linked) and domain-based cueing (in which someone uses their knowledge of what they are trying to achieve and seeks opportunities to act). Several manifestations of slip errors can be reliably predicted by including various types of cueing mechanisms into a computational user model. Computational reasoning can be used to give deeper insight into a programme of experimental research. My future research will help provide the basis for techniques and tools to detect medical devices that are likely to be prone to human error. Moreover interventions that are shown to assist interruption management, for example, will be added to a generalisable account of device interaction patterns, rather than one that only explains issues specific to a particular device.
In many approaches a model is individually crafted for each new device. To avoid this, we adopt the approach of providing a generic model of behaviour based on results from laboratory studies. It is then instantiated with the unique details for different scenarios. Our model covers such aspects of cognition as non-deterministic choice between salient actions, reactive, goal-based and task termination behaviour. Erroneous actions emerge from the cognitively plausible behaviour specified.
1. Rukšėnas, R., Back, J., Curzon, P. & Blandford, A. (in press) Verification-Guided Modelling of Salience and Cognitive Load. Formal Aspects of Computing. Abstract (HTML), Pre-Print (PDF)
2. Ruksenas, R., Back, J., Curzon, P. & Blandford, A. (2008). Formal Modelling of Salience and Cognitive Load. In Proceedings FMIS 2007, Electronic Notes in Theoretical Computer Science.Vol. 208 pp57-75. Abstract (HTML), Pre-print (PDF)
3. Ruksenas, R., Curzon, P., Back, J., & Blandford, A. (2007). Formal Modelling of Cognitive Interpretation. In Proceedings of DSVIS 2006. Lecture Notes in Computer Science. Vol. 4323 pp123-136. Abstract (HTML), Pre-print (PDF)
4. Rukšėnas, R., Curzon, P., Blandford, A. & Back, J. (2008). Combining Human Error Verification and Timing Analysis. In Proc. Engineering Interactive Systems (EIS 2007), LNCS. Abstract (HTML), Pre-print (PDF)