Formal modelling of cognitive interpretation

Authors:
Rimvydas Rukšėnas;Paul Curzon;Jonathan Back;Ann Blandford
Affiliations:
Department of Computer Science, Queen Mary, University of London, London, UK;Department of Computer Science, Queen Mary, University of London, London, UK;University College London Interaction Centre, London, UK;University College London Interaction Centre, London, UK
Venue:
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
Year:
2006

Citing 7
Cited 4

Unified theories of cognition

Unified theories of cognition
Expertise and the perception of shape in information

Journal of the American Society for Information Science
Formal architectural abstractions for interactive software

International Journal of Human-Computer Studies
Spatial-semantics: how users derive shape from information space

Journal of the American Society for Information Science - Special topic issue: individual differences in virtual environments
Detecting Multiple Classes of User Errors

EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
A Rigorous View of Mode Confusion

SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Formal Analysis of Human-computer Interaction using Model-checking

SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods

Detecting Cognitive Causes of Confidentiality Leaks

Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Modelling of Salience and Cognitive Load

Electronic Notes in Theoretical Computer Science (ENTCS)
Combining Human Error Verification and Timing Analysis

Engineering Interactive Systems
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

We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. In particular, we focus on shape related aspects of the interpretation process associated with device input prompts. A cash-point example illustrates our approach. Using the SAL model checking environment, we show how the extended cognitive architecture facilitates detection of prompt-shape induced human error.