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. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Rukšenas, R., Curzon, P., Back, J., & Blandford, A. (2007). Formal modelling of cognitive interpretation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4323 LNCS, pp. 123–136). Springer Verlag. https://doi.org/10.1007/978-3-540-69554-7_10
Mendeley helps you to discover research relevant for your work.