Chapter

Interactive Systems. Design, Specification, and Verification

Volume 4323 of the series Lecture Notes in Computer Science pp 123-136

Formal Modelling of Cognitive Interpretation

  • Rimvydas RukšėnasAffiliated withDepartment of Computer Science, Queen Mary, University of London, London
  • , Paul CurzonAffiliated withDepartment of Computer Science, Queen Mary, University of London, London
  • , Jonathan BackAffiliated withUniversity College London Interaction Centre, London
  • , Ann BlandfordAffiliated withUniversity College London Interaction Centre, London

* Final gross prices may vary according to local VAT.

Get Access

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