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).
(pp. 123 - 136).
![[thumbnail of 5134.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) Preview |
PDF
5134.pdf Download (184kB) |
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. © Springer-Verlag Berlin Heidelberg 2007.
| Type: | Proceedings paper |
|---|---|
| Title: | Formal modelling of cognitive interpretation |
| Open access status: | An open access version is available from UCL Discovery |
| UCL classification: | UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/5134 |
Loading...
Loading...Loading...Loading...Archive Staff Only
 |
View Item |
