Formal Modelling of Salience and Cognitive Load

16Citations
Citations of this article
21Readers
Mendeley users who have this article in their library.

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

Cite

CITATION STYLE

APA

Rukšenas, R., Back, J., Curzon, P., & Blandford, A. (2008). Formal Modelling of Salience and Cognitive Load. Electronic Notes in Theoretical Computer Science, 208(C), 57–75. https://doi.org/10.1016/j.entcs.2008.03.107

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free