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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/978-3-540-69554-7_10 | DSV-IS |
Keywords | Field | DocType |
device input,sal model checking environment,extended cognitive architecture facilitates,interpretation process,formal modelling,cash-point example,prompt-shape induced human error,dual state space human-computer,previous cognitive architecture,interpretation stage,cognitive interpretation,interaction cycle,state space,cognitive architecture,human error,human computer interaction,model checking | Model checking,Computer science,Interpretation Process,Human error,Artificial intelligence,Cognitive model,Cognitive architecture,Cognition,State space,Cash | Conference |
Volume | ISSN | Citations |
4323 | 0302-9743 | 17 |
PageRank | References | Authors |
0.72 | 14 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rimvydas Rukšėnas | 1 | 154 | 11.90 |
Paul Curzon | 2 | 416 | 40.23 |
J. Back | 3 | 124 | 12.11 |
Ann Blandford | 4 | 1740 | 148.02 |