Verification-guided modelling of salience and cognitive load
Verification-guided modelling of salience and cognitive load
复制标题
验证引导的显着性和认知负荷建模
DOI：
10.1007/s00165-008-0102-7
复制
发表时间：
2009
影响因子：
1
通讯作者：
Rukšenas R
中科院分区：
文献类型：
--
作者：
Rukšenas R
设计良好的界面使用程序和感官线索来增加适当行为的认知显著性。然而，实证研究表明，认知负荷会影响这些线索的强度。我们通过实证数据揭示了显著性和认知负荷之间的关系。我们将这些规则添加到基于高阶逻辑的抽象认知架构中，并为可用性属性的正式验证而开发。从经验研究中得出的消防车调度任务的接口，然后正式建模和验证。该验证的结果及其与经验数据的比较提供了一种评估我们的显著性和负载规则的方法。它们还指导这些规则的进一步迭代细化。此外，形式分析和实证研究结果的并置提出了新的实验假设，从而为认知科学研究人员提供了输入。
Well-designed interfaces use procedural and sensory cues to increase the cognitive salience of appropriate actions. However, empirical studies suggest that cognitive load can influence the strength of those cues. We formalise the relationship between salience and cognitive load revealed by empirical data. We add these rules to our abstract cognitive architecture, based on higher-order logic and developed for the formal verification of usability properties. The interface of a fire engine dispatch task from the empirical studies is then formally modelled and verified. The outcomes of this verification and their comparison with the empirical data provide a way of assessing our salience and load rules. They also guide further iterative refinements of these rules. Furthermore, the juxtaposition of the outcomes of formal analysis and empirical studies suggests new experimental hypotheses, thus providing input to researchers in cognitive science.
登录
查看更多内容
DOI：
--
发表时间：
2001
期刊：
影响因子：
--
作者：
R. Fields
通讯作者：
R. Fields
显着性和认知负荷的形式化建模
DOI：
--
发表时间：
2008
期刊：
FMIS@BCS HCI
影响因子：
--
作者：
R. Ruksenas;J. Back;P. Curzon;A. Blandford
通讯作者：
A. Blandford
DOI：
--
发表时间：
2006
期刊：
International Workshop on Design, Specification, and Verification of Interactive Systems
影响因子：
--
作者：
R. Ruksenas;P. Curzon;J. Back;A. Blandford
通讯作者：
A. Blandford
DOI：
--
发表时间：
2007
期刊：
International Workshop on Design, Specification, and Verification of Interactive Systems
影响因子：
--
作者：
C. Lauber;J. Wimer
通讯作者：
J. Wimer
DOI：
--
发表时间：
2001
期刊：
IFIP Working Conference on Engineering for Human-Computer Interaction
影响因子：
--
作者：
P. Curzon;A. Blandford
通讯作者：
A. Blandford