Formal Modelling of Cognitive Interpretation

Formal Modelling of Cognitive Interpretation
复制标题

认知解释的形式建模

DOI：
--
复制
发表时间：
2006
期刊：
International Workshop on Design, Specification, and Verification of Interactive Systems
影响因子：
--
通讯作者：
A. Blandford
A. Blandford
中科院分区：
--
文献类型：
--
作者：
R. Ruksenas;P. Curzon;J. Back;A. Blandford

文献摘要

被引文献

相似文献

我们正式指定了双状态空间人机交互周期中的解释阶段。这是通过扩展/重组我们以前的认知架构来完成的。我们特别关注与设备输入提示相关的解释过程中与形状相关的方面。现金点示例说明了我们的方法。使用 SAL 模型检查环境，我们展示了扩展认知架构如何促进检测提示形状引起的人为错误。
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.