Formal Modelling of Cognitive Interpretation
- 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
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.
Keywordshuman error cognitive architecture model checking SAL
Unable to display preview. Download preview PDF.