Formal Modelling of Cognitive Interpretation

  • Rimvydas Rukšėnas
  • Paul Curzon
  • Jonathan Back
  • Ann Blandford
Conference paper

DOI: 10.1007/978-3-540-69554-7_10

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4323)
Cite this paper as:
Rukšėnas R., Curzon P., Back J., Blandford A. (2007) Formal Modelling of Cognitive Interpretation. In: Doherty G., Blandford A. (eds) Interactive Systems. Design, Specification, and Verification. DSV-IS 2006. Lecture Notes in Computer Science, vol 4323. Springer, Berlin, Heidelberg

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.

Keywords

human error cognitive architecture model checking  SAL 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Rimvydas Rukšėnas
    • 1
  • Paul Curzon
    • 1
  • Jonathan Back
    • 2
  • Ann Blandford
    • 2
  1. 1.Department of Computer Science, Queen Mary, University of London, LondonUK
  2. 2.University College London Interaction Centre, LondonUK

Personalised recommendations