UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Formal Modelling of Salience and Cognitive Load

Rukšenas, R; Curzon, P; Back, J; Blandford, A; (2008) Formal Modelling of Salience and Cognitive Load. In: Electronic Notes in Theoretical Computer Science. (pp. 57 - 75). Green open access

[thumbnail of 16820.pdf]

Download (435kB)


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. © 2008 Elsevier B.V. All rights reserved.

Type: Proceedings paper
Title: Formal Modelling of Salience and Cognitive Load
Open access status: An open access version is available from UCL Discovery
DOI: 10.1016/j.entcs.2008.03.107
UCL classification: UCL > Provost and Vice Provost Offices > School of Life and Medical Sciences > Faculty of Brain Sciences > Div of Psychology and Lang Sciences > UCL Interaction Centre
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: https://discovery.ucl.ac.uk/id/eprint/16820
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item