Formal Modelling of Salience and Cognitive Load

Authors:
R. Rukšėnas;J. Back;P. Curzon;A. Blandford
Affiliations:
Dept. of Computer Science, Queen Mary, University of London, London, UK;University College London Interaction Centre, London, UK;Dept. of Computer Science, Queen Mary, University of London, London, UK;University College London Interaction Centre, London, UK
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 6
Cited 1

Unified theories of cognition

Unified theories of cognition
An Investigation of the Therac-25 Accidents

Computer
Detecting Multiple Classes of User Errors

EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Slip errors and cue salience

Proceedings of the 14th European conference on Cognitive ergonomics: invent! explore!
Syndetic modelling

Human-Computer Interaction
Formal modelling of cognitive interpretation

DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification

Generating phenotypical erroneous human behavior to evaluate human-automation interaction using model checking

International Journal of Human-Computer Studies

Quantified Score

Hi-index	0.00

Visualization

Abstract

Well-designed interfaces use procedural and sensory cues to increase the salience of appropriate actions and intentions. However, empirical studies suggest that cognitive load can influence the strength of procedural and sensory cues. We formalise the relationship between salience and cognitive load revealed by empirical data. We add these rules to our abstract cognitive architecture developed for the verification of usability properties. The interface of a fire engine dispatch task used in the empirical studies is then formally verified to assess the salience and load rules. Finally, we discuss how the formal modelling and verification suggests further refinements of the rules derived from the informal analysis of empirical data.